Quels sont les zk-proofs pratiques post-quantum (PQ) qui existent ? Groth16, etc. : seulement PQ-privé STARKs : pas même ZK pré-quantique en pratique Ligero : PQ solide + privé Schémas de vérification de somme : ? Le menu de subway-sandwich des engagements polynomiaux IOP + (PQ) est principalement du crypto fast-fashion. Y a-t-il un gagnant ?