Shumo Chu

Citrea は、ビットコインの ZK ロールアップであり、ビットコインで決済する実行レイヤーです。Citrea で発生するすべてのトランザクションは、ゼロ知識証明によって完全に保護され、BitVM を通じてビットコインによって検証されます。

Pi Squared は、ゼロ知識証明 (ZK) テクノロジを使用して、特定のプログラミング言語 (PL) や仮想マシン (VM) に依存せずに、あらゆるプログラムの正しい実行を検証します。K フレームワークとマッチング ロジックに基づいて、普遍的で効率的な検証方法を提供します。ブロックチェーン、言語、アプリケーションのシームレスな相互運用性を実現するように設計されています。

ZkCloud は、ZK のユニバーサル証明レイヤーです。これは、証明需要を集約するオンデマンド証明ネットワークであり、AWS や GCP などの標準的な証明アウトソーシングで利用できるコストのほんの一部にまでコストを削減することで、証明可能なコンピューティングを利用する新しいアプリケーションを経済的に実行可能にします。また、スケーリングとプライバシーの両方のユースケースなど、業界全体からのワークロードを集約することで、証明ノードが可能な限り最高のリソース効率を達成できるようにします。

Veridise は、スマート コントラクト、Web3 アプリケーション、ゼロ知識回路、ブロックチェーン実装など、ブロックチェーン エコシステムのすべてのレイヤーに監査およびソフトウェア分析ツールを提供するブロックチェーン セキュリティ企業です。形式検証とソフトウェア セキュリティの研究者のチームによって共同設立された Veridise は、ブロックチェーン セキュリティを強化するための最先端のツールを提供しています。また、スマート コントラクトのセキュリティと正確性を自動的に監査するための包括的で使いやすいツールチェーンも提供しています。