@ebfullのタキオンブログ記事のメモと、無意識の同期によるスケーリング@Zcashについて@str4dとの会話 Zcashのプライバシーは無効化器から来ています。資金を使うと、ランダムに見える32バイトのトークンが現れ、どちらのノートを使っているかは明かさずに二重に使うのを防ぎます。問題は、バリデーターがすべての無効化器を永遠に保存しなければならないことです。100 TPSでは、1日あたり約1ギガバイトの州成長に相当します。どのヌリファイアがどのノートに対応するのか分からないので、剪定できません。これは2013年のゼロキャッシュ論文以来、既知のボトルネックとなっています。 タキオンはアーキテクチャを逆にします。バリデーターが無効化器の全履歴を管理する代わりに、ウォレットは自身の状態のデータを含む証明を保持します。支出すると、取引には無効化者が最近のアンカーまでチェーンに現れていない証拠が含まれています。バリデーターは最近のブロックだけを確認すればよくなります。ほぼすべての歴史的状態は剪定可能になります。 重要なメカニズムは無自覚同期です。サードパーティのサービスは、あなたの資金について何も知らずにウォレットを同期し、証拠を生成できます。彼らはヌリファイアを認識しますが、ナリファイアの派生方法のプロトコル変更で、アキュムレータ内のノート位置情報を漏らすのを防ぎます。オフラインでもウォレットは最新の状態を保てます。 バンド外の支払いもその一環です。現在、ウォレットはすべてのシールド取引を試行して復号し、入金金を探しています。スケールしません。タキオンは秘密配布を完全にオフチェーンに移し、トランザクションから暗号文を削除します。これにより、まだ量子耐性のないオンチェーンプロトコルの部分も排除されます。 Haloの発見がこれを実用的なものにしました。Halo以前は、性能の制約や信頼されたセットアップ要件のために、証明データを運ぶのは理論的なものでした。Haloはそれを変え、新たなPCD建設の波を引き起こしました。Seanは、Tachyonの要件をサポートするために、パスタ曲線の再帰証明のためのライブラリ「Ragu」を開発しました。 これは、プライバシーとスケーラビリティが伝統的に緊張関係にあるため重要です。台帳の区別不能さは、トランザクションがどの状態を修正しているか分からず、ほとんどの並列化戦略を壊します。Tachyonは、証明責任をウォレットに移しつつ、Zcashがローンチ以来維持してきた暗号プライバシーの保証を維持することでこの問題を解決しています。 スケジュールは野心的です。暗号技術を用いて1年以内にメインネットの大幅な改善がZcashで既に展開されています。推測的な調査は不要です。CrosslinkやZSAとは競合しません。Saplingのアップグレードは、このチームが圧力の中で生産型ZKシステムを出荷できることを証明しました。彼らは18ヶ月でそれを達成しつつ、同時にSproutの健全性バグを修正していました。