Synonyms
zheng
the proof system of the cyber protocol. SuperSpartan IOP + WHIR PCS + sumcheck protocol. zero trusted setup, post-quantum, sub-millisecond verification. | component | role | |-----------|------| | IOP | SuperSpartan β one commitment, one opening per proof | | PCS | WHIR β polynomial commitment overβ¦