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

//! # Verify Compute Circuit
//!
//! Verifies the user proof (`computeQuery`) and calculates the query hash
//! by de-commiting subquery results and subquery hashes from two public instances.
//!
//! The Axiom Aggregation Circuit **must** check that these public instances agree
//! with the public instances from the Subquery Aggregation Circuit.
//!
pub mod circuit;
/// Compute `dataQueryHash` and `queryHash`
pub mod query_hash;
pub mod types;
pub mod utils;

#[cfg(test)]
pub mod tests;