Bulletproofs（防弹证明）

什么是 Bulletproofs？

Bulletproofs 是一种简短的零知识证明，允许证明者在不披露陈述背后隐私信息的情况下，证明某项陈述为真。

在加密货币领域，Bulletproofs 最为人熟知的用途是提高机密交易的效率：它可以证明隐藏的交易金额有效。

用户可以证明某个隐藏金额处于允许范围内，例如大于或等于 0 且低于某个上限，而无需公开具体金额。

这很重要，因为隐私加密货币交易必须隐藏敏感数据，同时仍允许网络验证没有凭空创造代币。

斯坦福应用密码学研究组将 Bulletproofs 描述为简短、非交互式且无需可信设置的零知识证明。

原始研究论文 Bulletproofs：用于机密交易等场景的短证明指出，Bulletproof 证明的大小仅随见证大小呈对数增长。

简单来说，Bulletproofs 可以帮助区块链保护隐私，而不会让每笔隐私交易都变得极其庞大。

它们尤其适用于范围证明，即证明一个隐藏数字落在有效范围内。

Bulletproofs 对加密货币有何意义

Bulletproofs 很重要，因为公有区块链默认具有透明性。

在许多区块链上，任何人都可以查看地址、交易金额、交易历史和智能合约活动。

这种透明性有助于验证，但也可能降低金融隐私。

机密交易系统试图通过隐藏交易金额来解决这一问题，同时仍让网络能够检查交易是否有效。

但隐藏金额会带来一个棘手的问题。

即使验证者看不到金额，也必须确认发送方没有创建负数输出或暗中增发代币。

Bulletproofs 通过证明隐藏值处于有效范围内，解决了这个问题的一部分。

这让隐私保护与交易验证能够兼顾。

如果没有高效的范围证明，机密交易可能会变得过大、过慢或成本过高，难以实际应用于区块链。

通俗理解 Bulletproofs

假设有人想证明自己已达到进入某栋建筑的年龄，却不想透露具体生日。

他不想公开年龄，但门卫仍需要确认他符合规定。

零知识证明可以让这个人证明自己满足年龄要求，而不披露具体隐私信息。

Bulletproofs 将类似思路用于加密交易中的隐藏数字。

用户可以隐藏交易金额，同时证明金额符合规则。

网络不会知道具体数值。

网络只会知道该数值有效。

这很有价值，因为加密货币系统需要公开验证，但用户可能不希望自己的每项财务细节永远暴露在外。

Bulletproofs 解决什么问题？

Bulletproofs 主要解决高效隐私验证问题。

在机密交易中，金额会隐藏在密码学承诺中。

承诺可以让用户锁定一个数值，同时不公开该数值。

但仅有承诺还不够，因为恶意用户可能承诺一个无效值。

例如，用户可能尝试创建一笔数学上看似平衡、实际上却通过隐藏负数值增发代币的交易。

范围证明可以证明承诺值处于有效范围内，从而防止这种情况。

在 Bulletproofs 出现之前，范围证明对区块链而言可能体积庞大、成本高昂。

Bulletproofs 大幅缩小了范围证明，有助于让注重隐私的交易系统更具实用性。

因此，Bulletproofs 成为加密隐私研究和实现中的重要工具。

Bulletproofs 的基本工作原理

Bulletproofs 使用密码学承诺、内积论证和零知识技术，对隐藏值相关的陈述进行证明。

证明者是创建证明的个人或软件。

验证者是检查证明的个人、节点或网络。

证明者知道一个秘密值，例如交易金额。

证明者创建一个证明，表明该值满足某条规则，例如处于有效范围内。

验证者检查证明，并确信该规则得到满足。

验证者不会得知秘密值本身。

这就是零知识属性。

Bulletproofs 还是非交互式的，也就是说，证明者可以创建一个证明，供任何人在之后验证，无需进行实时的来回交互。

这对区块链非常实用，因为交易证明必须广播、存储，并由许多参与者验证。

什么是范围证明？

范围证明是一种密码学证明，用于证明某个隐藏数字处于指定范围内。

在加密货币中，一个常见示例是证明隐藏的交易输出不是负数，且不超过有效上限。

这很重要，因为区块链验证必须防止通胀漏洞和无效交易。

如果金额可见，节点只需直接检查数值。

