Crate nova_snark
source · [−]Expand description
This library implements core components of Nova.
Modules
Support for generating R1CS from Bellperson.
This module defines errors returned by the library.
This module implements the Nova traits for pallas::Point, pallas::Scalar, vesta::Point, vesta::Scalar.
This module defines R1CS related types and a folding scheme for Relaxed R1CS
This module defines various traits required by the users of the library to implement.
Structs
A SNARK that holds the proof of the final step of an incremental computation
A SNARK that holds the proof of a step of an incremental computation