Module ark_gm17::data_structures [−][src]
Data structures used by the prover, verifier, and generator.
Structs
PreparedVerifyingKey | Preprocessed verification key parameters that enable faster verification at the expense of larger size in memory. |
Proof | A proof in the GM17 SNARK. |
ProvingKey | Full public (prover and verifier) parameters for the GM17 zkSNARK. |
VerifyingKey | A verification key in the GM17 SNARK. |