如果金额被隐藏，节点就需要通过其他方式验证同一规则。

范围证明可以在不公开实际金额的情况下，为节点提供这种保证。

Bulletproofs 常被提及，因为它们让范围证明更短，也更适用于机密交易系统。

它们可以让保护隐私的交易更接近区块链实际的大小和验证限制。

什么是 Pedersen 承诺？

Pedersen 承诺是一种密码学方法，允许用户承诺某个数值，同时将其隐藏。

它常用于机密交易设计。

承诺会隐藏金额，但仍允许进行某些数学检查。

例如，网络可以检查承诺输入总额和承诺输出总额是否平衡，而无需知道具体金额。

不过，Pedersen 承诺需要范围证明，因为隐藏值在模运算中可能出现异常情况。

如果隐藏值超出允许范围，一笔表面上平衡的交易仍可能无效。

Bulletproofs 提供了一种高效方法，用来证明这些承诺值有效。

这也是 Bulletproofs 在注重隐私的加密货币设计中重要的原因之一。

“无需可信设置”为何重要

Bulletproofs 的一项主要优势是不需要可信设置。

可信设置是一种特殊的初始化仪式，用于为某些零知识证明系统生成公开参数。

如果可信设置产生的秘密材料没有被正确销毁，系统安全性可能受损。

在某些证明系统中，设置过程遭到破坏可能让他人伪造证明。

对于加密货币来说，这种风险十分严重，因为伪造证明可能威胁货币体系的完整性。

Bulletproofs 避免了这一类设置风险。

这并不意味着 Bulletproofs 没有风险。

这意味着它们不像某些其他零知识系统那样依赖可信设置仪式。

对于重视公开可验证性和尽量减少信任需求的区块链社区而言，这是一个重要优势。

Bulletproofs 与机密交易

机密交易会隐藏交易金额，同时允许网络验证资金总量守恒。

Bulletproofs 可用于机密交易，因为它们能够证明隐藏输出处于有效范围内。

没有这类证明，恶意用户可能利用隐藏金额创建无效交易。

使用 Bulletproofs 后，网络可以拒绝无效的隐藏金额，而无需看到具体数值。

这有助于提升公开账本上的金融隐私。

机密交易系统可以帮助防止外部人士轻易追踪支付金额、余额、商业活动或个人消费模式。

不过，机密交易不会自动隐藏所有信息。

其他元数据、网络行为、钱包操作失误、时间模式或地址复用仍可能损害隐私。

Bulletproofs 是隐私保护的基础组件，并非完整的隐私系统。

Bulletproofs 与交易大小

交易大小是所有区块链隐私系统都面临的重要问题。

交易越大，占用的存储空间越多、手续费越高，也需要更多带宽。

如果隐私交易过大，用户可能不愿使用，网络运行也可能变得更加困难。

Bulletproofs 之所以广受关注，是因为与旧方法相比，它们可以缩小范围证明的大小。

原始 Bulletproofs 论文指出，证明大小与见证大小呈对数关系，也就是说，陈述规模增大时，证明大小增长较慢。

这对聚合范围证明很有价值，因为多个输出可以合并证明，效率更高。

更小的证明可以减少区块链数据膨胀，让隐私交易更实用。

如果手续费按交易大小计算，它们还可能帮助降低交易手续费。

因此，Bulletproofs 常被视为兼顾隐私和效率的改进方案。

Bulletproofs 与验证速度

Bulletproofs 本身较短，但其验证成本可能高于其他一些证明系统。

斯坦福 Bulletproofs 页面指出，与某些简洁证明系统相比，Bulletproofs 的验证可能更耗时。

这就形成了一种权衡。

Bulletproofs 无需可信设置，证明也较为紧凑，但验证者可能需要比使用某些替代方案时投入更多计算。

在区块链中，验证成本很重要，因为许多节点可能需要检查大量证明。

如果验证太慢，运行全节点就会更加困难。

这可能损害去中心化。

良好的协议设计必须平衡证明大小、验证时间、证明生成时间、实现安全性和网络资源使用。

Bulletproofs 在范围证明方面具有较好的综合表现，但并非适用于所有零知识应用场景。

Bulletproofs 与 zk-SNARKs 对比

Bulletproofs 和 zk-SNARKs 都是零知识证明技术，但各自的权衡不同。

Bulletproofs 不需要可信设置。

