# Versionshinweise

> Apogee VM v1.0.0, das erste Release. Was es beweist, was es enthält, wie es gemessen und geprüft wurde und wo seine bekannten Grenzen liegen.

## v1.0.0

Das erste Release von Apogee VM: eine RISC-V-zkVM, die RV32IMAC-Programme beweist und ihre Beweise auf Ethereum abwickelt. Die Spezifikation, die diese Website wiedergibt, ist das Verzeichnis `docs/` des Repositorys in der Quellrevision `3571370`.

### Was es beweist

Dass ein Programm, benannt durch einen Digest seines Images, mit einer öffentlichen Eingabe bis zu einem Exit-Status lief und ein Journal schrieb – über einen Rekursionsbaum bis zu einem einzigen Groth16-Beweis getragen, den `ApogeeVerifier.sol` prüft. Beweise sind succinct, aber nicht zero-knowledge.

### Was enthalten ist

- **Die Maschine.** RV32IMAC auf einem Hart; die 59 Befehle von RV32IMA, komprimierte Befehle beim Laden expandiert; ein Guest-SDK mit drei Speicherbereichen für Eingabe, Hilfsdaten (Advice) und Ausgabe.
- **Das Beweissystem.** 23 Schaltkreisfamilien über dem Skalarkörper von BN254, jede ein geschichteter GKR-Schaltkreis: sieben Befehlsfamilien, fünf Speicherfenster-Familien, sechs Delegationen und fünf Rekursionsfamilien. Eine einzige Lese-/Schreib-Speicher-Multimenge über die gesamte Ausführung; LogUp-Lookups über fünf Kanäle.
- **Delegationen.** `KECCAK_F`, `SHA256_COMP`, `POSEIDON2`, `FR_ARITH`, `MOD_MUL` und `EC_ADD`, erreichbar aus dem SDK und aus gepatchten Versionen von `k256`, `ark-ff` und `revm-precompile`.
- **Commitments.** Mercury über KZG auf den Perpetual Powers of Tau der PSE, eine 704-Byte-Öffnung pro Shard; aufgeschobene Verifikation für die Rekursion.
- **Der Prover.** Ein Streaming-Prover mit zwei Durchläufen, dessen Speicherbedarf den gerade bearbeiteten Shards folgt.
- **Abwicklung.** Ein Rekursionsbaum aus Blatt- und Knotenprogrammen in einem Rekursionsformat mit Speicher für Körperelemente und vier Koprozessoren; ein Groth16-Decider mit gebundenen Wires und einer zweiphasigen Zeremonie; `ApogeeVerifier.sol`.
- **Die Ethereum-Arbeitslast.** Ein revm-Gastprogramm (Guest) mit einem Mini-Block-Binary und einem zustandslosen Validator für Osaka, BPO1, BPO2 und Amsterdam.
- **Werkzeuge.** `bench`, der Zyklus-Profiler, das Debug-Log des Provers, `checker`, `artifact-dump`, die CLI `verifier`, `kat-gen` und zwei Referenzorakel.
- **Keine externe Kryptografie.** Körper, Kurve, Pairing, MSM, Hash, PCS, GKR und Groth16 sind im Repository implementiert.

### Gemessen

Block 257.510 von `glamsterdam-devnet-8` (60 Transaktionen, 101,5 Mgas, 198 Mio. Zyklen): ein Basisbeweis aus 207 Shards in 2.481 s auf 32 vCPUs mit einer Spitze von 174 GiB; ein Rekursionsbaum aus 116 Shards; ein Decider-Beweis in 18,5 s; On-Chain-Verifikation für 3.620.026 gas. Alle 67.251 Paare von `tests-zkevm` v21.0.1 stimmen nativ überein. [Performance](https://apogee.gweb3networks.com/docs/architecture/performance) enthält jede Zahl.

### Bekannte Grenzen

Nicht zero-knowledge; Hilfsdaten bewusst ungebunden; höchstens je 16.380 Byte öffentliche Eingabe und Journal; `sc.w` gelingt immer; Traps sind nicht beweisbar; eine feste Menge von sechs Basis-Delegationen; Speicherbedarf des Provers bestimmt durch die gerade bearbeiteten Shards; der Decider-Schlüssel je Wurzelform und nur so vertrauenswürdig wie seine Zeremonie. [Das Sicherheitsmodell](https://apogee.gweb3networks.com/docs/architecture/security#limits) nennt jede Grenze mit ihrer Begründung.

### Dokumentation

Diese Website, auf Englisch, Französisch (Kanada), vereinfachtem Chinesisch und Deutsch, mit der normativen Spezifikation in jeder Sprache auf Englisch. Der [KI-Begleiter](https://apogee.gweb3networks.com/docs/launch/ai-companion) und [`llms.txt`](/llms.txt) dienen KI-Agenten.