探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏
探索 ZK 框架：用 5 种不同的 ZK 语言实现的 Mastermind 游戏
- Veridise
- 发布于 2024-11-14
- 阅读 ( 212 )
- ( 8 )
Veridise
ZKM
zksecurity
Vac.dev
在web3摘不拿拿
通用的ZK证明生成层 Fermah
在推特上看到了一篇对Fermah联合创始人兼CEOVanishreeRao的采访，其中有两个问题值得关注：（1）零知识证明在区块链中的发展经历了三个重要阶段；（2）ZK领域当前最紧迫的两个挑战。
- 在web3摘不拿拿
- 发布于 2024-11-04
- 阅读 ( 329 )
- ( 11 )
探索 zkVMs：哪些项目真正符合零知识虚拟机的标准？
探索市面上的 zkVMs：哪些项目真正符合零知识虚拟机的标准？
- Vac.dev
- 发布于 2024-10-25
- 阅读 ( 518 )
- ( 35 )
Bitlayer Labs
P vs NP 及其在零知识证明中的应用
RareSkills 的 Zero Knowledge Proofs 系列文章之《P vs NP 及其在零知识证明中的应用》。
- 0xE
- 发布于 2024-10-15
- 阅读 ( 573 )
- ( 8 )
0xE
零知识证明的先进形式化验证：如何验证一条ZK指令
CertiK 安全知识分享为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。
- CertiK
- 发布于 2024-10-11
- 阅读 ( 491 )
- ( 27 )
CertiK
为程序员准备的基础集合论
RareSkills 的 Zero Knowledge Proofs 系列文章之一，介绍了集合论的基础知识。翻译的过程中完成了其中的练习题。
- 0xE
- 发布于 2024-10-11
- 阅读 ( 699 )
- ( 32 )
区块链隐私技术的未来
区块链隐私技术些技术有： 零知识证明（ZK）、多方计算（MPC）、全同态加密（FHE）和可信执行环境（TEE）, 他们分布在六个关键指标的表现。
- Hack VC
- 发布于 2024-10-11
- 阅读 ( 728 )
- ( 28 )
Hack VC
杜满想Elvin
Leo