许多传统 zk-SNARK 系统需要可信设置，不过新型设计和设置方式因协议而异。

zk-SNARK 证明可以非常小，验证速度也很快。

Bulletproofs 通常比 SNARK 证明更大，验证也可能更慢。

不过，如果项目希望在不承担设置仪式风险的情况下高效生成范围证明，Bulletproofs 仍具有吸引力。

zk-SNARKs 常用于更通用的隐私计算、扩容证明和复杂有效性系统。

Bulletproofs 则以机密交易范围证明而闻名。

哪种方案更合适，取决于应用场景、信任假设、性能需求、实现成熟度和安全模型。

Bulletproofs 与 STARKs 对比

Bulletproofs 和 STARKs 的设计目标也有所不同。

STARK 是透明证明系统，可以支持大规模计算，且不需要可信设置。

STARK 证明通常比 SNARK 证明更大，但适用于可扩展计算和有效性证明。

Bulletproofs 更多用于紧凑范围证明和机密交易。

STARK 则更常用于扩容系统、有效性 Rollup 和大规模计算证明。

这两种技术都属于更广泛的零知识证明和可验证计算领域。

它们并非在所有场景下都可以直接相互替代。

协议可以使用 Bulletproofs 证明隐藏金额的范围，同时采用另一种证明系统处理大型执行证明。

了解这些差异，有助于避免误以为所有零知识证明都以相同方式解决同一个问题。

Bulletproofs 与聚合

在加密交易中，聚合是 Bulletproofs 最实用的特性之一。

聚合证明可以将多个范围证明合并，其总大小小于逐个证明每个输出所需的大小。

这很重要，因为一笔交易可能有多个输出。

如果无法聚合，每个输出都可能增加大量证明负担。

通过聚合，交易可以更高效地证明多个隐藏输出。

这有助于缩小交易体积，并提升机密交易的可扩展性。

当钱包创建多个输出时，聚合尤其有用，例如支付输出和找零输出。

它也适用于多个参与者共同创建一笔交易或一个批次的系统。

实际效果是隐私交易可以更小，对网络的负担也更低。

Bulletproofs 与多方计算

在某些设计中，Bulletproofs 也可以支持多方证明。

这意味着多个参与方可以合作生成证明，同时不向彼此透露各自的隐私输入。

在加密领域，这可能适用于共享交易、类似 CoinJoin 的构造、机密资产系统和协作协议。

多方 Bulletproofs 设计必须谨慎实现，因为协调、随机数、通信和恶意参与者都可能带来风险。

如果某个参与者行为不当，协议可能需要能够检测或恢复问题的机制。

多方证明可能提高隐私和效率，但也会增加工程复杂度。

因此，生产系统在使用高级 Bulletproofs 功能之前，需要经过严格审计和密码学审查。

密码学在理论上可能安全，但如果实现存在缺陷，实际应用仍可能不安全。

Bulletproofs+ 和更新的变体

Bulletproofs+ 是 Bulletproofs 的改进版本，旨在让范围证明更小、更高效。

GetMonero 对 Bulletproofs+ 的说明将其描述为一种更高效的范围证明系统，适用于机密交易协议。

Bulletproofs+ 论文介绍了一种无需可信设置、适用于范围证明和算术电路的更短零知识论证。

Bulletproofs++ 等后续研究也在探索进一步提升范围证明和机密资产证明效率的方法。

这些变体表明，Bulletproof 技术并非一成不变。

研究人员仍在持续改进证明大小、生成时间、验证时间和实现设计。

对用户来说，重要的是要知道，“Bulletproofs”可能指原始证明系统，也可能指一系列相关改进。

对开发者来说，具体版本很重要，因为不同变体在证明格式、安全假设、性能表现和兼容性要求方面各不相同。

隐私币中的 Bulletproofs

Bulletproofs 与隐藏交易金额的隐私型加密货币系统关系密切。

在这些系统中，范围证明必不可少，因为验证者必须检查隐藏金额是否有效。

部分注重隐私的网络从旧范围证明系统迁移到 Bulletproofs，因为更小的证明可以减少交易大小和验证负担。

GetMonero 的 Bulletproofs 术语条目解释称，Bulletproof 证明大小随待证明数据的大小呈对数增长。

这一特性让 Bulletproofs 对区块链网络很有吸引力，因为每个字节都可能影响手续费、存储和节点的长期成本。

