Re-exports§
pub use zkapp::generate_zkapp_proof;
Modules§
- accumulator_
check - block
- caching
- circuit_
blobs - Circuit Constraint Extraction
- constants
- conv 🔒
- field
- group_
map - merge
- numbers
- opt_
sponge - prover 🔒
- provers
- public_
input - step
- to_
field_ elements - transaction
- transition_
chain - unfinalized
- urs_
utils 🔒 - util
- verification
- verifiers
- witness
- wrap
- zkapp