オープンイノベーションのための検証可能な未来を築く
最先端の分散システムと暗号技術の研究開発を行っています。ブロックチェーン、ゼロ知識証明、マルチパーティ計算などの基礎研究から実装まで幅広く取り組んでいます。
セキュリティ脆弱性の発見と責任ある開示を通じて、デジタルインフラストラクチャの安全性向上に寄付する取り組みを行っています。バグバウンティプログラムへの参加と独自の脆弱性研究を行っています。
研究者とイノベーターのためのコミュニティスペースを運営しています。アイデアの交換、コラボレーション、実験のための物理的な拠点を提供しています。
次世代の研究者とエンジニアの育成に取り組んでいます。ワークショップ、セミナー、オンラインコースを通じて、最新の技術知識を共有しています。
数学的手法を用いてスマートコントラクト、プロトコル、暗号アルゴリズムの正確性と安全性を証明します。
