stdlib-point-at-infinity - Stdlib Point-at-Infinity Handling Guidelines
Guidelines for handling 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
- detect point-at-infinity
- canonicalize infinity points
- handle infinity flags
- perform safe arithmetic
Inputs
- element_default::element
- goblin_element
- cycle_group element
- infinity flag
- grumpkin commitment
- bn254 commitment
Outputs
- canonicalized point
- serialized fields
- equality assertion
Requirements
- Ultra arithmetization
- Mega arithmetization
- bn254 curve
- Grumpkin curve