Crate axiom_eth

source ·

Re-exports§

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

Macros§

Trait Aliases§