stdlib-point-at-infinity - stdlib 电路类型中的无穷远点处理指南
提供在 stdlib 电路类型中处理无穷远点表示、规范化、序列化和递归校验的指南。
标签
更新于: 2026-09-09能力
典型输入
典型输出
该技能可以做什么
- 将无穷远点坐标规范化为零
- 在条件赋值期间传播无穷远标记
- 在观察边界验证点坐标
- 针对可能的无穷远点使用完整加法
输入
- stdlib 电路类型
- 公有输入
- 转录数据
输出
- 规范化的域元素
- 公有输入
- 电路约束
要求
- Barretenberg stdlib
- bn254 曲线支持
- grumpkin 曲线支持
