Crate axiom_core
source ·Re-exports§
Modules§
- Aggregation circuits
- Circuit that parses RLP encoded block headers and constrains that the block headers actually form a block chain.
- Intents and utilities for generating proving and verifying keys for production
- Types for different nodes in Axiom Core aggregation tree