Expand description
This crate provides the foundational primitives used throughout Sonobe’s folding scheme and IVC implementations.
It includes algebraic abstractions (fields, groups, and their in-circuit emulated counterparts), constraint system arithmetizations (R1CS, CCS), commitment schemes, transcript/sponge constructions, and various utility types.
Modules§
- algebra
- This module provides algebraic abstractions used across Sonobe, including field and group type enhancements, in-circuit (both canonical and emulated) variables, and common algebraic operations.
- arithmetizations
- This module defines and implements traits for arithmetizations, also known as constraint systems.
- circuits
- This module defines circuits and helpers used by Sonobe.
- commitments
- Abstract traits and implementations for commitment schemes.
- relations
- This module defines the core relation traits for generic witness-instance satisfaction checks and satisfying pair generation.
- traits
- This module defines helper traits used across Sonobe’s crates.
- transcripts
- Abstractions of sponges and Fiat-Shamir transcripts.
- utils
- Miscellaneous utilities shared across the primitives crate.