原文链接：https://www.rareskills.io/post/set-theory 为什么要写这篇集合论教程？ 这篇文章的读者群体是那些除非有实际应用场景，否则对抽象数学没兴趣的人。他们只想掌握必要的知识，然后快速进入正题。这...
为了深入理解形式化验证技术是如何应用于zkVM（零知识虚拟机）之上的，本文将聚焦于单条指令的验证。关于ZKP（零知识证明）先进形式化验证的总体情况，请查阅我们同期发布的“零知识证明区块链的先进形式化验证”文章。 什么是ZK指令的验证？...
原文链接： https://www.rareskills.io/post/p-vs-np P = NP 问题问的是：“如果我们可以快速验证一个问题的解是否正确，我们是否也能快速计算出这个解？” 大多数研究人员相信答案是否定的，即 P...
作者：mutourend & lynndell 1. 引言 区别于基于椭圆曲线的SNARKs，可将STARKs看成是hash-based SNARKs。当前STARKs效率低下的一个主要原因是：实际程序中的大多数数值都较小，...
原文链接：https://vac.dev/rlog/zkVM-explorations 译者：AI翻译官，校对：翻译小组 本文永久链接：learnblockchain.cn/article… 介绍 区...
<!--StartFragment--> 在推特上看到了一篇对 Fermah 联合创始人兼 CEO Vanishree Rao 的采访，其中有两个问题值得关注： （1）零知识证明在区块链中的发展经历了三个重要阶段，从专用电路到...
<!--StartFragment--> 这是一篇论文解读：<!--StartFragment--> zkVoting : Zero-knowledge proof based coercion-resistan...
原文链接：vac.dev/rlog... 译者：AI翻译官，校对：翻译小组 本文链接：learnblockchain.cn/article… 介绍 在我们之前的博客文章中对 zkVM 的初步探索之后...
介绍 zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。 为...
原文链接：How to Implement a Minimalist NFT zkRollup 译文出自：登链翻译计划 译者：翻译小组 ，校对：Tiny 熊 本文永久链接：learnblockchain.cn...
区块链技术网
