Crate nova_snark[−][src]
Expand description
This library implements core components of Nova.
Modules
This module defines errors returned by the library.
This module implements the Nova traits for pallas::Point and pallas::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