ما هي البراهين العملية بعد الكم (PQ) zk الموجودة؟ Groth16 إلخ: فقط PQ-private STARKs: ولا حتى ZK ما قبل الكم في الممارسة العملية Ligero: صوت PQ + خاص مخططات التحقق من المجموع:؟ قائمة ساندويتش مترو الأنفاق لالتزامات IOP + (PQ) متعددة الحدود هي في الغالب تشفير سريع الموضة. هل هناك فائز؟