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
20
21
22
23
24

use std::marker::PhantomData;

use crate::rlc::{
    chip::RlcChip,
    circuit::{builder::RlcCircuitBuilder, instructions::RlcCircuitInstructions},
    tests::utils::executor::{RlcCircuit, RlcExecutor},
};

use halo2_base::{
    gates::{circuit::CircuitBuilderStage, GateInstructions, RangeChip, RangeInstructions},
    utils::ScalarField,
    QuantumCell::Constant,
};

use halo2_base::halo2_proofs::{dev::MockProver, halo2curves::bn256::Fr};
use hex::FromHex;

use super::{max_rlp_encoding_len, types::RlpArrayWitness, RlpChip};

mod combo;
mod list;
mod string;

const DEGREE: u32 = 10;