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 and constant value support for circuit construction.
Structs§
- BigInt
- A big signed integer type.
Enums§
- Curve
Type - Enumeration of supported elliptic curve types.
- Proving
System - Enumeration of supported zero-knowledge proving systems.
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
Element - Represents a circuit element that can be used in circuit construction.
- 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
- Trait for accessing metadata information from proof system configurations.
- Variable
- A trait that defines types that can be used as API parameters in circuit construction.
Type Aliases§
- Public
Witness - Represents the public witness portion of a circuit.
- Witness
- Represents the witness portion of a circuit.
Attribute Macros§
- circuit
- Circuit attribute macro for defining zero-knowledge circuits.