编辑“零知识证明（ZKP）”（章节）

=== 区块链 ===
零知识证明用于小零币与大零币协议中，最终于2016年发展成小零币（2020年改称飞熔币）和大零币两种加密货币。小零币内置有混币模型，以确保匿名，且该模型无需信任任何点对点用户或中央集权混币者。用户可以用另一种基准币交易，也可以将该币卖出买入小零币。大零币协议的模型也类似（该变式称为非交互式零知识证明），而且可以掩盖交易额，但小零币则不能。大零币的交易数据如此隐密，所以与小零币相比，较不易受到隐私计时攻击。不过，此层额外隐私，可能导致不能追踪假币，倘因此造成大零币供给的超通涨，可能无法侦测到。

2018年，防弹证明（bulletproofs）面世。其改进自非交互式零知识证明，不再需要可信的安装环境。其后，实现成“结舌”协议（Mimblewimble protocol，Grin和Beam两种加密币皆出自该协议）和门罗币。2019年，飞熔币实现Sigma协议，是对应小零币协议无可信环境的改进。同年，飞熔币引入莱兰托斯协议（Lelantus protocol），更自Sigma协议改进，隐去交易的源头与金额。