基于zk-SNARKs的轻量级移动加密货币钱包——FeatherWallet
密码学与安全
2025-04-01 v1
摘要
传统移动钱包依赖于信任服务器以获取区块链的最新状态，因此无需对标头链或交易包含性自行验证。若移动钱包需自行验证标头链及交易包含性，则会产生显著的存储和性能开销，这在资源受限设备（如智能手机）上具有挑战性。此外，这种开销会随用户持有的加密货币数量而呈线性增长。因此，我们提出了一种新方法——FeatherWallet，以轻量级方式实现移动钱包同步，旨在消除对服务器的信任，同时高效利用资源。我们的 方法通过基于SNARK的链扩展证明实现标头链的链外验证，这些证明由智能合约验证。这为在多个区块链的标头链中存储检查点提供了可能。我们方法的关键特征在于，移动客户端能够使用来自链下服务产生的证明验证结果所存储的智能合约中的检查点来更新其局部标头链。我们的评估中，我们为2、4、8、16、32和64个标头生成了zk-SNARK证明。对于64个标头的证明，链下服务产生证明至少需要40 GB内存，而单笔交易中捆绑12个证明的 gas 消耗最少。我们实现的移动客户端存储开销较传统SPV客户端降低了20倍。虽然我们开发了针对工作量证明（PoW）区块链的原型系统，但该方法原则上可扩展至其他共识机制（如Proof of Stake）。
引用
@article{arxiv.2503.22717,
title = {FeatherWallet: A Lightweight Mobile Cryptocurrency Wallet Using zk-SNARKs},
author = {Martin Perešíni and Ivan Homoliak and Samuel Olekšák and Samuel Slávka},
journal= {arXiv preprint arXiv:2503.22717},
year = {2025}
}
备注
7 pages, 7 figures, 2 tables, zkDApps workshop