Crate monerochan_prover 

An end-to-end-prover implementation for the MONEROCHAN RISC-V zkVM.

Separates the proof generation process into multiple stages:

1. Generate shard proofs which split up and prove the valid execution of a RISC-V program.
2. Compress shard proofs into a single shard proof.
3. Wrap the shard proof into a SNARK-friendly field.
4. Wrap the last shard proof, proven over the SNARK-friendly field, into a PLONK proof.

Re-exports

pub use types::*;

Modules

build

components

gas

shapes

types

utils

verify

Structs

Groth16Bn254Proof

MONEROCHANProver

A end-to-end for the MONEROCHAN RISC-V zkVM.

MONEROCHANPublicValues

Public values for the prover.

PlonkBn254Proof

Constants

MONEROCHAN_CIRCUIT_VERSION

The global version for all components of MONEROCHAN.

REDUCE_BATCH_SIZE

Functions

compress_program_from_input

Type Aliases

CompressAir

CoreSC

The configuration for the core prover.

DeviceProvingKey

InnerSC

The configuration for the inner prover.

OuterSC

The configuration for the outer prover.

ShrinkAir

WrapAir