Inferaraは、新たなWeb3テクノロジーを構築し、デジタル資産とその利用者を保護することに取り組んでいます。
Inferaraたちの目標は、厳密な科学とエンジニアリングに基づき、Web3をより安全で信頼できる環境にすることです。
Inferaraたちは毎日コードを書いている実践的なエンジニアであるため、エンジニアや開発者が直面する課題をよく理解しています。
専門分野
- 自動化定理証明
- プログラミング言語およびコンパイラ開発
Inferaraたちのプロジェクトはオープンソースとして公開しており、公共財に貢献することを大切にしています。ご意見やご質問などございましたら、どうぞお気軽にお問い合わせください。
Web3 向けに設計された、開発者に優しい初の形式仕様言語。
Inference は、Inferara の非決定論的抽象マシン実行の研究に基づいた形式仕様プログラミング言語です。
非決定論的計算モデルの詳細については、当社の論文をご覧ください。
もうすぐリリースされる予定ですので、お楽しみに。