Proof of Evolution

Nova, IVC et lifecycle state

Proof of Evolution est la lane async Attesto 2.0 pour prouver des lifecycle state transitions sur committed checkpoint metadata. Elle n'est pas dans le hot ingest path et ne bloque pas receipts.

Overview

Proofstream crée d'abord l'evidence history. La lane Proof of Evolution prend ensuite typed checkpoint commitments, policy semantics, incident/gap state, witness quorum evidence et previous lifecycle state roots, puis produit une nouvelle committed state root pour la prochaine epoch.

Nova and IVC

Nova est utilisé comme research direction pour incrementally verifiable computation via folding schemes. Dans Attesto, l'objectif pratique est de prouver lifecycle state evolution sur evidence commitments, pas de mettre de grands AI workloads directement dans l'ingest path.

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

Chaque IVC epoch référence la previous state root et la checkpoint range qu'elle résume. Un verifier peut inspecter l'evolution chain comme une sequence of state transitions sur evidence commitments.

Claim boundaries

Current production language is “designed for lifecycle proofing; cryptographic construction pending external review.” Les statements plus forts sur externally reviewed cryptographic security restent unavailable jusqu'à ce qu'une external applied-cryptography review soit terminée et liée depuis le public trust material.

Current e2e circuit

La relation Nova release-blocking attesto.lifecycle.e2e.v1 prouve Attesto-native Poseidon proof objects, policy-bound incident-gap semantics, schema-root binding, boundary-root binding et une relation configured 2-of-3 witness-quorum avec circuit-friendly Schnorr signatures.

Le quorum signature message lie domain separator, semantic schema root, boundary root, stream, checkpoint epoch et boundary, checkpoint root, policy id/version/digest, required threshold, witness classes root, incident state, witness registry root, revocation epoch et previous state root. Cela bloque cross-domain, cross-stream, cross-policy, cross-checkpoint, registry/revocation, boundary et schema replay dans la relation.

External JSON/SHA-256/Ed25519 artifacts sont deterministically boundary-verified et liés dans Nova par full-width Poseidon commitments. Le bridge est un first-class ExternalEvidenceBinding object avec binding id, source digest, optional source public key, binding commitment et timestamp. Les stronger claims restent unavailable jusqu'à ce qu'une external applied-cryptography review couvre l'exact circuit version, vectors, release evidence et commit.