BVM团队推出零知识证明服务BitZK以扩展比特币网络

零知识证明四十年技术发展里程碑

本文对零知识证明技术近四十年的历史文献和最新研究都做了系统的综述。

金色百科 | 什么是零知识证明

零知识证明 (ZKP) 是一种加密方法，允许多方验证语句的真实性，而不会泄露语句本身以外的信息。许多区块链利用 ZKP 来提高涉及敏感数据的交互的安全性。

零知识证明的先进形式化验证：如何验证一条ZK指令

如何验证ZK指令的验证方式文章新鲜出炉！为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。

了解零知识证明历史

零知识证明并不是新鲜事物。定义、基础、重要定理甚至重要协议都是从 20 世纪 80 年代中期确立的。

零知识证明历久弥新创新涌现的原因是什么？

本文描述了 SNARK 自 20 世纪 80 年代中期推出以来的进步。

Variant：我们为何领投零知识证明市场L1 Gevulot

低成本、高性能的可靠zkp生成将成为开发人员的首要考虑因素。这就是为什么我们很激动地宣布，Variant领投了Gevulot的种子轮融资。

StarkNet 欢迎 ZKX：用零知识证明革新衍生品交易

在 StarkNet 上探索 ZKX 的开创性发布，其基于零知识证明的去中心化衍生品交易平台彻底改变了 DeFi 的格局。在我们的全面报道中，您将发现创新功能、以社区为重点的空投活动，以及安全高效交易的美好未来。

如何学习零知识证明

晚间必读5篇 | 探索零知识证明技术的革命性应用

探索零知识证明技术的革命性应用