stdlib-point-at-infinity - Stdlib 无穷大点处理指南
处理 stdlib 电路类型中的无穷大点，用于序列化、公共输入和 cycle_group/biggroup 代码
标签
更新于: 2026-03-22该技能可以做什么
- 序列化点坐标
- 设置公共输入
- 检查无穷大状态
- 比较点
- 断言点相等
- 验证点在曲线上
- 检测规范无穷大
- 规范化无穷大点
- 执行完整加法
- 构造群元素
输入
- 群元素坐标
- 无穷大标志
- 电路构建器
- 域元素
- 公共输入
- 转录数据
- 仿射元素
输出
- 序列化的域元素
- 规范点坐标
- 电路约束
- 无穷大状态
- 比较结果
- 验证断言
要求
- stdlib 电路类型
- bn254 或 Grumpkin 域
- 电路构建器支持