aere-network/aere-research
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
43 Commits 1 Branch 0 Tags 4.3 MiB
856c5df2f8
Commit Graph

24 Commits

Author SHA1 Message Date
Aere Network
856c5df2f8 AIPs: dated notes for AIP-20, AIP-21 and AIP-22 on chain 2800; AIP-22 stages 1 to 3 active 
AIP-22 described chain 2800 "today" as the chain before stages 1 to 3. A note dated 2026-09-30 says which
stages are active from which block; the index row and the README summary carry the same heights.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
 2026-10-01 13:27:18 +03:00
Aere Network
3117a33107 AIP-23: a sixteenth proof kind, agent-decision (an AI agent's action judged against a policy named by its hash, allowed or refused and why), with its conformance envelope; its actionHash is the SHA-256 of the canonical JSON of the action, so anyone can recompute it. Produced by the agents component published in aere-quantum the same day. All sixteen envelopes VALID with verify-proof.mjs offline. 2026-09-29 22:01:33 +03:00
Aere Network
a464214626 AIP-23: the proof kinds AERE produces, with their conformance envelopes (aips/aip23-kinds/: fifteen kinds, authorization, settlement and provenance added 2026-09-28; KINDS.json lists each kind's required fields); correction: the notary on chain 2800 has held digests since 2026-09-17 (the measured status of 2026-09-27 said nothing was notarized there), Errata 1 2026-09-29 11:44:27 +03:00
Aere Network
f86746a376 AIP-23 AERE Proof Protocol (Draft) published with its reference verifier and conformance vectors (aere-node/tools/); index: AIP-22 status brought to date, AIP-23 added 2026-09-27 06:44:07 +03:00
Aere Network
6d907fa2e9 AIP-22 conformance corpus complete: the ninth kind (classical-only fork, from rehearsal network 28099), all nine kinds judged conformingly by both clients; the options and files each harness judged with, per chain (config-28001/, config-28099/) 2026-09-27 05:57:01 +03:00
Aere Network
dccd277337 AIP-22: dated addition of 2026-09-27, the public verifier's early refusals exit 1 on Windows (were 127) 2026-09-27 05:32:14 +03:00
Aere Network
fa920a45a5 AIP-22: conformance corpus published (aips/aip22-conformance/, eight of the nine kinds of section 9, every vector judged by both clients); section 5 re-proposal correction and the 2026-09-25/26/27 stage records; erratum for section 5 2026-09-27 05:24:44 +03:00
Aere Network
c40c52d3b6 AIP-22 erratum, section 9: conformance vectors are to be published (none yet); the stage proofs on 28001 are the two clients checked against each other on a live chain 2026-09-25 01:32:33 +03:00
Aere Network
cd0b36af8d AIP-22 erratum: ECDSA-quorum ZK light clients stop following at H_id (the set becomes ids), not at H_fin; read in the guest program's verify_finality, corrected in place 2026-09-24 23:42:40 +03:00
Aere Network
7f00c88a86 AIP-22: dated record, the public verifier checks the proposer seal on every recent header (stage 5), proven on testnet 28001 with two planted forgeries rejected 2026-09-24 23:04:07 +03:00
Aere Network
b1f852bc52 AIP-2, 3, 7, 17: propozitiile la prezent despre sapte validatori datate (setul de zece din 2026-09-11, al doilea client validator); AIP-7 fara 'audited native code' 2026-09-24 22:38:31 +03:00
Aere Network
5c8d100173 Citations: the declaration of unpublished paths regenerated (2026-09-24); cross-repository citations written with their repository name 2026-09-24 17:35:07 +03:00
Aere Network
57fef08cd2 AIP-20: live on chain 2800 since block 19,900,000; the first native post-quantum transaction (block 19,900,028) imported identically by every node, the corrupted-signature control refused by both clients 2026-09-24 02:05:16 +03:00
Aere Network
72360f1ea6 AIP-22: stage 6 (on-chain equivocation evidence) built and proven on testnet 28001; the gas estimate replaced by the measurement 2026-09-24 01:35:25 +03:00
Aere Network
c5cef2821f AIP-22: section 5 made exact (the certificate slot is present when the proposer seal is; the rule judges every header from H_hdr); stage 5 rehearsed, armed and proven on testnet 28001 2026-09-24 01:17:07 +03:00
Aere Network
fbb8f318d2 AIP-22: stage 4 on testnet 28001 (message authorship from verified post-quantum seals, H_fin 3,117,000): the two holes found by reading the code before any live step, the guards AERE-PQC-FIN-01/02/03, the shared authorship vectors, and the proof (502 of 502 hashes equal between clients, five of five ids proposing, rhythm unchanged, negative control of the method); section 4 rule 3 made precise 2026-09-23 22:49:31 +03:00
Aere Network
f4db867d80 AIP-22: dated stage records for stages 1 to 3b on testnet 28001 (quorum threshold, per-scheme intervals, post-quantum validator identity, key rotation under an id), with their negative controls; stage-0 measurement replaces the NOT MEASURED row 2026-09-23 19:41:55 +03:00
Aere Network
c94b3f5c06 AIPs: AIP-20 and AIP-21 status rows carry the chain-2800 deployment of 2026-09-22 (AIP-21 live on all ten validators, AIP-20 armed for block 19,900,000); AIP-22 (post-quantum-only finality) added as a design-only Draft; the index no longer describes the pre-September world (seven validators, one client, no AIP above 19) and states which post-quantum layers are live with their heights 2026-09-23 01:30:13 +03:00
Aere Network
ec3ca3368f AIP-8 through AIP-19 and CONTRIBUTING.md published: the index linked twelve documents this package did not carry. Validator counts carry their measurement date (errata on the Final ones, per AIP-1 section 5), the Fusaka activation block corrected to the measured 2,106,597, and the staging rewrites are now a checked table 2026-09-12 09:49:12 +03:00
Aere Network
83453d9a79 AIP-1, AIP-2, AIP-7, the template and the index brought to the working generation: the published governance text was missing entire sections, including the rules themselves (D-377) 2026-09-11 22:04:15 +03:00
Aere Network
16ce7e8989 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
Aere Network
cde69bd25f Precision fix 2026-08-19: the three-seal anchor minimum has been enforced since 2026-08-14 (the schedule step is at block 13,034,000 but an emergency ceiling held the effective minimum to one until then); anchors universal since block 13,889,296 2026-08-19 15:46:59 +03:00
Aere Network
8e2b2fa7fa Dated note: the post-quantum anchor checkpoint qualifies the 'consensus remains classical' statements; the 14,050,000 per-block quorum claim was withdrawn on 2026-08-19 2026-08-19 14:37:34 +03:00
Aere Network
6cb0140fae Republished from a clean root: the compiled artifact is gone from history, and the local line of work joins the sanitized public line 
The public history carried kat/__pycache__/mlkem768_reference.cpython-314.pyc,
a compiled Python artifact embedding the operator's absolute local path. Text
secret scanners do not read compiled binaries, which is exactly how it slipped
through, and removing it from the tip would have left it reachable through the
old root commits. So this repository is republished from a single clean root.

This root also carries, from the previously unpublished line of work:
- corrected LICENSE year, LICENSING.md, VERIFY-POLICY.md, and
  CITATIONS-UNRESOLVED.md remeasured 2026-08-11 (101 paths, README aligned)
- O-018: run_consensus_verification.py ran 19 of 29 models and reported PASS;
  it now runs all 29, and computemarket_smt.py gains resolveByTimeout /
  reclaimUnsettled cases plus a negative control
- O-006: the word 'audited' removed from next to Bouncy Castle, twice, after a
  concurrent edit resurrected it
- O-014: prior art named and dated - Algorand's native falcon_verify shipped
  about ten months before AERE's precompiles; the primacy claim is withdrawn
  where it was implied
- bench/ scripts parametrized so they actually run for an outsider (the
  earlier textual sanitization left $STAGING unexpanded inside Python strings)
- AIP-2/AIP-3 errata with measured figures, spec remeasurements at 2026-08-01,
  and the spec-zk-stack retractions (owner is an operational key, not the
  Foundation; 'maximally sound' withdrawn; aggregator V1 deprecated)
The redacted bench-host environment files from the sanitized line are kept
exactly as published; the unredacted local variants are not carried.
 2026-08-15 13:52:14 +03:00