Crate rsnark_core 

Core library to write circuits.

Modules

types

Some useful types for build prover.

variable

Variable types for circuit construction.

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.

CircuitPublicWitness

Represents the public witness portion of a circuit.

CircuitWitness

Defines a circuit with witness data structure.

Variable

A trait that defines types that can be used as API parameters in circuit construction.

Type Aliases

CircuitDefine

Type alias for the circuit definition structure.

PublicWitness

Type alias for the public witness of a circuit.

U256

Uint for 256 bits.

Derive Macros

Circuit

Circuit derive macro