aere-network/aere-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
main
aere-contracts/test/formal
History
Aere Network a13a649b77
Some checks are pending
contracts-ci / Install (lockfile) → compile → full test suite (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
Initial public release 
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.
2026-07-20 01:02:37 +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 Initial public release 2026-07-20 01:02:37 +03:00