aere-network/aere-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
0b37a41b64
aere-contracts/test/formal
History
Aere Network 0b37a41b64
Some checks are pending
contracts-ci / Install (lockfile) → compile → full test suite (push) Waiting to run
Details
contracts-ci / Ethereum interop (EIP-2537 BLS, prague hardfork) (push) Waiting to run
Details
contracts-ci / PQC known-answer tests (NIST vectors) (push) Waiting to run
Details
contracts-ci / Coverage (scoped, with artifacts) (push) Waiting to run
Details
Dated note: the post-quantum anchor checkpoint qualifies the 'consensus remains classical' statements; the 14,050,000 per-block quorum claim was withdrawn on 2026-08-19
2026-08-19 14:37:31 +03:00
..
forge-std-shim Initial public release 2026-07-20 01:02:37 +03:00
AereCryptoRegistry.symbolic.t.sol Initial public release 2026-07-20 01:02:37 +03:00
AerePQCAttestation.symbolic.t.sol Initial public release 2026-07-20 01:02:37 +03:00
AereSpokePool.symbolic.t.sol Initial public release 2026-07-20 01:02:37 +03:00
PROVEN-PROPERTIES.md Dated note: the post-quantum anchor checkpoint qualifies the 'consensus remains classical' statements; the 14,050,000 per-block quorum claim was withdrawn on 2026-08-19 2026-08-19 14:37:31 +03:00