Proof of Evolution

Nova, IVC en lifecycle state

Proof of Evolution is de async Attesto 2.0 lane voor het bewijzen van lifecycle state transitions over committed checkpoint metadata. Het zit niet in de hot ingest path en blokkeert receipts niet.

Overview

Proofstream maakt eerst de evidence history. De Proof of Evolution lane neemt daarna typed checkpoint commitments, policy semantics, incident/gap state, witness quorum evidence en previous lifecycle state roots en produceert een nieuwe committed state root voor de volgende epoch.

Nova and IVC

Nova wordt gebruikt als research direction voor incrementally verifiable computation via folding schemes. In Attesto is het praktische doel lifecycle state evolution over evidence commitments bewijzen, niet grote AI workloads direct in de ingest path plaatsen.

State roots and public 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 previous state root en de checkpoint range die hij samenvat. Een verifier kan de evolution chain inspecteren als een sequence of state transitions over evidence commitments.

Claim boundaries

Current production language is “designed for lifecycle proofing; cryptographic construction pending external review.” Sterkere uitspraken over externally reviewed cryptographic security blijven niet beschikbaar totdat een external applied-cryptography review is afgerond en gelinkt vanuit het public trust material.

Current 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.

External JSON/SHA-256/Ed25519 artifacts worden deterministisch boundary-verified en met full-width Poseidon commitments in Nova gebonden. De bridge is een first-class ExternalEvidenceBinding object met binding id, source digest, optional source public key, binding commitment en timestamp. Sterkere claims blijven niet beschikbaar totdat een external applied-cryptography review de exacte circuit version, vectors, release evidence en commit dekt.