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. |