3人のドイツ人コンピューター科学者が、ライバルチェーンのイーサリアムで人気が爆発している暗号技術であるゼロ知識証明（zk-proofs）を使用してビットコインの拡張を支援するために、ZeroSync Associationと呼ばれるスイスの非営利団体を設立しました。

ゼロ知識証明は、情報自体を明かすことなく、暗号化を使用して情報の有効性を証明します。ゼロ知識証明を使用してビットコイン ブロックチェーンを検証すると、ノードはチェーンの現在の 500 GB のデータのダウンロードに何時間も (場合によっては何日も) かかることなく、ほぼ瞬時に同期できるようになります。

ZeroSync はすでに実用的なプロトタイプを制作しており、ユーザーはチェーン全体をダウンロードしたり第三者を信頼したりすることなく、ビットコイン ブロックチェーンの状態 (現在誰が何を所有しているか) とトランザクション履歴を検証できます。

このプロトタイプは、ビットコインのコンセンサスルールを検証できますが、トランザクション署名は検証できません。また、少し扱いに​​くく、速度とセキュリティの最適化もまだ必要であるため、まだ本格的な運用には至っていませんが、重要なのは、これが機能するということです。

「まだプロトタイプ段階だ」とゼロシンクの共同創業者ロビン・ライナス氏はCoinDeskに語った。「しかし、壮大なビジョンとしては、1メガバイトの証明をダウンロードすれば、500ギガバイトをダウンロードしたのと同じ効果があるということだ。」

ライトクライアントまたはシンプル支払い検証 (SPV) ノードは、ビットコイン ブロックチェーンに常に存在してきました。実際、サトシ ナカモトは、オリジナルのホワイトペーパーでこの概念について言及しています。これらは、ブロックチェーン全体をダウンロードできない携帯電話などの小型デバイスにとって重要です。

「ネットワークノードを完全に実行しなくても支払いを検証することは可能です」とサトシは書いている。「誠実なノードがネットワークを制御している限り、検証は信頼できますが、ネットワークが攻撃者によって制御されると、より脆弱になります。」

ZeroSync は、Satoshi が提案したように正直なノードを単に信頼するのではなく、暗号証明を介してトランザクションを検証することでさらに一歩進んでいます。

「信じる必要はない、それが肝心なことだ」とライナスは言った。「証明がそれを証明してくれる、それが偉大な発明だ」

完全に機能する zk-proof メカニズムを使用すると、主力のノード同期ユースケース以外にも、幅広いアプリケーションを実現できます。ZeroSync は、取引所の準備金証明や Lightning Labs の Taro などの第 2 層プロトコルでのトランザクション履歴圧縮などのアプリケーションを実現するための開発者ツールキットを作成しました。

Linus 氏と共同設立者の Lukas George 氏は、Bitcoin のヘッダーの証明の実装に関する George 氏の学部論文が Geometry Research の注目を集めたことを受けて、昨年 7 月に協力して Bitcoin ブロックチェーンの完全なチェーン証明の実装に取り​​組みました。

その後、チームにはティノ・ステフェンスが加わりました。共同設立者 3 人は全員、コンピューターサイエンスのバックグラウンドを持っています。

ライナスは、コスタリカのニコヤ半島にある人里離れた海辺の町サンタテレサに住んでいました。この町には、午後 10 時に門限がある ATM が 1 台しかありません。ライナスはこれに腹を立て、代わりの支払い方法を調べざるを得なくなりました。彼は偶然ビットコインを見つけ、尊敬を集める「ビットコイン魔術師」ルーベン・ソムセン (「ZeroSync」という用語を考案した人物) と親しくなり、その後はご存知のとおりです。

「そこから、私は暗号についてどんどん学び始めました」とライナスは言う。「時間をかけてスキルを身につけ、その後ルーベンがジオメトリー・リサーチを勧めてくれました。彼らはビットコインのSTARK証明を構築する機会を私に提供してくれました。それがルーカスと連絡を取るきっかけにもなりました。」