不过，用户应了解，Bulletproofs 主要保护隐藏金额的有效性。

它们不会自动隐藏发送者身份、接收者身份、IP 地址、钱包行为或交易所活动。

完整的隐私协议必须结合多种技术，才能保护不同类型的交易信息。

Bulletproofs 与隐藏金额

隐藏金额是 Bulletproofs 最重要的应用场景之一。

在透明区块链上，金额可能泄露个人财富、企业收入、供应商付款、工资发放模式或交易行为。

在机密交易系统中，金额隐藏在承诺中。

Bulletproofs 让网络能够检查隐藏金额是否有效，而不必公开金额。

这有助于防止通胀，同时保护机密性。

由此可以为交易金额提供更强的隐私保护。

不过，金额隐私只是金融隐私的一部分。

如果外部数据将某个地址与特定个人关联，元数据仍可能泄露重要信息。

因此，注重隐私的钱包和协议通常会将隐藏金额与其他隐私工具结合使用。

Bulletproofs 与防止通胀

在机密交易中，防止通胀是 Bulletproofs 最重要的安全作用之一。

加密货币网络必须确保用户无法通过无效交易创建额外代币。

金额可见时，节点只需直接相加即可轻松检查。

金额隐藏时，网络需要通过密码学证明，确认承诺值符合供应规则。

Bulletproofs 可以证明每个隐藏输出都处于有效范围内。

这可以防止利用负数值或超出有限域范围的数值绕回等方式作弊。

如果缺少范围证明或证明机制失效，隐藏数值系统可能变得不安全。

因此，Bulletproofs 的实现质量至关重要。

隐私功能绝不能削弱加密货币的货币完整性。

Bulletproofs 与区块链可扩展性

Bulletproofs 并非像 Layer 2 网络那样的通用扩容方案，但可以提升隐私交易的可扩展性。

与旧式范围证明方法相比，它们能缩小证明大小。

更小的证明可以减少交易权重、存储增长、带宽使用和手续费压力。

这很重要，因为隐私功能通常会为交易增加额外数据。

如果隐私成本过高，使用者可能会很少。

如果只有少数用户使用隐私功能，匿名集可能会变弱。

通过提高隐私交易效率，Bulletproofs 可以支持机密交易系统得到更广泛的实际应用。

效率不仅关乎成本。

它还可能影响去中心化，因为资源需求降低后，更多用户可以运行验证节点。

Bulletproofs 与智能合约

Bulletproofs 也可用于证明超出简单范围证明的陈述。

原始论文讨论了通用算术电路证明，这意味着 Bulletproofs 能表示比“这个数字在某个范围内”更复杂的陈述。

在智能合约系统中，理论上可以借此支持隐私规则、隐藏余额、机密资产或选择性披露。

不过，对于大型智能合约计算，Bulletproofs 并非总是最佳证明系统。

在某些区块链应用中，验证成本和证明设计可能使其他证明系统更实用。

智能合约开发者还必须考虑 Gas 成本、证明验证库、曲线兼容性和审计复杂度。

在学术研究中表现良好的证明系统，在生产环境的智能合约中仍可能难以安全部署。

因此，许多区块链项目会根据特定的性能和信任要求选择证明系统。

Bulletproofs 的安全假设

Bulletproofs 依赖标准密码学假设，尤其是与特定群上的离散对数相关的假设。

Bulletproofs 实现的安全性取决于数学推导正确、曲线选择安全、随机数安全以及代码严谨。

如果随机数质量较差，隐私值可能泄露。

如果实现代码存在错误，无效证明可能被接受，或有效证明可能无法通过验证。

如果域分离处理不当，证明可能在不同上下文中被重复使用或错误解释。

如果协议集成有误，即使证明在数学上可靠，也仍可能无法保护整个系统。

这意味着 Bulletproofs 的安全性不只取决于论文。

软件工程、审计、测试、形式化审查和安全部署同样重要。

保护真实加密资产的密码学系统应被视为高风险基础设施。

关于 Bulletproofs 的常见误解

一个常见误解是，Bulletproofs 本身可以让整笔交易匿名。

事实并非如此。

Bulletproofs 主要用于证明隐藏值相关的陈述，尤其是数值范围。

