...uMyOg) **_Norbert Vadas_ \| Gevulot** - [Zero-Knowledge in a Nutshell（零知识简而言之）](https://www.youtube.com/watch?v=AimRkPVTs2M) **_Lisa Akselrod_ \| Aztec** - [The Aleo Advantage（Aleo 的优势）](https://www.youtube.com/watch?v=fKR26w0NMHk) **_ZK Lim_ \| Aleo** - [ZK Chains：为...
...//learnblockchain.cn/article/10487)、稳定币 - DeFi、DAO、NFT - [零知识](https://learnblockchain.cn/article/13802) ZK ### 2\. 最佳互动式 Solidity 开发课程：Alchemy University **价格：** 免费 **级别：** 初级到中级 ，突出了它们的功能和用例。 - 最近，zkVM（零知识虚拟机）取得了进展，它在区块链中提供了增强的隐私性、安全性以及可扩展性。 - 关于最终的想法，Wasm VM 具有强大的潜力，VM 的使用案例数量不断增加以适应应...
...露在环中。且在目前的公有链市场上，与环签名相比，零知识证明依然是最佳的匿名方案之一。 BTW，关于环签名还有一个有趣的历史故事，最早可以追溯到十七世纪的法国。相传，法国群臣向国王提意见的时候，为了不让国...
## ZK Bulletproofs 简介 Bulletproofs 是一种零知识内积论证，它使证明者能够说服验证者他们正确计算了内积。也就是说，证明者有两个向量 $\mathbf{a} = [a_1, a_2, \dots, a_n]$ 和 $\mathbf{b} = [b_1, b_2, \dots, b_n]$，并且他们计算了 $v = \langle\ma...
## 引言 在加密协议领域，特别是涉及零知识证明（ZKP）的协议中，计算的效率和复杂性是非常重要的。秩-1约束系统（R1CS）在这一背景下发挥着关键作用，作为构造和解决基于约束问题的基础。处理R1CS的一个关键方面是约束的...
...一个区块时间内，生成PoST证明。PoST证明生成，涉及K次零知识证明（zk-SNARK）的证明计算，相当来说，计算时间较长。通过GPU加速，可以缩短PoST证明的时间。 ## 总结： Filecoin采用了新的节点选举算法，在区块生成时，必须...
...生活，数字资产、数字签名等新概念层出不穷。Cobo 密码知识讲堂计划推出以“门限签名”为主题的系列科普文章，旨在以深入浅出的方式，带领读者了解数字签名中门限签名的技术本质和应用原理。该系列科普文章每一篇内容...
**多变量Sumcheck协议**是零知识证明中 PIOP（Polynomial IOP）框架的重要组成部分，主要用于证明如下等式的正确性： $$ c = \sum_{\vec{X} \in \{0,1\}^n} f(X_1, \ldots, X_n) $$ 其中，$c$ 是求和结果，$X_1, \dots, X_n$ 是 $d$ 个变量，每个取值为 0 ...
...睹的所有基础设施限制：L2扩展、数据可用性（DA）、零知识虚拟机（zkVM）等等。但其中最显著的可能是能够在Web3 dApp上大规模使用Web2数据。 过去几年里，我们从头开始重建了Web，这非常棒。然而，加密用户仍然不到Web用户...
...rt 漏洞最早是由 Trail of Bits 团队命名的。“Frozen”代表零知识证明的铸造，而“Heart”则表明 Fiat-Shamir 转换是许多证明系统的核心。该漏洞指的是使用“弱 Fiat-Shamir”转换。在这种情况下，只对证明者的消息的部分进行了哈希，...
By [Cairo](https://x.com/cairoeth?ref=blog.succinct.xyz) / Succinct Residency 2024 以太坊虚拟机（EVM）是以太坊的计算核心。它使开发者能够构建任何人都可以访问的去中心化应用程序。即将到来的EVM更新之一是变革性的：EVM对象格式（EOF）升...