Mitä käytännön post-quantum(PQ)-zk-todistuksia on olemassa? Groth16 jne.: vain PQ-yksityinen STARKs: ei edes ennen kvantti-ZK:ta käytännössä Ligero: PQ-ääni+yksityinen Summatarkistusjärjestelmät:? IOP+(PQ)-polynomisitoumusten metro-sandwich-valikko on enimmäkseen pikamuodin kryptoa. Onko voittajaa?