Modules§
Structs§
- AggProving
Key - The STARK proving keys necessary for aggregation of app proofs into a single aggregate STARK proof.
- AggVerifying
Key - AppProving
Key - This is lightweight to clone as it contains smart pointers to the proving keys.
- AppVerifying
Key - Halo2
Proving Key - Attention: the serialized size of this struct is VERY large, usually >10GB.
- Root
Verifier Proving Key - Proving key for the root verifier. Properties:
Functions§
- _leaf_
keygen - For internal use only.