Hazync の開発者は、ブロック 1 から 1,789 までの検証がミリ秒単位だと報告していますが、フルチェーンの証明生成キャンペーンは未完了です。
azync の開発者は、1.7 MB の単体検証器が、27 ミリ秒で Bitcoin の最初の 1,789 ブロックをカバーする 226,434 バイトの暗号学的 receipt を検証したと報告しています。8月15日の開示は、その結果を Bitcoin 歴史の初期の一部範囲に限定しています。genesis から tip までの完全な証明キャンペーンは未完了のままです。
Hazync は研究プロトタイプであり、RISC Zero のゼロ知識仮想マシン（zkVM）を使って、Bitcoin の検証を再利用可能にします。zkVM は検証プログラムを実行し、その結果として得られる receipt により、他の利用者は検査用のコンパクトなファイルを受け取れます。開発者の設計は、証明生成をプローヴァー（証明者）に集中させ、receipt の検証はより大規模な利用者層に委ねています。
これら2つの仕事のコストは大きく異なります。開発者は、歴史的なバックフィルにはおよそ17 GPU年が必要だと見積もり、その後は新しいブロックに追随するために約6枚の Nvidia L40S 相当の処理能力が必要だとしています。安価な receipt チェックは、プローヴァーや監査者、アーカイブ運用者が高コストの作業を上流で提供した後にやって来ます。
公開されている Hazync リポジトリは、Bitcoin Core v28 のコンセンサスコードの実質的な部分と libsecp256k1 から構築されたゲストプログラムを、32ビット RISC-V 向けにコンパイルしたものとして説明しています。Core のコードを再利用することで、別の回路で言い直す必要があるコンセンサス挙動の量を減らせます。
この測定結果は、genesis から tip までのバックフィルにおよそ17 GPU年という開発者の見積もりに反映されています。利用可能な資料は、Bitcoin 歴史のあらゆる時代にまたがる監査済みの測定ではなく、代表的なプロジェクトのベンチマークを提供しています。そのため、Hazync のフルチェーン性能は、キャンペーンが完了するまで推定にとどまります。
ソフトウェアの変更によって、完了した作業が消えてしまうこともあります。Hazync の各受領（receipt）は、コンパイルされたゲストプログラムの指紋である METHOD_ID をコミットします。新しいゲストビルドでは新しい識別子が与えられ、それ以前の受領は、前バージョンに紐づいたままになります。
プロジェクトは内部監査により新しいベースラインが強制されたため、8月4日に genesis ボードを再起動しました。その後の健全性修正は、よりはるかに多くの GPU 時間が蓄積された後に、同様のリセットを引き起こす可能性があります。したがって、証明予算は、安定したコード、歴史的バックフィル、そして tip への継続的な処理能力にまたがっています。
ゲスト自体には重要なレビュー境界があり、実質的に Core のコンセンサスコードがその中で動作し、さらに補助金スケジュールとスクリプト有効化（activation）高さ向けのプロジェクト管理のスライスが同居しています。プロジェクトは、自身のスクリプトフラグのスケジュールが、Core のルールの健全なスーパーセットとして差分的にテストされており、健全性を保つ意図で行う方向に追加の拒否が可能になると述べています。
C++ の移植性（ポータビリティ）レイヤーが zkVM 向けに Core を適応させ、Core 以外の Utreexo アキュムレータが、Bitcoin の未使用トランザクション出力（UTXO）セットへの変更をコミットします。開示された前提もまた、RISC Zero の証明システム、SHA-256、secp256k1 をカバーしています。Hazync は、移植性のためのシムとアキュムレータを、残るレビューの最優先ターゲットとして特定しています。
同リポジトリによれば、8月に AI 支援の外部レビューが2件行われたものの、ゲストが不正なチェーンを受け入れるための道筋は見つからないという結果でした。委託された専門家による監査は依然として未完了です。公開コードにより外部からの精査は可能ですが、生産面での保証は、ゲストそのものと、その証明境界内のあらゆる構成要素についての敵対的な検討に依存しています。
Hazync は、信頼を要さない同期（trustless sync）を、異なる運用者と予算を持つ複数の仕事に分割します。受領の検証は、証明された範囲に対してミリ秒まで到達し得ます。証明生成は GPU 能力を消費し、アーカイブ運用者は基礎となるデータを保持し、ノードは tip を比較し、監査者はゲストを評価します。
十分な計算資源と外部レビューがあれば、新しいノード間での検証の繰り返しを減らせる可能性があります。プロジェクトが現時点で置かれている段階では、開発者が報告する27ミリ秒のチェックは限定された背骨（spine）を対象としており、一方で 17 GPU年という推定は、Bitcoin の tip に至る未完了の経路を表しています。