stdlib-point-at-infinity - Stdlib Point-at-Infinity Handling
Handle point-at-infinity in stdlib circuit types for serialization, public inputs, and cycle_group/biggroup code
Tags
Updated: 2026-03-22Capabilities
Typical Inputs
Typical Outputs
What this skill does
- serialize point coordinates
- set public inputs
- check infinity status
- compare points
- assert point equality
- validate on-curve points
- detect canonical infinity
- canonicalize infinity points
- perform complete addition
- construct group elements
Inputs
- group element coordinates
- infinity flag
- circuit builder
- field elements
- public inputs
- transcript data
- affine element
Outputs
- serialized field elements
- canonical point coordinates
- circuit constraints
- infinity status
- comparison result
- validation assertion
Requirements
- stdlib circuit types
- bn254 or Grumpkin field
- circuit builder support