Expand description
Core library to write circuits.
Modules§
- curve
- Predefined elliptic curve types for common ZK-SNARK applications.
- types
- Some useful types for build prover.
- variable
- Variable types for circuit construction.
Structs§
- BigInt
- A big signed integer type.
- Metadata
Info
Enums§
Traits§
- API
- The main API trait for building arithmetic circuits in zero-knowledge proof systems.
- Circuit
- Defines the logic of an arithmetic circuit for zero-knowledge proofs.
- Circuit
Public Witness - Represents the public witness portion of a circuit.
- Circuit
Witness - Defines a circuit with witness data structure.
- CurveId
- Trait for identifying elliptic curves used in zero-knowledge proof systems.
- Metadata
- Variable
- A trait that defines types that can be used as API parameters in circuit construction.
Type Aliases§
- Circuit
Define - Type alias for the circuit definition structure.
- Public
Witness - Type alias for the public witness of a circuit.
Derive Macros§
- Circuit
- Circuit derive macro