ブロックチェーン開発者のZeroSyncは、スターク証明に基づいた最初のZKクライアントシステムをビットコインネットワークに導入し、ビットコインライトクライアント（つまりウォレット）がブロックヘッダーとSimple Payment Verification（SPV）メカニズムを使用してトランザクションを検証できるようにしました。このプロジェクトは、ビットコイン ユーザーがブロックチェーン全体をダウンロードせずにネットワークの状態を確認できるようにすることを目的としています。 (ザブロック)