Welke praktische post-quantum (PQ) zk-proofs bestaan er? Groth16 enz.: alleen PQ-private STARKs: niet eens pre-quantum ZK in de praktijk Ligero: PQ sound+private Sum-check schema's:? Het subway-sandwichmenu van IOP+(PQ) polynomiale verplichtingen is voornamelijk fast-fashion crypto. Is er een winnaar?