Crate snarkvm_synthesizer_snark 

Structs

Certificate

Proof

ProvingKey

UniversalSRS

VerifyingKey

Functions

proof_size

Computes the size in bytes of the proof as produced by Proof::write_le without needing to receive the proof itself.