⚠️ 現在の GGM ベースの zk-SNARK は、楕円曲線で展開した場合、セキュリティを保証できない可能性があります。@gnark_team @zksecurityXYZ zk-SNARKのセキュリティ証明の基礎である汎用群モデル(GGM)は、長い間重大な欠陥に直面しています。Asiacrypt2025で発表される@ZJU_Chinaとの研究では、GGMの仮定と現実世界の楕円曲線グループとの間にエンコード長の複雑さのギャップがあることが明らかになりました。 次に、EC-GGMフレームワークを開発し、実際のセキュリティを厳密に分析します。 理論と現実の橋渡しで、堅牢なゼロ知識システムを実現! #ZeroKnowledge #Cryptography #Blockchain