它们不会自动隐藏网络元数据、钱包指纹、发送者身份、接收者身份或交易时间模式。

另一个误解是，Bulletproofs 可以让交易免费或即时完成。

事实也并非如此。

它们能缩小某些证明，但仍需要计算资源和区块链空间。

第三个误解是，无需可信设置就意味着完全不需要信任。

无需可信设置消除了一种特定的信任问题，但用户仍然需要信任协议设计、实现、钱包软件和共识规则。

第四个误解是，所有零知识证明都一样。

Bulletproofs 与 SNARKs、STARKs 和其他证明系统具有不同的权衡。

Bulletproofs 的优势

Bulletproofs 的第一个主要优势是无需可信设置。

这降低了设置仪式遭到破坏的风险。

第二个优势是范围证明大小较小。

这让机密交易在区块链上更具实用性。

第三个优势是支持聚合。

与分别证明每个数值相比，聚合多个范围证明的效率更高。

第四个优势是对隐私保护的有力支持。

Bulletproofs 允许验证者检查隐藏值，而无需得知这些值。

第五个优势是灵活性。

Bulletproofs 可以证明更通用的算术陈述，但范围证明仍是它们在加密领域最知名的应用。

这些优势说明了 Bulletproofs 为何成为区块链隐私研究的重要里程碑。

Bulletproofs 的局限

第一个局限是验证成本。

与一些证明极小、验证速度很快的系统相比，Bulletproofs 的验证可能更慢。

第二个局限是复杂度。

安全实现 Bulletproofs 需要高水平的密码学工程能力。

第三个局限是 Bulletproofs 只保护待证明的具体陈述。

如果系统只证明某个金额处于范围内，其他交易细节仍可能通过其他渠道泄露。

第四个局限是 Bulletproofs 并非天然适合所有智能合约或扩容场景。

对于大型计算证明或高吞吐量有效性系统，其他证明系统可能更合适。

第五个局限是升级可能很困难。

更换证明系统的区块链必须协调钱包、节点、代码库、审计和共识规则。

这些局限并不意味着 Bulletproofs 不可靠。

它们说明应根据具体用途选择证明系统。

Bulletproofs 与钱包用户

大多数钱包用户无需理解 Bulletproofs 的完整数学原理。

不过，用户应了解其实际作用。

如果钱包或区块链使用 Bulletproofs，它可能会用来隐藏交易金额，同时证明金额有效。

与旧式范围证明方法相比，这可以改善隐私并减小交易体积。

用户仍应遵循隐私保护最佳实践。

如果钱包模型建议使用唯一地址，用户就应避免重复使用地址。

用户应保护助记词和私钥。

用户应避免通过截图、公开帖子或不安全的钱包连接泄露交易信息。

用户应了解，只有自身行为也注重隐私，密码学隐私保护才会更有效。

Bulletproofs 与开发者

开发者应将 Bulletproofs 视为专用密码学基础设施。

除非具备深厚的密码学专业知识并获得独立审查，否则不应自行编写实现。

通常更安全的做法是使用成熟且经过审计的代码库，并遵循特定协议的指导。

Dalek Bulletproofs 库就是一个专注于范围证明、聚合范围证明及相关工具的实现示例。

开发者必须确认代码库是否持续维护、是否经过审计、是否兼容所选曲线，以及是否适用于生产环境。

他们还必须测试边界情况、无效证明、批量验证行为、转录处理以及与承诺的集成。

大多数严重故障并非源于密码学理念本身薄弱，而是实现或集成有误。

在加密应用中，这类错误可能导致永久性财务损失。

Bulletproofs 与审计

对于使用 Bulletproofs 的系统，审计至关重要。

安全审查应检查证明生成、证明验证、承诺构造、随机数生成、转录绑定和协议集成。

审查还应确认无效值无法通过验证。

批量验证需要仔细审查，因为性能优化有时会引入隐蔽风险。

还应测试钱包集成，因为即使证明系统本身正确，钱包处理元数据不当仍可能泄露信息。

区块链启用证明系统升级前，独立的密码学审查尤为重要。

证明系统一旦成为共识机制的一部分，修复错误就可能很困难。

因此，注重隐私的加密协议通常会在部署前安排较长测试期、公开审查和多轮审计。

Bulletproofs 与监管讨论

由于 Bulletproofs 能增强加密货币交易隐私，因此也可能出现在监管讨论中。

