cybics/crystal/proof.md

proofzheng proofzheng proofssignal proofcyber proofs
cyber cip entity cyber
π 0.03% 17 words · 1 min

zheng proofs cover every cyber/signal atomically — cyberlinks, conviction UTXOs, and cyber/impulse in one verification. see cybergraph/reference/proof.

Homonyms

prysm/proof
cybergraph/reference/proof
neural/inf/specs/proof
inf proof how an inf result certifies itself against a bbg root. a query result, or the set a mutation appends, carries a zheng proof that it follows from the committed graph state. a verifier holding only the 32-byte root checks it in constant time. what a proof asserts for a read, the proof binds…
soft3/cybergraph/specs/proof
proof the σ field of a signal: a single zheng proof. it is the signal's **evidence** — one proof, covering the whole batch atomically, that lets anyone holding only the root accept the signal without re-executing it and without trusting the sender. what it is σ is produced by the neuron at sealing,…
cyb/prysm/proofs/proof
the proof layer of prysm cyb is a soft3 interface. every value rendered on screen has a provenance — it is either cryptographically verified, asserted by an actor, or local to the neuron. prysm represents this provenance visually. the neuron always knows which values are proven and which are merely…

Graph