Crate nova_snark

source ·
Expand description

This library implements Nova, a high-speed recursive SNARK.

Modules

errors
This module defines errors returned by the library.
gadgets
This module implements various gadgets necessary for Nova and applications built with Nova.
pasta
This module implements the Nova traits for pallas::Point, pallas::Scalar, vesta::Point, vesta::Scalar.
spartan_with_ipa_pc
This module implements RelaxedR1CSSNARKTrait using a Spartan variant instantiated with an IPA-based polynomial commitment scheme
traits
This module defines various traits required by the users of the library to implement.

Structs

CompressedSNARK
A SNARK that proves the knowledge of a valid RecursiveSNARK
PublicParams
A type that holds public parameters of Nova
RecursiveSNARK
A SNARK that proves the correct execution of an incremental computation