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

インクルTech* （インクルテック）で社会課題を解決するスタートアップ企業・株式会社Lean on Me（本社：大阪府高槻市、代表取締役：志村駿介、以下「リーンオンミー」）は、創業10周年を迎えるにあたり、新たなビジョン、ミッション、そしてバリューを ...