proof.md

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

proof

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…

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…

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,…