Structs§
- Circle
Point - A point on the complex circle. Treated as an additive group.
- Circle
Point Index - Integer i that represent the circle point i * CIRCLE_GEN. Treated as an
additive ring modulo
1 << M31_CIRCLE_LOG_ORDER. - Coset
- Represents the coset initial + <step>.
- Coset
Iterator
Constants§
- M31_
CIRCLE_ GEN - A generator for the circle group over M31.
- M31_
CIRCLE_ LOG_ ORDER - Order of M31_CIRCLE_GEN.
- SECURE_
FIELD_ CIRCLE_ GEN - A generator for the circle group over SecureField.
- SECURE_
FIELD_ CIRCLE_ ORDER - Order of SECURE_FIELD_CIRCLE_GEN.