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

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

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

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

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

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

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

了解零知识证明历史

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

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

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

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

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

StarkNet Welcomes ZKX: Revolutionizing Derivatives Trading with Zero-Knowledge Proofs

Explore the groundbreaking launch of ZKX on StarkNet, revolutionizing the DeFi landscape with its zero-knowledge proof-based decentralized derivatives trading platform. Discover the innovative features, community-focused airdrop campaign, and the promising future of secure and efficient trading in our comprehensive coverage

如何学习零知识证明

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

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