proof-types.md

proofs every action in cyber produces a zheng proof. one proof system. one hash. one field. the table below catalogs every proof type the protocol generates. the constraint counts are design estimates, not measurements, and count a hemera permutation at ~1,440 constraints (the frozen hemera 0.4);…