4a0b48588c
Aere Network public source. Everything here can be checked against the live chain (chain id 2800, https://rpc.aere.network). Scope note, stated up front rather than buried: consensus on chain 2800 is classical secp256k1 ECDSA QBFT. The post-quantum work in this repository is at the signature, precompile, account and transport layers. Nothing here makes the consensus post-quantum, and no document in it should be read as claiming so.
33 lines
1.1 KiB
TOML
33 lines
1.1 KiB
TOML
[package]
|
|
name = "e2e-extractor"
|
|
version = "0.0.0"
|
|
edition = "2021"
|
|
|
|
# Byte-identical pinned deps to the CONFIRMED component extractors (same Cargo.lock, checksum-matched
|
|
# to the repo zk-circuits / rollup-evm-validity locks). This binary emits a COMPLETE p3-uni-stark
|
|
# Proof (commitments + opened_values + the FULL opening_proof: fri_proof + query_openings) as canonical
|
|
# u32 JSON, and asserts the pinned p3-uni-stark VERIFIER accepts, so the assembled Python reference can
|
|
# run the WHOLE BabyBear+FRI verify pipeline end to end against a real proof (accept + reject KAT).
|
|
|
|
[dependencies]
|
|
p3-uni-stark = "=0.4.3-succinct"
|
|
p3-air = "=0.4.3-succinct"
|
|
p3-baby-bear = "=0.4.3-succinct"
|
|
p3-challenger = "=0.4.3-succinct"
|
|
p3-commit = "=0.4.3-succinct"
|
|
p3-dft = "=0.4.3-succinct"
|
|
p3-field = "=0.4.3-succinct"
|
|
p3-fri = "=0.4.3-succinct"
|
|
p3-matrix = "=0.4.3-succinct"
|
|
p3-merkle-tree = "=0.4.3-succinct"
|
|
p3-poseidon2 = "=0.4.3-succinct"
|
|
p3-symmetric = "=0.4.3-succinct"
|
|
p3-util = "=0.4.3-succinct"
|
|
rand = "0.8"
|
|
rand_xoshiro = "0.6"
|
|
serde = { version = "1", features = ["derive"] }
|
|
serde_json = "1"
|
|
|
|
[profile.dev]
|
|
opt-level = 0
|