...背后的原理。 路印交易所的每个账户都需要一个对零知识证明友好的EdDSA私钥（账户密钥）来对链下请求，也就是Layer-2请求，进行签名。我们的前端之前是根据用户的密码来生成这些账户密钥。正如StarkWare和其他朋友在推特...
...得在不彻底修改基本协议的情况下，很难轻易地将递归零知识证明添加到现有的Layer1项目。 **您是否需要一个可信的设置?** 不！Mina使用[Pickles SNARK](https://medium.com/minaprotocol/meet-pickles-snark-enabling-smart-contract-on-coda-protocol-7ede3b5...
...方式解决了这个问题： 1. **zk-rollups:** 承诺通过随附的零知识证明来证明是正确的。 2. **Optimistic rollups**: 承诺被乐观地接受，但验证者会检查它们，如果发现有承诺不正确，则会提交欺诈证明。在 optimistic rollups 的情况下，承诺...
...么抽取144个节点的路径，是因为全部node的路径生成的零知识证明的电路太大了。 > 7. commit 2 > 对c1得到路径，p1的步骤等计算零知识证明压缩，然后发送provcommit消息上链。因为每个sector都发送消息的话，费用比较高，所以支持...
...的用户无法获得与主链可比的安全保证。 ## 新希望：零知识证明 我们工作的灵感来自于近年来取得巨大进展的技术： [零知识证明](https://en.wikipedia.org/wiki/Zero-knowledge_proof) (ZKP)。这是一类巧妙的数学技术，具有多种属性，其中...
...视频中，Yu Feng教授讨论了如何通过形式化方法来确保零知识电路（ZK circuit）的安全性。他强调了区块链软件中的漏洞可能导致严重的安全问题，尤其是在智能合约和零知识证明等层面。教授提到了一些具体的案例，例如闪电贷...
...构建了一种基于BitVM解决方案的分层虚拟机技术。通过零知识证明和乐观执行机制，该技术支持任意类型的计算操作，并在比特币上验证计算的有效性。分层虚拟机技术使我们能够支持任何前端类型的智能合约，例如那些在EVM中...
...合约，但其中一些语言（包括 Cairo）在能够支持构建 **零知识证明**方面是独特的。零知识证明 (ZKPs) 允许一方（“证明者”）向另一方（“验证者”）证明他们知道某个信息而无需泄露任何秘密信息。这对智能合约尤其有用，...
...看到最终结果，而不会看到其他公司的收入。 虽然零知识证明（ [ZKPs](https://learnblockchain.cn/article/13802)）和多方计算 (MPC) 都属于隐私保护加密，但它们的目标不同。ZKPs 允许一方证明对秘密的知识而不揭示它（例如，通过在不...
...区块链上披露实际数字。虽然解决这个问题不一定需要零知识证明，但我们将在这个示例中利用它们，以保持简单并增强理解。 让我们 dive 进入代码，或者[跳过](https://github.com/RareSkills/blog/blob/prod/zk-addition-dapp-with-noir-and-nextjs/...
...9#what-is-a-zero-knowledge-blockchain-rollup) 有基本了解。 - 对 [零知识证明](https://learnblockchain.cn/article/13802) 有较高层次的理解。 ### 欺诈证明和有效性证明是什么 欺诈证明和有效性证明是用于确保 [第二层](https://learnblockchain.cn/artic...
...数据和验证数据正确性的证明上传至 L1，其中证明通过零知识证明电路计算而来。   ...
... Evaluation (VOLE)** 创建有效的承诺，通常称为基于 VOLE 的零知识证明 (**VOLE-ZK**)。具体而言，除了使用 **SoftSpokenOT** 进行 Oblivious Transfer (OT) 之外，zkPass 协议的安全完整性与 [**VOLE-in-the-Head (VOLEitH)**](https://eprint.iacr.org/2023/996) 技术的...
...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：为...
...伴应该知道，这些协议的基础就是多项式承诺。 **[零知识证明 - Plookup算法介绍](https://learnblockchain.cn/article/2786) ** **[零知识证明 - 深入理解PlonK算法](https://learnblockchain.cn/article/2180) ** ## uVM的整体框架 uVM由如下的模块组...