...得在不彻底修改基本协议的情况下，很难轻易地将递归零知识证明添加到现有的Layer1项目。 **您是否需要一个可信的设置?** 不！Mina使用[Pickles SNARK](https://medium.com/minaprotocol/meet-pickles-snark-enabling-smart-contract-on-coda-protocol-7ede3b5...
...背后的原理。 路印交易所的每个账户都需要一个对零知识证明友好的EdDSA私钥（账户密钥）来对链下请求，也就是Layer-2请求，进行签名。我们的前端之前是根据用户的密码来生成这些账户密钥。正如StarkWare和其他朋友在推特...
...和完整节点的资源？ - 可证明性：VM 是否应该针对与零知识证明的集成进行优化，从而通过 zk-rollup 或 ZK 证明的 Layer 1 实现可验证的执行和无需信任的可扩展性？ - 开发者体验、人体工程学和安全性：以太坊如何改进语言工具...
**多变量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 ...
...的新课程的推出，Cyfrin Updraft 课程得到了重大扩展。 [零知识证明 (ZKP) 基础知识](https://updraft.cyfrin.io/courses/fundamentals-of-zero-knowledge-proofs) 提供了一个简洁的一小时零知识证明和隐私优先协议介绍，为学习者提供了该快速增长领...
...方式解决了这个问题： 1. **zk-rollups:** 承诺通过随附的零知识证明来证明是正确的。 2. **Optimistic rollups**: 承诺被乐观地接受，但验证者会检查它们，如果发现有承诺不正确，则会提交欺诈证明。在 optimistic rollups 的情况下，承诺...
...a056.png) **注意：** Validity Rollups 通常被错误地称为零知识汇总，但这并不准确。大多数 Validity Rollup 不使用 ZKP，也不用于确保隐私的目的。因此，术语“Validity Rollup”更准确。 ## 链下虚拟机 在继续之前，我们...
...合约，但其中一些语言（包括 Cairo）在能够支持构建 **零知识证明**方面是独特的。零知识证明 (ZKPs) 允许一方（“证明者”）向另一方（“验证者”）证明他们知道某个信息而无需泄露任何秘密信息。这对智能合约尤其有用，...
...名的数字投票的基本工具来增强公民社会的能力。利用零知识证明和区块链技术的最新进展，Vocdoni 协议转变为**专用 zkRollup** 系统，该系统继承了以太坊主网等结算层的网络安全性。该系统**完全依赖于加密证明**来确保完整性...
...算跟踪，而是转变成使用它们来实现一个通用的 SNARK 零知识证据验证器（这是 Robin 一开始就打算使用 BitVM 实现的核心元件之一）。不再将裸的输入传进裸的计算踪迹中、用一个又一个位于叶子脚本中的门来运行，BitVM 2 实例的...
...构建了一种基于BitVM解决方案的分层虚拟机技术。通过零知识证明和乐观执行机制，该技术支持任意类型的计算操作，并在比特币上验证计算的有效性。分层虚拟机技术使我们能够支持任何前端类型的智能合约，例如那些在EVM中...
...的关注。阅读本文，了解你需要的思维模式，以及使用零知识证明进行编程时需要注意的陷阱。 ## 背景 2017 年秋天我开始研究 Mina 协议时，在生产环境中使用零知识编写应用程序还非常罕见。然而，今天在加密/web3 领域，ZK 编...
...将实体护照变成区块链上的匿名数字身份。该协议使用零知识证明来验证你是否拥有有效的政府颁发的护照，而无需透露你的姓名、年龄、国籍或任何其他个人信息。 你只需通过移动应用程序创建一次你的数字身份，然后就...
...又不必暴露这个向量本身。 ## 动机 在讨论 Bulletproot 零知识证明技术的时候，人们常常这样说：“我们有两个向量，它们的内积（inner product）是 c。” 似乎这很普通，但实际上，你可以用这个机制来证明非常复杂的陈述（claim...