axiom-eth 0.4.0

This crate is the main library for building ZK circuits that prove data about the Ethereum virtual machine (EVM).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! Custom gate, chip, and circuit builder for use with RLC computations

/// Chip with functions using RLC
pub mod chip;
/// Circuit builder for RLC
pub mod circuit;
/// Utility functions for concatenating variable length arrays
pub mod concat_array;
#[cfg(test)]
pub mod tests;
/// Types
pub mod types;
/// Module for managing the virtual region corresponding to RLC columns
pub mod virtual_region;

/// FirstPhase of challenge API
pub const FIRST_PHASE: usize = 0;
/// RLC is hard-coded to take place in SecondPhase
pub const RLC_PHASE: usize = 1;