Folder
Homonyms
cybics/crystal/proof
zheng proofs cover every cyber/signal atomically β cyberlinks, conviction UTXOs, and cyber/impulse in one verification. see cybergraph/reference/proof.
soft3/mudra/src/proof
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
Mentions
- cyber-valley/buildings/satoshi/cybics
- cyber/3c
- cyber/channel
- cyber/concepts
- cyber/core
- cyber/cybersophy
- cyber/hash
- cyber/hierarchy
- cyber/personality
- cyber/research/five algebras
- cyber/research/hashing and confidentiality
- cyber/research/polynomial proof system
- cyber/tokens/badge
- cyberia/protocol/location proof
- cyberia/research/genome-protocol/attested genome protocol
- cybics
- soft3/cybergraph
- languages