Какие практические пост-квантовые (PQ) zk-доказательства существуют? Groth16 и т.д.: только PQ-приватные STARKs: даже не пред-квантовые ZK на практике Ligero: PQ звуковые + приватные Схемы проверки суммы:? Меню метро-сэндвичей IOP+(PQ) полиномиальных обязательств в основном представляют собой криптовалюту быстрого модного производства. Есть ли победитель?