BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

axiom-core

v2.0.13crates.io· Rust

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.

The verdict
Archived. Source repository is archived on GitHub. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceArchived
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Source repository is archived on GitHub.
Popularity
1 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
  • 2.0.132 years ago
  • 2.0.122 years ago
axiom-core — 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. (Rust / crates.io) — verdict, alternatives & security · Modules