stdlib-point-at-infinity - Handling point-at-infinity in stdlib circuit types
Provides guidelines for handling point-at-infinity representations, canonicalization, serialization, and recursion in stdlib circuit types.
Tags
Updated: 2026-09-09Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Canonicalize infinity coordinates to zero
- Propagate infinity flags during conditional assignment
- Validate point coordinates at observation boundaries
- Use complete addition for potential infinity
Inputs
- stdlib circuit types
- public inputs
- transcript data
Outputs
- canonicalized field elements
- public inputs
- circuit constraints
Requirements
- Barretenberg stdlib
- bn254 curve support
- grumpkin curve support