インフェララについて

• 私たちは、#Web3 デジタル資産とその利用者を保護するための形式手法の研究を行っています。
• 私たちの目標は、Web3をすべての人にとって安全で安心な環境にすることです。

私たちのチームは、科学と工学の経験を共有する人々を結集しています。

• 私たちは、エンジニアや開発者が日々何をしているかを知っています。なぜなら、私たち自身も毎日コードを書いているからです。そのため、どのツールや手法が効果的かを理解しています。

• 私たちの専門分野は、自動定理証明とモデルチェックです。具体的には、Coq と TLA+ を使用しています。

• 新しいコードを書く前に、学術的なスタイルの研究を行っています。

「最初から設計を正しく行わないと、書くコードのすべてが修正になります。そして、1日目から混乱を抱えることになります。」 – レスリー・ランポート

私たちは、コメント、提案、そして考えを共有したいすべての人を歓迎します。私たちは#Web3エコシステム全体の一員ですので、ぜひ私たちに連絡し、#Web3のセキュリティの未来について議論してください。