ATLAS ZERO — Real Implementation Plan v1
Verdict
Arhiva ATLAS ZERO VM.zip conține AZ-001 până la AZ-053, deci problema de closure structural observată în primul zip este închisă în al doilea.
Asta schimbă verdictul astfel:
- corpusul este complet ca serie documentară de bază;
- rămâne însă în continuare un corpus de specificație, nu o implementare executabilă;
- următorul pas corect este transformarea lui într-un repo real, cu ordine strictă de construcție.
1. Decizia de implementare
Limbaj recomandat
Rust
De ce Rust
Pentru acest tip de protocol este alegerea cea mai bună deoarece oferă:
- control strict pe memorie și layout;
- predictibilitate mai bună pentru logică deterministică;
- tipuri puternice pentru obiecte canonice;
- cost redus de runtime și fără GC;
- ecosistem bun pentru hashing, serialization, storage, networking și fuzzing;
- separare clară între core deterministic și shell operațional.
Nu recomand Python, Node sau Go pentru core-ul normativ. Ele pot fi utile pentru tooling, test harness și exporturi, dar nu pentru nucleul de adevăr protocolar.
2. Forma corectă a repo-ului
Repo root
atlas-zero/
Cargo.toml
rust-toolchain.toml
README.md
LICENSE
docs/
spec/
canon/
procedures/
audit/
public/
index/
crates/
az-core/
az-crypto/
az-codec/
az-types/
az-canon/
az-state/
az-validation/
az-vm/
az-witness/
az-economics/
az-governance/
az-consensus/
az-mempool/
az-storage/
az-p2p/
az-node/
az-rpc/
az-recovery/
az-build/
az-genesis/
az-export/
az-verifier/
binaries/
az-node/
az-tool/
az-verifier/
tests/
conformance/
integration/
simulation/
property/
fixtures/
vectors/
canonical/
tx/
state/
vm/
witness/
consensus/
governance/
recovery/
genesis/
devnet/
testnet/
scripts/
dev/
release/
packaging/
verification/
tools/
corpus-import/
snapshot-check/
bundle-check/
3. Regula de aur a construcției
Ordinea corectă este:
- canonical core
- validation + state core
- BVM core
- economic + witness core
- consensus core
- node shell + networking
- governance / recovery
- genesis / build / release / bundles
- devnet
- testnet
- hardening
Dacă inversezi ordinea și pornești de la node shell, RPC, P2P sau GUI, proiectul se rupe.
4. Ce se scrie prima dată
4.1 Workspace bootstrap
Primele fișiere reale:
atlas-zero/Cargo.toml
atlas-zero/rust-toolchain.toml
atlas-zero/crates/az-types/Cargo.toml
atlas-zero/crates/az-types/src/lib.rs
atlas-zero/crates/az-codec/Cargo.toml
atlas-zero/crates/az-codec/src/lib.rs
atlas-zero/crates/az-crypto/Cargo.toml
atlas-zero/crates/az-crypto/src/lib.rs
atlas-zero/crates/az-core/Cargo.toml
atlas-zero/crates/az-core/src/lib.rs
4.2 Structurile canonice minime
Aceste fișiere trebuie scrise primele:
crates/az-types/src/hash.rs
crates/az-types/src/ids.rs
crates/az-types/src/cell.rs
crates/az-types/src/intent.rs
crates/az-types/src/witness.rs
crates/az-types/src/tx.rs
crates/az-types/src/block.rs
crates/az-types/src/epoch.rs
crates/az-types/src/errors.rs
4.3 Codec canonic
Aici se câștigă sau se pierde protocolul.
crates/az-codec/src/canonical.rs
crates/az-codec/src/encoding.rs
crates/az-codec/src/decoding.rs
crates/az-codec/src/hashable.rs
crates/az-codec/src/domain_separation.rs
4.4 Crypto minim
crates/az-crypto/src/hash.rs
crates/az-crypto/src/signatures.rs
crates/az-crypto/src/merkle.rs
crates/az-crypto/src/public_keys.rs
4.5 Primele teste obligatorii
tests/conformance/canonical_encoding.rs
tests/conformance/hash_stability.rs
tests/conformance/object_roundtrip.rs
tests/property/no_ambiguous_decode.rs
5. Prima etapă implementabilă: Canonical Core
Obiectiv
Să poți face următoarele fără rețea:
- construiești obiecte;
- le encodezi canonic;
- le decodezi;
- le hashezi;
- verifici egalitate structurală;
- verifici că nu există encoding ambiguu.
Output real
- hash stabil pentru toate obiectele de bază;
- corpus minim de test vectors;
- identificatori canonici stabili;
- zero logică de rețea încă.
Done real
Când poți da aceleași obiecte la două procese separate și obții exact aceleași bytes și aceleași hash-uri.
6. A doua etapă: Validation + State Core
Crate-uri
crates/az-state/
crates/az-validation/
crates/az-storage/
Fișiere principale
crates/az-state/src/state_root.rs
crates/az-state/src/state_view.rs
crates/az-state/src/cell_store.rs
crates/az-state/src/apply.rs
crates/az-state/src/delta.rs
crates/az-validation/src/tx_validation.rs
crates/az-validation/src/object_validation.rs
crates/az-validation/src/state_transition.rs
crates/az-validation/src/admission.rs
crates/az-validation/src/policy.rs
crates/az-storage/src/object_store.rs
crates/az-storage/src/state_store.rs
crates/az-storage/src/snapshot_store.rs
Ce trebuie implementat
TX_VALUE_TRANSFERTX_INTENT_SUBMITTX_INTENT_CANCEL- validarea consumului unic;
- conservarea valorii;
- aplicarea tranzacției la stare;
- state root determinist;
- snapshot simplu.
Teste obligatorii
tests/conformance/tx_value_transfer.rs
tests/conformance/unique_consumption.rs
tests/conformance/value_conservation.rs
tests/conformance/state_root_determinism.rs
tests/integration/basic_state_apply.rs
7. A treia etapă: BVM Core
Crate
crates/az-vm/
Fișiere
crates/az-vm/src/bytecode.rs
crates/az-vm/src/opcodes.rs
crates/az-vm/src/interpreter.rs
crates/az-vm/src/gas.rs
crates/az-vm/src/bounds.rs
crates/az-vm/src/host.rs
crates/az-vm/src/effects.rs
crates/az-vm/src/module.rs
Ordine internă corectă
- bytecode format
- opcode table
- interpreter minim
- gas / exec units
- effect model
- host calls strict limitate
- deploy/call path
Ce NU faci aici
- FFI exotic
- dynamic loading
- contracte arbitrare
- host API prea larg
- syscall-uri fără bounds
Teste obligatorii
tests/conformance/vm_decode.rs
tests/conformance/vm_determinism.rs
tests/conformance/vm_bounds.rs
tests/conformance/vm_effect_limits.rs
tests/integration/machine_deploy_and_call.rs
8. A patra etapă: Witness + Economics
Crate-uri
crates/az-witness/
crates/az-economics/
Fișiere witness
crates/az-witness/src/record.rs
crates/az-witness/src/statement.rs
crates/az-witness/src/verification.rs
crates/az-witness/src/families.rs
crates/az-witness/src/policy.rs
Fișiere economics
crates/az-economics/src/fees.rs
crates/az-economics/src/rent.rs
crates/az-economics/src/rewards.rs
crates/az-economics/src/slashing.rs
crates/az-economics/src/treasury.rs
crates/az-economics/src/reserve.rs
Ce trebuie să existe minim
- fee charging;
- state rent model minim;
- reward accrual model;
- slash evidence object format;
- witness verification minim.
9. A cincea etapă: Consensus Core
Crate
crates/az-consensus/
Fișiere
crates/az-consensus/src/epoch.rs
crates/az-consensus/src/front.rs
crates/az-consensus/src/proposer.rs
crates/az-consensus/src/verifier.rs
crates/az-consensus/src/notary.rs
crates/az-consensus/src/finality.rs
crates/az-consensus/src/evidence.rs
crates/az-consensus/src/slashable.rs
Prima versiune reală
Nu faci întâi rețea completă. Faci mai întâi:
- consens replayabil în memorie;
- simulare de epocă;
- front selection;
- vote/notarize;
- finality derivation;
- slashable conditions.
Teste obligatorii
tests/simulation/epoch_flow.rs
tests/simulation/finality_progress.rs
tests/simulation/front_selection.rs
tests/simulation/slash_conditions.rs
10. A șasea etapă: Node Shell
Crate-uri
crates/az-mempool/
crates/az-p2p/
crates/az-node/
crates/az-rpc/
Fișiere cheie
crates/az-mempool/src/pool.rs
crates/az-mempool/src/admission.rs
crates/az-mempool/src/priorities.rs
crates/az-p2p/src/messages.rs
crates/az-p2p/src/peer.rs
crates/az-p2p/src/sync.rs
crates/az-p2p/src/discovery.rs
crates/az-node/src/config.rs
crates/az-node/src/roles.rs
crates/az-node/src/runtime.rs
crates/az-node/src/safe_mode.rs
crates/az-node/src/bootstrap.rs
crates/az-rpc/src/public.rs
crates/az-rpc/src/operator.rs
Regula
Shell-ul e subordonat core-ului. Niciodată invers.
11. A șaptea etapă: Governance + Recovery
Crate-uri
crates/az-governance/
crates/az-recovery/
Fișiere
crates/az-governance/src/actions.rs
crates/az-governance/src/activation.rs
crates/az-governance/src/parameters.rs
crates/az-governance/src/constitutional.rs
crates/az-recovery/src/boundary.rs
crates/az-recovery/src/ratification.rs
crates/az-recovery/src/continuity.rs
crates/az-recovery/src/state_legitimacy.rs
Aici se face
- parameter activation;
- governance actions;
- recovery boundary;
- legitimate state records;
- continuity / rupture logic.
12. A opta etapă: Genesis + Build + Release
Crate-uri
crates/az-build/
crates/az-genesis/
crates/az-export/
crates/az-verifier/
Fișiere
crates/az-genesis/src/genesis.rs
crates/az-genesis/src/package.rs
crates/az-genesis/src/validator_set.rs
crates/az-genesis/src/parameter_set.rs
crates/az-build/src/manifests.rs
crates/az-build/src/signing.rs
crates/az-build/src/release.rs
crates/az-export/src/public_truth.rs
crates/az-export/src/audit_bundle.rs
crates/az-export/src/historical_snapshot.rs
crates/az-verifier/src/bundle_verify.rs
crates/az-verifier/src/public_verify.rs
crates/az-verifier/src/history_verify.rs
13. Repo-ul minim care poate porni realist
Primul target serios nu este mainnet. Primul target serios este:
milestone-devnet-core
Cu:
- codec canonic complet pentru obiectele de bază;
- state core;
- VM minim;
- consensus replayabil;
- nod care poate porni local în 4-5 instanțe;
- genesis package minim;
- RPC public minim;
- conformance corpus minim.
14. Ordinea exactă a modulelor care trebuie scrise prima dată
Ordine strictă:
az-typesaz-codecaz-cryptoaz-coreaz-storageaz-stateaz-validationaz-vmaz-witnessaz-economicsaz-consensusaz-mempoolaz-nodeaz-p2paz-rpcaz-governanceaz-recoveryaz-genesisaz-buildaz-exportaz-verifier
Dacă sari peste 1–7 și mergi direct la 11–15, intri în haos.
15. Ce este blocker absolut
Blocker 1
Nu există încă format canonic executabil.
Blocker 2
Nu există state transition engine implementat.
Blocker 3
Nu există VM bounded real.
Blocker 4
Nu există consensus replayabil.
Blocker 5
Nu există corpus executabil de conformance.
Fără aceste cinci, tot restul este decor.
16. Ce se poate amâna
Se poate amâna:
- GUI;
- explorer;
- wallet complex;
- public dashboard sofisticat;
- audit export complet;
- optimization pass agresiv;
- red-team complet;
- feature-uri rare de governance;
- branch-aware public truth complet;
- long-term archive polish.
17. Prima versiune de repo care are sens să fie generată
v0.1.0-alpha-canonical-core
Trebuie să conțină:
- workspace Rust funcțional;
- tipuri canonice;
- encoding/hashing;
- test vectors;
- state skeleton;
- tx validation skeleton.
Nu mai mult.
v0.2.0-alpha-state
- state apply real;
- value transfer;
- intent submit/cancel;
- snapshots minime.
v0.3.0-alpha-vm
- BVM minim;
- deploy/call;
- bounded execution.
v0.4.0-alpha-devnet
- 4 noduri locale;
- genesis;
- consensus simplificat;
- finality de bază.
18. Verdict final
Da, din acest zip se poate scoate un plan real de implementare.
Dar adevărul tehnic este:
- arhiva este baza de specificație;
- repo-ul real încă nu există;
- prima muncă serioasă este construcția canonical core;
- dacă această etapă este făcută corect, restul poate fi crescut disciplinat;
- dacă este făcută prost, toată arhitectura cade indiferent cât de frumoase sunt documentele.
Formula scurtă
Blueprint-ul este suficient de bogat ca să înceapă implementarea reală. Primul șantier corect este Rust workspace + canonical core + state core.