Proof of Evolution

Nova, IVC und lifecycle state

Proof of Evolution ist die async Attesto 2.0 lane zum Beweisen von lifecycle state transitions über committed checkpoint metadata. Sie liegt nicht im hot ingest path und blockiert receipts nicht.

Overview

Proofstream erzeugt zuerst die evidence history. Die Proof of Evolution lane nimmt danach typed checkpoint commitments, policy semantics, incident/gap state, witness quorum evidence und previous lifecycle state roots und erzeugt eine neue committed state root für die nächste epoch.

Nova and IVC

Nova wird als research direction für incrementally verifiable computation durch folding schemes verwendet. In Attesto ist das praktische Ziel, lifecycle state evolution über evidence commitments zu beweisen, nicht große AI workloads direkt in den ingest path zu setzen.

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

Jede IVC epoch referenziert die previous state root und die checkpoint range, die sie zusammenfasst. Ein verifier kann die evolution chain als sequence of state transitions über evidence commitments prüfen.

Claim boundaries

Current production language is “designed for lifecycle proofing; cryptographic construction pending external review.” Stärkere Aussagen über externally reviewed cryptographic security bleiben unavailable, bis eine external applied-cryptography review abgeschlossen und im public trust material verlinkt ist.

Current e2e circuit

Die release-blocking attesto.lifecycle.e2e.v1 Nova relation beweist Attesto-native Poseidon proof objects, policy-bound incident-gap semantics, schema-root binding, boundary-root binding und eine configured 2-of-3 witness-quorum relation mit circuit-friendly Schnorr signatures.

Die quorum signature message bindet domain separator, semantic schema root, boundary root, stream, checkpoint epoch und boundary, checkpoint root, policy id/version/digest, required threshold, witness classes root, incident state, witness registry root, revocation epoch und previous state root. Dies blockiert cross-domain, cross-stream, cross-policy, cross-checkpoint, registry/revocation, boundary und schema replay innerhalb der relation.

External JSON/SHA-256/Ed25519 artifacts werden deterministisch boundary-verified und mit full-width Poseidon commitments in Nova gebunden. Die bridge ist ein first-class ExternalEvidenceBinding object mit binding id, source digest, optional source public key, binding commitment und timestamp. Stärkere claims bleiben unavailable, bis eine external applied-cryptography review die genaue circuit version, vectors, release evidence und commit abdeckt.