axiom-core 2.0.13

This contains the ZK circuits that generate proofs for the `AxiomV2Core` smart contract. These circuits read the RLP encoded block headers for a chain of blocks and verify that the block headers form a chain. They output a Merkle Mountain Range of the block hashes of the chain. This crate also contains aggregation circuits to aggregate multiple circuits for the purpose of proving longer chains.
Documentation

axiom-core

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

This version has 7 feature flags, 4 of them enabled by default.

default

display (default)

halo2-axiom (default)

jemallocator (default)

keygen (default)

asm

blake3

revm