ZeroSync協会は、STARK証明に基づくビットコイン証明システムを開発しています。

ChainCatcher のメッセージによると、CoinDesk が報じたところでは、Robin Linus、Tino Steffens、Lukas George などが設立した「ZeroSync 協会（ZeroSync Association）」というスイスの非営利団体が、ビットコインの証明システムを開発し、ビットコインのプライバシー、相互運用性、スケーラビリティを備えた未来を構築することを主導します。ZeroSync は STARK 証明に基づいており、ビットコインの証明を実現するために、StarkWare によって作成された Cairo 言語を使用します。

ZeroSync は、ヘッダー チェーン証明、仮想有効チェーン証明、全チェーン証明の3つの連続した段階で展開される予定であり、現在、最初の2つのプロトタイプが完成しています。ZeroSync Toolkit は、ビットコイン開発者に強力なツールを提供し、ゼロ知識証明を自分の製品やサービスに適用できるようにします。（出典リンク）