axiom-query 2.0.14

This contains the ZK circuits that generate proofs for the `AxiomV2Query` smart contract.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//! # Solidity Nested Mapping Subqueries Circuit
//!
//! SolidityNestedMapping
//! - `blockNumber` (uint32)
//! - `addr` (address = bytes20)
//! - `mappingSlot` (uint256)
//! - `mappingDepth` (uint8) -- in `(0, 4]`
//! - `keys` \[key0, key1, key2, key3\] (bytes32\[4\])

/// Circuit and Component Implementation.
pub mod circuit;
/// Types
pub mod types;

#[cfg(test)]
pub mod tests;