Proof of Evolution

Nova, IVC et lifecycle state

Proof of Evolution est la couche asynchrone d'Attesto 2.0 qui prouve les transitions de lifecycle state sur des métadonnées de checkpoint engagées. Elle n'est pas dans le chemin d'ingestion et ne bloque pas les receipts.

Vue d'ensemble

Proofstream construit d'abord l'historique de preuve. La couche Proof of Evolution prend ensuite les commitments de checkpoint typés, la sémantique de policy, l'état incident/gap, la preuve de witness quorum et la précédente lifecycle state root, puis produit une nouvelle committed state root pour l'epoch suivante.

Nova et IVC

Nova est utilisé pour l'incrementally verifiable computation via des folding schemes. Dans Attesto, l'objectif pratique est de prouver l'évolution du lifecycle state sur des evidence commitments, pas de placer de grands workloads IA directement dans le chemin d'ingestion.

State roots et inputs publics

{
  "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 state root précédente et la plage de checkpoints qu'elle résume. Un verifier peut inspecter l'evolution chain comme une séquence de state transitions sur des evidence commitments.

Limites de claim

La formulation de production actuelle est: “designed for lifecycle proofing; cryptographic construction pending external review.” Les claims plus forts sur une sécurité cryptographique revue en externe restent indisponibles jusqu'à ce qu'une revue externe d'applied cryptography soit terminée et liée depuis le trust material public.

Circuit e2e actuel

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.

La garantie de release est une relation de liaison end-to-end. Les artefacts externes JSON/SHA-256/Ed25519 ne sont acceptés qu'après une vérification déterministe de frontière, puis représentés comme des objets ExternalEvidenceBinding de première classe. Nova contraint le commitment Poseidon full-width de chaque liaison, de sorte qu'aucun artefact externe ne peut influencer l'état lifecycle sans que son objet de frontière vérifié soit présent dans la relation e2e. Les claims de sécurité cryptographique plus forts restent indisponibles jusqu'à ce qu'une revue externe d'applied cryptography couvre la version exacte du circuit, les vectors, la release evidence et le commit.