Proof of Evolution

Nova, IVC i lifecycle state

Proof of Evolution to asynchroniczna warstwa Attesto 2.0 do dowodzenia przejść lifecycle state nad zatwierdzonymi metadanymi checkpointów. Nie znajduje się w ścieżce ingest i nie blokuje receipts.

Przegląd

Proofstream najpierw tworzy historię dowodową. Następnie warstwa Proof of Evolution bierze typowane checkpoint commitments, semantykę policy, stan incident/gap, evidence quorum witnessów oraz poprzednią lifecycle state root i tworzy nową committed state root dla następnej epoch.

Nova i IVC

Nova służy do incrementally verifiable computation przez folding schemes. W Attesto praktycznym celem jest dowodzenie ewolucji lifecycle state nad evidence commitments, a nie umieszczanie dużych workloadów AI bezpośrednio w ścieżce ingest.

State roots i publiczne inputs

{
  "previous_state_root": "sha256-hex",
  "semantic_schema_root": "typed-commitment-hex",
  "checkpoint_root": "typed-commitment-hex",
  "policy_digest": "typed-commitment-hex",
  "incident_state_hash": "typed-commitment-hex",
  "witness_registry_root": "typed-commitment-hex",
  "required_threshold": 2,
  "required_witness_classes_root": "typed-commitment-hex",
  "next_state_root": "sha256-hex"
}

Evolution chain

Każda IVC epoch odnosi się do poprzedniej state root i zakresu checkpointów, który podsumowuje. Verifier może sprawdzić evolution chain jako sekwencję state transitions nad evidence commitments.

Granice claims

Aktualna formuła produkcyjna brzmi: “designed for lifecycle proofing; cryptographic construction pending external review.” Silniejsze claims dotyczące zewnętrznie zreviewowanego bezpieczeństwa kryptograficznego pozostają niedostępne do czasu ukończenia zewnętrznego applied-cryptography review i podlinkowania go z publicznego trust material.

Aktualny obwód e2e

Release-blocking attesto.lifecycle.e2e.v1 Nova relation dowodzi Attesto-native Poseidon proof objects, policy-bound incident-gap semantics, schema-root binding, boundary-root binding oraz configured 2-of-3 witness-quorum relation z użyciem circuit-friendly Schnorr signatures.

Quorum signature message wiąże domain separator, semantic schema root, boundary root, stream, checkpoint epoch i boundary, checkpoint root, policy id/version/digest, required threshold, witness classes root, incident state, witness registry root, revocation epoch i previous state root. To blokuje cross-domain, cross-stream, cross-policy, cross-checkpoint, registry/revocation, boundary i schema replay w relation.

Gwarancja release to jedna relacja wiążąca end-to-end. Zewnętrzne artefakty JSON/SHA-256/Ed25519 są akceptowane tylko po deterministycznej weryfikacji granicznej, a następnie reprezentowane jako first-class obiekty ExternalEvidenceBinding. Nova wymusza full-width Poseidon commitment każdej binding, więc żaden zewnętrzny artefakt nie może wpłynąć na lifecycle state, jeśli jego zweryfikowany obiekt boundary nie jest obecny w relacji e2e. Silniejsze claims bezpieczeństwa kryptograficznego pozostają niedostępne do czasu, aż zewnętrzny applied-cryptography review obejmie dokładną wersję obwodu, vectors, release evidence i commit.