⚠️ ¡Es posible que los zk-SNARK actuales basados en GMG no garanticen la seguridad cuando se implementan con curvas elípticas! @gnark_team @zksecurityXYZ
El Modelo de Grupo Genérico (GGM), durante mucho tiempo la piedra angular de las pruebas de seguridad de zk-SNARK, se enfrenta a una falla crítica: nuestra investigación con @ZJU_China, que se presentará en Asiacrypt2025, revela una brecha de complejidad entre los supuestos de GGM y los grupos de curvas elípticas del mundo real en la longitud de codificación.
A continuación, desarrollaremos marcos EC-GGM para analizar rigurosamente la seguridad en la práctica.
¡Uniendo la teoría y la realidad para sistemas robustos de conocimiento cero!
#ZeroKnowledge #Cryptography #Blockchain
Si estás leyendo esto, lo más probable es que sea porque estás interesado en las pruebas de conocimiento cero, la criptografía, la seguridad, ¡e incluso podrías necesitar una auditoría (o conocer a alguien que la necesite) en ese espacio!