Expand description
Async Groth16 batch verifier service
Re-exportsยง
pub use params::Groth16Parameters;
pub use params::GROTH16_PARAMETERS;
pub use params::GROTH16_PARAMETERS;
Modulesยง
- params ๐Loading and checking correctness of Groth16 Sapling and Sprout parameters.
Structsยง
- A wrapper to allow a TryFrom blanket implementation of the
Description
trait for theItem
struct. See https://github.com/rust-lang/rust/issues/50133 for more details. - Groth16 signature verifier implementation
Staticsยง
- Global batch verification context for Groth16 proofs of JoinSplit statements.
- Global batch verification context for Groth16 proofs of Output statements.
- Global batch verification context for Groth16 proofs of Spend statements.
Traitsยง
- A Groth16 Description (JoinSplit, Spend, or Output) with a Groth16 proof and its inputs encoded as scalars.
Functionsยง
- h_sig ๐Compute the h_{Sig} hash function which is used in JoinSplit descriptions.
Type Aliasesยง
- Batch
Verifier ๐The type of the batch verifier. - The type of a raw verifying key. This is the key used to verify batches.
- The type of the batch item. This is a Groth16 verification item.
- The type of a prepared verifying key. This is the key used to verify individual items.
- Sender ๐The type of the batch sender channel.
- Verify
Result ๐The type of verification results.