Jaké praktické post-kvantové (PQ) zk-důkazy existují? Groth16 atd.: pouze PQ-private STARKy: ani pre-kvantové ZK v praxi Ligero: PQ sound+private Schémata pro kontrolu součtu:? Sendvičová nabídka polynomiálních závazků IOP+(PQ) v metru je většinou rychlá móda kryptoměn. Existuje vítěz?
4K