タグ: 形式検証

イーサリアムの研究組織であるNyx Foundationは、AIエージェントで暗号プロトコルのLean形式検証を自動化し、一部耐量子暗号の安全性証明に成功しました。一般社団法人 Nyx Foundat...