Struct Nova

pub struct Nova<'a, C: Compute = Local> { /* private fields */ }

Prover for the Nexus zkVM using Nova.

Trait Implementations

impl<'a> LegacyProver<'a> for Nova<'a, Local>

type Proof = Proof<'a>

type View = UncheckedView

fn new(elf_bytes: &[u8]) -> Result<Self, Self::Error>

Construct a new proving instance from raw ELF bytes.

fn compile(opts: &CompileOpts) -> Result<Self, Self::Error>

Construct a new proving instance through dynamic compilation (see compile).

fn run_with_input<S>(self, private_input: &S) -> Result<Self::View, Self::Error>

where S: Serialize + Sized,

Run the zkVM on private input of type S and return a view of the execution output.

fn prove_with_input<S>( self, private_input: &S, ) -> Result<Self::Proof, Self::Error>

where S: Serialize + Sized,

Run the zkVM on private input of type S and return a verifiable proof, along with a view of the execution output.

fn new_from_file<P: AsRef<Path>>(path: &P) -> Result<Self, Self::Error>

where Self: Sized, Self::Error: From<Error>,

Construct a new proving instance by reading an ELF file.

fn run(self) -> Result<Self::View, Self::Error>

where Self: Sized,

Run the zkVM and return a view of the execution output.

fn prove(self) -> Result<Self::Proof, Self::Error>

where Self: Sized,

Run the zkVM and return a verifiable proof, along with a view of the execution output.

impl<'a> Setup<'a> for Nova<'a, Local>

type Reference = ()

Global parameters with trust assumptions.

type Parameters = PublicParams<Config, GrumpkinConfig, PedersenCommitment<Projective<<Config as BnConfig>::G1Config>>, PedersenCommitment<Projective<GrumpkinConfig>>, PoseidonSponge<Fp<MontBackend<FrConfig, 4>, 4>>, Tr<MerkleTrie>, SetupParams<(Config, GrumpkinConfig, PedersenCommitment<Projective<<Config as BnConfig>::G1Config>>, PedersenCommitment<Projective<GrumpkinConfig>>, PoseidonSponge<Fp<MontBackend<FrConfig, 4>, 4>>, Tr<MerkleTrie>)>>

Global parameters without trust assumptions.

type Preprocessing = ()

Program-specific parameters.

type Error = Error

fn setup_reference<'b: 'a>( &mut self, _reference: &'b Self::Reference, ) -> Result<(), Self::Error>

Configure reference string.

fn setup_parameters<'b: 'a>( &mut self, parameters: &'b Self::Parameters, ) -> Result<(), Self::Error>

Configure parameters string.

fn detach(&mut self)

Detach prover or proof from setup to make it easier to pass around without needing to manage lifetimes.

fn reference(&self) -> Result<&'a Self::Reference, Self::Error>

Access reference through borrow.

fn parameters(&self) -> Result<&'a Self::Parameters, Self::Error>

Access parameters through borrow.

fn preprocessing(&self) -> Result<Self::Preprocessing, Self::Error>

Return preprocessing.