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 771d637289
Some checks failed
contracts-ci / Install (lockfile) → compile → full test suite (push) Has been cancelled
Details
contracts-ci / Ethereum interop (EIP-2537 BLS, prague hardfork) (push) Has been cancelled
Details
contracts-ci / PQC known-answer tests (NIST vectors) (push) Has been cancelled
Details
contracts-ci / Coverage (scoped, with artifacts) (push) Has been cancelled
Details
Runda 11 a reviziei prozei (2026-10-28): corecturi datate (nota de consens 17,250,000 / 17,700,000; clientul 2 al zecelea validator din 2026-09-11; 0,62 s masurat fata de tinta de 0,5 s; zece validatori, cvorum 7) si declaratiile de citari aduse la zi
2026-10-29 00:25:30 +02: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 Runda 11 a reviziei prozei (2026-10-28): corecturi datate (nota de consens 17,250,000 / 17,700,000; clientul 2 al zecelea validator din 2026-09-11; 0,62 s masurat fata de tinta de 0,5 s; zece validatori, cvorum 7) si declaratiile de citari aduse la zi 2026-10-29 00:25:30 +02:00