proof-types.md

proofs every action in cyber produces a stark proof. one proof system. one hash. one field. the table below catalogs every proof type the protocol generates. every proof in the table is a stark. no SNARKs, no trusted setup, no curves. one hash (Hemera), one VM (nox), one field (Goldilocks field).…