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.
27 lines
1.3 KiB
JSON
27 lines
1.3 KiB
JSON
{
|
|
"component": "FRI query-index derivation (sample_bits + folding-index walk)",
|
|
"precompile": "0x0000000000000000000000000000000000000ae8",
|
|
"scope": "port spec section 8; ONE constant-free slice of FRI component (d)",
|
|
"validates": "index LOGIC vs public Plonky3 p3-fri spec, across independent implementations",
|
|
"does_not_validate": "conformance to a real SP1 v6.1.0 trace ([MEASURE]; needs Poseidon2 challenger + exported proof)",
|
|
"top_level_verifier": "unchanged, still fail-closed (returns EMPTY for every input)",
|
|
"cross_language": [
|
|
"java",
|
|
"node",
|
|
"python"
|
|
],
|
|
"flags": [
|
|
"[VERIFY] sample_bits masks LOW bits of as_canonical_u32 (LSB) vs p3-challenger",
|
|
"[VERIFY] arity-2 fold: sibling = index^1, index_pair = index>>1 vs p3-fri verifier.rs",
|
|
"[VERIFY] log_max_height = log_max_degree + log_blowup; num_fold_rounds = log_max_height - log_final_poly_len for the pinned config",
|
|
"[MEASURE] bit-reversal index-to-domain-point mapping vs a real Plonky3 trace",
|
|
"[MEASURE] end-to-end derive_query_indices vs a real SP1 v6.1.0 inner proof"
|
|
],
|
|
"notes": [
|
|
"Poseidon2 S-box exponent d = smallest d>1 with gcd(d, p-1)=1 = 7 (x^7)",
|
|
"cross-language implementations compared: java, node, python"
|
|
],
|
|
"passed": 100021,
|
|
"failed": 0,
|
|
"total": 100021
|
|
} |