Crate nova_snark
source · [−]Expand description
This library implements Nova, a high-speed recursive SNARK.
Modules
This module defines errors returned by the library.
This module implements various gadgets necessary for Nova and applications built with Nova.
This module implements the Nova traits for pallas::Point, pallas::Scalar, vesta::Point, vesta::Scalar.
A collection of traits that define the behavior of a zkSNARK for RelaxedR1CS
This module implements RelaxedR1CSSNARKTrait using a Spartan variant instantiated with an IPA-based polynomial commitment scheme
This module defines various traits required by the users of the library to implement.
Structs
A SNARK that proves the knowledge of a valid RecursiveSNARK
A type that holds public parameters of Nova
A SNARK that proves the correct execution of an incremental computation