aere-network/aere-research
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
58 Commits 1 Branch 0 Tags 6.8 MiB
e1c39747ed
Commit Graph

1 Commits

Author SHA1 Message Date
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