Expand description
This crate provides the functionality for the NEWTON Prover.
This includes:
- Rego policy types and evaluation (always available, zkVM-compatible)
- Auto-generated Solidity contract bindings (only on non-RISC-V targets)
- Core AVS functionality (entity, IO, keys, utils, ZK)
Re-exports§
pub use rego::evaluate;
Modules§
- attestation_
validator - bn254_
certificate_ verifier - bn254_
table_ calculator - challenge_
verifier - common
- Utils module (requires rpc for full functionality, not available in zkVM)
- config
- Config module (requires config feature, not available in zkVM) config
- crypto
- Privacy-preserving cryptography module (HPKE, Ed25519, SecureEnvelope) Privacy-preserving cryptography for Newton Prover AVS.
- ecdsa_
operator_ table_ updater - eip712_
upgradeable - error
- Error types module
- identity_
registry - io
- IO module for chain operations and serialization
- ipfs
- IPFS caching module (requires ipfs-cache feature) IPFS content caching with two-tier architecture.
- keys
- Key management module (requires signing feature for full functionality, not available in zkVM) Key management utilities for Newton Prover AVS
- merkle
- Merkle tree module for ELIP-008 operator info verification Merkle tree computation for ELIP-008 operator info verification.
- mock_
newton_ policy_ client - newton_
cross_ chain_ registry - newton_
message - newton_
policy - newton_
policy_ client - newton_
policy_ data - newton_
policy_ data_ factory - newton_
policy_ factory - newton_
prover_ dest_ task_ manager - newton_
prover_ service_ manager - newton_
prover_ task_ manager - operator_
registry - operator_
table_ updater - policy_
client_ registry - rego
- Rego policy evaluation module (zkVM-compatible) Rego types and evaluation for zkVM circuits
- rego_
verifier - version
- Version compatibility module Protocol version compatibility module
- zk
- ZK module (requires proving feature, not available in zkVM)
Macros§
- env_
option - macro that sets option field from environment variable
- env_
string - macro that sets field from environment variable
- hex
- Macro to hex-encode byte arrays, slices, or fixed-size byte arrays (like B256).
- merge_
address - macro for merging address fields - only merge if other field is non-zero address
- merge_
bool - macro for merging boolean fields - basically an OR
- merge_
numeric - macro for merging numeric fields - only merge if other field is non-zero
- merge_
option - macro for merging option fields - only merge if other field is Some
- merge_
string - macro for merging string fields - only merge if other field is non-empty