Proof of Evolution

Nova, IVC en lifecycle state

Proof of Evolution is de asynchrone Attesto 2.0-laag voor het bewijzen van lifecycle state-transities over vastgelegde checkpointmetadata. De laag zit niet in het ingest-pad en blokkeert receipts niet.

Overzicht

Proofstream bouwt eerst de bewijsgeschiedenis. Daarna neemt de Proof of Evolution-laag getypte checkpoint commitments, policy-semantiek, incident- en gap-state, witness-quorum evidence en de vorige lifecycle state root, en produceert daaruit een nieuwe committed state root voor de volgende epoch.

Nova en IVC

Nova wordt gebruikt voor incrementally verifiable computation via folding schemes. In Attesto is het praktische doel om lifecycle state-evolutie over evidence commitments te bewijzen, niet om grote AI-workloads direct in het ingest-pad te plaatsen.

State roots en publieke 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

Elke IVC epoch verwijst naar de vorige state root en naar de checkpointrange die wordt samengevat. Een verifier kan de evolution chain inspecteren als een reeks state-transities over evidence commitments.

Claim boundaries

De huidige productietaal is: “designed for lifecycle proofing; cryptographic construction pending external review.” Sterkere uitspraken over extern gereviewde cryptografische security blijven niet beschikbaar totdat een externe applied-cryptography review is afgerond en vanuit het publieke trustmateriaal wordt gelinkt.

Huidig e2e-circuit

De release-blocking attesto.lifecycle.e2e.v1 Nova relation bewijst Attesto-native Poseidon proof objects, policy-bound incident-gap semantics, schema-root binding, boundary-root binding en een configured 2-of-3 witness-quorum relation met circuit-friendly Schnorr signatures.

De quorum signature message bindt de domain separator, semantic schema root, boundary root, stream, checkpoint epoch en boundary, checkpoint root, policy id/version/digest, required threshold, witness classes root, incident state, witness registry root, revocation epoch en previous state root. Dit blokkeert cross-domain, cross-stream, cross-policy, cross-checkpoint, registry/revocation, boundary en schema replay binnen de relation.

De releasegarantie is één end-to-end bindingsrelatie. Externe JSON/SHA-256/Ed25519-artifacts worden alleen geaccepteerd na deterministische boundary verification en daarna vastgelegd als first-class ExternalEvidenceBinding-objecten. Nova constraint de full-width Poseidon commitment van elke binding, zodat geen extern artifact de lifecycle state kan beïnvloeden tenzij het geverifieerde boundary-object aanwezig is in de e2e-relatie. Sterkere cryptografische securityclaims blijven niet beschikbaar totdat een externe applied-cryptography review de exacte circuitversie, vectors, release evidence en commit dekt.