隐私可以保护普通用户、企业和社区免受不必要的监视。

但当交易细节更难检查时，也可能引发合规团队的担忧。

这项技术本身并无倾向性。

它是一种用于证明隐藏信息有效的密码学方法。

其具体用途取决于协议、钱包、业务流程和法律环境。

某些系统可能使用零知识证明进行选择性披露，让用户在不公开全部信息的情况下证明某些事实。

未来这可能支持保护隐私的合规方案。

重要的是，Bulletproofs 并非只是隐藏数据。

它们旨在证明数据正确，同时比传统系统披露更少的信息。

Bulletproofs 的未来

Bulletproofs 未来可能会重点提升效率、改善实现安全性，并开发更专门的变体。

Bulletproofs+ 已经提高了部分机密交易系统中范围证明的效率。

Bulletproofs++ 及相关研究仍在探索更小、更快的证明设计。

与此同时，其他证明系统也在快速改进。

这意味着 Bulletproofs 将继续作为更广泛零知识工具集的一部分，而非唯一解决方案。

当无需可信设置、紧凑范围证明和机密交易支持特别重要时，Bulletproofs 很可能仍会发挥作用。

对于需要快速验证超大规模计算的应用，Bulletproofs 的主导地位可能较低。

加密行业将继续根据信任假设、证明大小、验证成本、开发工具和安全成熟度来比较各种证明系统。

Bulletproofs 能够确立自身地位，是因为它们让实用的隐私范围证明效率大幅提高。

常见问题

加密领域中的 Bulletproofs 是什么？

Bulletproofs 是加密领域使用的一种简短零知识证明，可用于证明隐藏值（例如机密交易金额）有效，而不公开这些值。

Bulletproofs 有什么用途？

Bulletproofs 主要用于机密交易系统中的高效范围证明，也可以支持更通用的算术陈述。

Bulletproofs 需要可信设置吗？

不需要。Bulletproofs 无需可信设置，这是其相较于部分其他零知识证明系统的主要优势之一。

什么是范围证明？

范围证明用于证明某个隐藏数字处于允许范围内，而不公开该数字本身。

机密交易为何需要 Bulletproofs？

机密交易需要范围证明，让网络能够验证隐藏金额有效，并确认没有额外代币被创建。

Bulletproofs 能让交易完全匿名吗？

不能。Bulletproofs 可以隐藏金额并证明相关事实，但完整的交易隐私还取决于地址隐私、元数据保护、钱包行为和其他协议功能。

Bulletproofs 比 zk-SNARKs 更好吗？

在某些场景中，Bulletproofs 因无需可信设置而更合适；在另一些场景中，zk-SNARKs 可能更合适，因为其证明通常更小、验证更快。

什么是 Bulletproofs+？

Bulletproofs+ 是 Bulletproofs 的改进版本，旨在缩小范围证明并提高效率，同时保留无需可信设置的特性。

Bulletproofs 安全吗？

Bulletproofs 基于经过深入研究的密码学理念，但其安全性取决于实现是否正确、参数是否安全、随机数质量、审计情况以及是否正确集成到区块链协议中。

开发者可以在智能合约中使用 Bulletproofs 吗？

开发者可以在某些智能合约设计中使用 Bulletproofs 类证明，但必须考虑验证成本、代码库成熟度、曲线兼容性和审计要求。

结语

Bulletproofs 是加密货币领域重要的零知识证明系统，因为它们提高了隐私验证的效率。

它们允许用户证明隐藏的交易金额有效，而无需公开金额本身。

因此，它们尤其适用于机密交易和范围证明。

其主要优势是范围证明体积较小、支持聚合且无需可信设置。

其主要局限是验证成本、实现复杂度，以及只能保护特定待证明陈述。

不要将 Bulletproofs 与完整匿名系统混为一谈，因为它们只是更全面隐私设计中的一部分。

也不应将其视为所有零知识证明系统的通用替代方案。

对于加密货币用户，关键在于 Bulletproofs 能帮助区块链安全验证隐藏值。

对于开发者，关键在于 Bulletproofs 需要谨慎实现、充分测试和独立审查。

随着隐私和零知识技术不断发展，Bulletproofs 及其更新变体仍是构建加密货币系统的重要工具，可在减少信息披露的同时证明规则得到遵守。