Jakie praktyczne post-kwantowe (PQ) zk-dowody istnieją? Groth16 itd.: tylko PQ-prywatne STARKi: nawet nie pre-kwantowe ZK w praktyce Ligero: PQ solidne + prywatne Schematy sum-check:? Menu kanapek w metrze IOP+(PQ) zobowiązań wielomianowych to głównie szybka moda w kryptowalutach. Czy jest jakiś zwycięzca?
4,36K