aere-network/aere-research
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

AIP-22 section 6 (2026-10-16): the erratum paragraph made precise: the evidence verifiers of both clients judge the equivocation vectors identically; on incoming consensus messages the second client on chain 2800 requires the post-quantum seal on commits only (the other three types from stage 4, whose height is not set there); 'all four instances' reworded as the two new and two retired contract instances

Browse Source
This commit is contained in:
Aere Network 2026-10-16 10:24:25 +03:00
parent e1c39747ed
commit 84e00729d1
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
aips/AIP-22.md
View File

@ -382,11 +382,14 @@ Two refinements to the text above, recorded rather than silently applied: the Me
form. Measured on 28001 with the live Falcon-512 precompile: the drill instance recorded a PREPARE and a COMMIT-2 form. Measured on 28001 with the live Falcon-512 precompile: the drill instance recorded a PREPARE and a COMMIT-2
equivocation, and refused, as calls, the COMMIT-1 pair and a seal given in another round than the one presented, besides the equivocation, and refused, as calls, the COMMIT-1 pair and a seal given in another round than the one presented, besides the
refusals of the first record; the real instance verifies the five Falcon-512 seals of the v3 anchor certificate at block refusals of the first record; the real instance verifies the five Falcon-512 seals of the v3 anchor certificate at block
6,363,712 over COMMIT-2 of round 0, and refuses each of them under round 1; the runtime code of all four instances equals its 6,363,712 over COMMIT-2 of round 0, and refuses each of them under round 1; the runtime code of each contract instance, the two
source (the new ones today's, the retired ones the source of 2026-09-23). The equivocation vectors of section 9 (eight, two new and the two retired, equals its source (the new ones today's, the retired ones the source of 2026-09-23). The
valid) are judged identically by both clients, each refusal for the named reason, including the COMMIT-1 object that the equivocation vectors of section 9 (eight, two
first form recorded on chain. Chain 2800 is not affected: no evidence contract is deployed there and its commit seal is still valid) are judged identically by the evidence verifiers of both clients, each refusal for the named reason, including the
COMMIT-1 (the round-bound height is not set). COMMIT-1 object that the first form recorded on chain; these are evidence objects, while on incoming consensus messages the
second client on chain 2800 requires the post-quantum seal on commits only (2026-10-16; the other three types from stage 4,
whose height is not set there). Chain 2800 is not affected: no evidence contract is deployed there and its commit seal is
still COMMIT-1 (the round-bound height is not set).
## Post-Acceptance Outcome Record ## Post-Acceptance Outcome Record