Aere Network 2fe5a51bbd formal-consensus, research: the rewrite bound under the round-free seal model (2026-10-07): the security argument and its z3 model, 13 proofs with 8 negative controls; 37 of 37 models in the suite		2026-10-07 13:43:13 +03:00
..
specs	Note added 2026-09-24 in seven research documents (validator-set figures are dated; ten validators since 2026-09-11) and in the Stage 4 execution contract (Block-STM on since 2026-09-05)	2026-09-24 23:12:35 +03:00
aip-draft-pqc-precompiles.md	AIP-7 erratum 1 and the PQC precompile draft: withdraw the uncitable 'audited' adjective from the wrapped library (O-006)	2026-09-11 21:34:40 +03:00
pqc-onchain-verification.md	Note added 2026-09-24 in seven research documents (validator-set figures are dated; ten validators since 2026-09-11) and in the Stage 4 execution contract (Block-STM on since 2026-09-05)	2026-09-24 23:12:35 +03:00
rewrite-bound-round-free-seal-2026-10-07.md	formal-consensus, research: the rewrite bound under the round-free seal model (2026-10-07): the security argument and its z3 model, 13 proofs with 8 negative controls; 37 of 37 models in the suite	2026-10-07 13:43:13 +03:00