Inferaraは、#Web3のデジタル資産と
デジタル市民を守るために
フォーマルな手法で研究を行っています。 Inferaraの目標は、科学技術の知見に基づき、
Web3を全ての人々が安心できる安全な環境にすることです。
デジタル市民を守るために
フォーマルな手法で研究を行っています。 Inferaraの目標は、科学技術の知見に基づき、
Web3を全ての人々が安心できる安全な環境にすることです。
Inferaraも毎日コードを書いているため、エンジニアや開発者が日々何をしているかをよく理解しています。そのため、どのツールや手法が効果的かも熟知しています。
- Inferaraの専門は、自動化定理証明(Coq)とモデル検査(TLA+)です。
- Inferaraは、アカデミックなスタイルで研究を進めてから、新しいコードを書いています。
ご意見、ご提案、ご感想をお寄せください。Inferaraは、#Web3のエコシステム全体を担っています。#Web3のセキュリティの将来について、遠慮なくお問い合わせください。