Re-exports§
pub use halo2_base;pub use halo2_base::halo2_proofs;pub use halo2_base::halo2_proofs::halo2curves;pub use snark_verifier;pub use snark_verifier_sdk;pub use zkevm_hashes;
Modules§
- block_
header - keccak
- Firstly, the structs and functions in this module DO NOT constrain the computation of the keccak hash function. Instead, they are meant to constrain the correctness of keccak hashes on a collection of variable length byte arrays when given a commitment to a lookup table of keccak hashes from an external keccak “coprocessor” circuit.
- mpt
- Merkle Patricia Trie (MPT) inclusion & exclusion proofs in ZK.
- providers
- receipt
- See https://hackmd.io/@axiom/H1TYkiBt2 for receipt data format
- rlc
- Custom gate, chip, and circuit builder for use with RLC computations
- rlp
- solidity
- storage
- transaction
- utils