Proof of Evolution

Nova, IVC i lifecycle state

Proof of Evolution to async Attesto 2.0 lane do dowodzenia lifecycle state transitions nad committed checkpoint metadata. Nie znajduje się w hot ingest path i nie blokuje receipts.

Overview

Proofstream najpierw tworzy evidence history. Proof of Evolution lane bierze typed checkpoint commitments, policy semantics, incident/gap state, witness quorum evidence i previous lifecycle state roots, a następnie tworzy nowy committed state root dla następnej epoch.

Nova and IVC

Nova jest używana jako research direction dla incrementally verifiable computation przez folding schemes. W Attesto praktycznym celem jest dowodzenie lifecycle state evolution nad evidence commitments, nie wkładanie dużych AI workloads bezpośrednio do 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

Każda IVC epoch referencjonuje previous state root i checkpoint range, który podsumowuje. Verifier może inspect evolution chain jako sequence of state transitions nad evidence commitments.

Claim boundaries

Current production language is “designed for lifecycle proofing; cryptographic construction pending external review.” Mocniejsze statements o externally reviewed cryptographic security pozostają unavailable do czasu ukończenia external applied-cryptography review i podlinkowania jej z public trust material.

Current e2e circuit

Release-blocking attesto.lifecycle.e2e.v1 Nova relation dowodzi Attesto-native Poseidon proof objects, policy-bound incident-gap semantics, schema-root binding, boundary-root binding oraz configured 2-of-3 witness-quorum relation z użyciem circuit-friendly Schnorr signatures.

Quorum signature message wiąże domain separator, semantic schema root, boundary root, stream, checkpoint epoch i boundary, checkpoint root, policy id/version/digest, required threshold, witness classes root, incident state, witness registry root, revocation epoch i previous state root. To blokuje cross-domain, cross-stream, cross-policy, cross-checkpoint, registry/revocation, boundary i schema replay w relation.

External JSON/SHA-256/Ed25519 artifacts są deterministically boundary-verified i wiązane w Nova przez full-width Poseidon commitments. Bridge jest first-class ExternalEvidenceBinding object z binding id, source digest, optional source public key, binding commitment i timestamp. Stronger claims pozostają unavailable do czasu, aż external applied-cryptography review obejmie exact circuit version, vectors, release evidence i commit.