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.
25 lines
1.3 KiB
TOML
25 lines
1.3 KiB
TOML
# xmss-verify-core: offline-testable REFERENCE model of the per-validator inner
|
|
# logic of Aere Network's Post-Quantum Finality Certificate aggregation zkVM circuit.
|
|
#
|
|
# ZERO external dependencies on purpose: the RFC 8391 XMSS-SHA2_10_256 verification
|
|
# core (and its bundled dependency-free SHA-256) is validated against the OFFICIAL
|
|
# committed known-answer vector with `cargo test`, fully offline and deterministic,
|
|
# on any machine. A production SP1 guest replaces the bundled sha256 module with the
|
|
# SP1-patched `sha2` precompile crate (see ../../zk-light-client/guest/Cargo.toml);
|
|
# the bytes are identical.
|
|
#
|
|
# Empty [workspace] table so this crate is self-contained and is never accidentally
|
|
# pulled into a parent Cargo workspace (same convention as the SP1 guests here).
|
|
[workspace]
|
|
|
|
[package]
|
|
name = "xmss-verify-core"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
license = "Apache-2.0"
|
|
description = "RFC 8391 XMSS-SHA2_10_256 hash-based signature verification core (WOTS+ one-time signature + XMSS Merkle authentication-path root recovery). The offline-testable reference model of the per-validator inner logic of Aere Network's Post-Quantum Finality Certificate aggregation zkVM circuit. Verification core only; the zkVM aggregation guest and SP1 proving are NOT implemented ([MEASURE])."
|
|
|
|
[dependencies]
|
|
|
|
[dev-dependencies]
|