stdlib-point-at-infinity - 标准库无穷点处理指南
处理标准库电路类型中无穷点的指南,用于序列化、公共输入和cycle_group/biggroup代码
标签
更新于: 2026-03-22能力
典型输入
典型输出
该技能可以做什么
- 检测无穷点
- 规范化无穷点
- 处理无穷标志
- 执行安全运算
输入
- element_default::element类型
- goblin_element类型
- cycle_group元素
- 无穷标志
- grumpkin承诺
- bn254承诺
输出
- 规范化点
- 序列化字段
- 相等断言
要求
- Ultra算术化
- Mega算术化
- bn254曲线
- Grumpkin曲线
