O'Grady et al. proposed Bonsai, an account-based private payment scheme where validators store one commitment per account without keeping nullifiers. Users maintain and prune received nullifiers privately. Combined with ZKP and batch verification, it achieves over one million verifications per second on commodity hardware.O'Grady等人提出基于账户的隐私支付方案Bonsai,验证者仅存储单个承诺而非nullifier,用户自行维护并可剪枝旧nullifier,结合ZK与批量验证,在消费级硬件上实现每秒百万级操作验证。O'Gradyらはアカウント型プライベート決済Bonsaiを提案。検証者は1アカウント1コミットメントのみ保持しnullifierを保存せず、ユーザーが受領nullifierを自律管理・剪定。ZKとバッチ検証により、消費者向けハードウェアで毎秒100万件以上の検証を達成した。
NotesNotes要点
Bonsai uses an account-based design; validators do not store any nullifier set.
Users privately maintain received nullifiers and can prune older ones to cold storage.
External observers only learn that an account performed an action, not the amount or counterparty.
Zero-knowledge is integrated into Pari with no increase in proof size and negligible prover overhead.
A batch verification strategy supports high-throughput verification requirements.
The prototype verifies over one million operations per second on an M5 MacBook Pro.
Bonsai采用基于账户的设计,验证者无需存储任何nullifier集合
用户私下维护接收到的nullifier,并可将旧nullifier剪枝归档至冷存储
外部观察者仅知账户发生动作,无法获知金额与交易对手
将零知识集成至Pari证明系统,未增加证明大小且证明者开销可忽略
采用批量验证策略,支撑高吞吐量验证需求
原型在M5 MacBook Pro上验证速度超过每秒100万笔操作
Bonsaiはアカウントベース設計で、検証者はnullifierセットを一切保持しない
ユーザーは受領したnullifierを非公開で管理し、古いものを冷蔵ストレージに剪定可能
外部観測者はアカウントの動作のみを知り、金額や相手方は秘匿される
Pariへのゼロ知識統合により、証明サイズ増加なし、証明者オーバーヘッドも無視できる
バッチ検証戦略により高スループットな検証を実現
M5 MacBook Pro上で毎秒100万件以上の検証を達成
零知识证明零知識証明zkDaily
Q&A Deep Dive 💬今日要点 深入解析 💬今日の要点 深掘り 💬
Sun星期日日曜日
09.20
2026
How do Bonsai users manage nullifiers?Bonsai用户如何管理nullifier?Bonsaiユーザーはnullifierをどう管理するのか?
Users privately maintain received nullifiers and prune older ones to cold storage.用户私下维护收到的nullifier,并可将较旧的剪枝至冷存储。受領したnullifierを非公開で保持し、古いものを冷蔵ストレージへ剪定できる。
How does Bonsai achieve validator scalability?Bonsai如何实现验证者端的可扩展性?Bonsaiは検証者のスケーラビリティをどう実現するか?
Validators store only one commitment per account and never keep any nullifiers.验证者仅存储每个账户的一个承诺,无需保存任何nullifier。検証者はアカウントごとに1つのコミットメントのみ保持し、nullifierを一切保存しない。
What characterizes Bonsai's ZK integration?Bonsai的零知识集成有何特点?BonsaiのZK統合の特徴は何か?
It adds zero-knowledge to Pari without increasing proof size or prover overhead.它在Pari基础上添加零知识,不增加证明大小且证明者开销可忽略。Pariにゼロ知識を追加し、証明サイズ増加なし、証明者オーバーヘッドも無視できる。