LogoClawIndex
案例技能关于
LogoClawIndex

stdlib-point-at-infinity - stdlib 电路类型中的无穷远点处理指南

提供在 stdlib 电路类型中处理无穷远点表示、规范化、序列化和递归校验的指南。

标签

更新于: 2026-09-09
stdlib无穷远点循环组bn254grumpkin

能力

典型输入

典型输出

该技能可以做什么

  • 将无穷远点坐标规范化为零
  • 在条件赋值期间传播无穷远标记
  • 在观察边界验证点坐标
  • 针对可能的无穷远点使用完整加法

输入

  • stdlib 电路类型
  • 公有输入
  • 转录数据

输出

  • 规范化的域元素
  • 公有输入
  • 电路约束

要求

  • Barretenberg stdlib
  • bn254 曲线支持
  • grumpkin 曲线支持

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
将无穷远点坐标规范化为零
在条件赋值期间传播无穷远标记
在观察边界验证点坐标
针对可能的无穷远点使用完整加法
stdlib 电路类型
公有输入
转录数据
规范化的域元素
公有输入
电路约束