四半世紀前に学生として暮らしていた京都で、縁あって暗号通貨 Tezos の基礎研究開発を行う会社を作ることになりました。よろしくお願いいたします。 現在、世界の多くの暗号通貨フレームワークが取り組んでいるのが、型システム、静的解析、抽象実行、機械証明をはじめとする形式検証技術によるシステムの安全化です。弊社はこの一翼を担い、将来的には暗号通貨にとどまらず情報インフラストラクチャーの安全化に寄与できればと思っています。