snark-verifier 0.2.3

Generic (S)NARK verifier for Rust, halo2, and EVM. This is a fork of PSE's version.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
//! `Loader` implementation for generating yul code as EVM verifier.

mod code;
pub(crate) mod loader;
pub(crate) mod util;

pub use loader::{EcPoint, EvmLoader, Scalar};
#[cfg(feature = "revm")]
pub use util::deploy_and_call;
pub use util::{
    compile_solidity, encode_calldata, estimate_gas, fe_to_u256, modulus, u256_to_fe, Address,
    B256, U256, U512,
};