区块链安全性的突破:Tezos 推出创新的抗量子解决方案以增强交易隐私

Tezos 推出了 TzEL,这是一种在其测试网上使用 zk-STARK 证明和后量子密码学的实验性隐私汇总。
TzEL 解决了“现在收获,稍后解密”的问题:一旦量子计算成熟,当前存储的加密数据就可以被解密。
该项目使用 Tezos 的数据可用性层和汇总架构来处理每笔交易高达 300KB 的证明。
Tezos 推出了 TzEL,这是一个部署在其测试网上的实验性隐私汇总,这是设计旨在抵御量子计算攻击的隐私交易的首批尝试之一。该项目将 zk-STARK 证明与后量子密码学相结合,刻意远离主导当今大多数加密行业的椭圆曲线密码学。
TzEL 寻求解决的核心问题不是当前的隐私,而是未来的隐私。普通的区块链交易在设计上是公开的,但隐私系统引入了加密层来隐藏金额、收件人和敏感元数据。这种加密技术目前运作良好,但链上数据是永久性的。有人现在就可以收集加密信息并保留它,直到足够强大的量子计算机能够破解保护它的密码学——这种攻击向量被称为“现在收获,稍后解密”。
Tezos 让 TzEL 在测试网上运行
该系统允许用户在汇总中屏蔽 tez,在参与者之间私下传输它们,并将它们取消屏蔽回基础层。它还包含加密备忘录、查看密钥、检测密钥和委托证明——面向选择性披露的工具:默认情况下交易是私密的,但用户可以在需要时透露特定信息。
TzEL 与纯粹理论练习的区别在于,它已经包括功能性汇总堆栈、钱包、桥接流程、证明基础设施以及直接在测试网上供开发人员使用的工具。
zk-STARK 证明的大小是需要解决的最重大的技术挑战之一:每笔交易可以达到 300KB,这个体积在许多网络的基础层上重复处理成本高昂或完全不可行。 TzEL 通过 Tezos 的数据可用性层(称为 DAL)及其汇总架构(旨在以更高的效率处理更大的数据量的基础设施)解决了这个问题。
该产品将通常以抽象术语描述的功能(可扩展性、模块化、数据可用性)转变为有形且可衡量的东西。 TzEL 仍然是实验性代码,不适合涉及实际价值的交易,但它在实践中展示了 Tezos 近年来构建的基础设施的实际用途。