...总”一批交易并在链下（即不在 EVM 上）执行它们。 零知识证明可以通过密码学来证明这些交易发生的结果，并发送有效性证明以完成区块链上的交易。 ## **在Scroll zkEVM上创建智能合约** 首先，前往您的 thirdweb ...
...能合约！在下一个版本中，我们将为输入和新类型添加零知识证明。敬请关注！ ### 其他链接 - 给 [fhEVM Github 仓库](http://github.com/zama-ai/fhevm) 加星以支持我们的工作。 - 阅读 [fhEVM 文档](https://docs.zama.ai/fhevm/v/latest)。 - 在我...
...的原则。 在此之前，业界先驱Filecoin提出过使用VDF和零知识证明的算法实现的复制证明。相比，我们的算法实现起来非常的简单，并且可以运行在超低规格的服务器上，比如树莓派。 除此以外，EPoW可以在复制数据的同时也...
...-f6d558cea649)简介：本文是Vitalik写于2016年12月，用于介绍零知识证明的数学实现方式的论文。文章思路清晰，通俗易懂，也因此，该文成为区块链行业技术人员学习这方面知识的首选文章之一。 翻译引用 作者：JackyGu 链接：[htt...
...的兴趣和发展。作为一家硬件公司，Ingonyama 致力于为零知识社区树立新的标杆，ZKAA 也不例外！下一次再见 🇹🇭 ## 关注 Ingonyama Twitter: [https://twitter.com/Ingo\_zk](https://twitter.com/Ingo_zk) YouTube: [https://www.youtube.com/@ingo\_zk](https://www....
...是比较高的，但是仅仅利用链上的智能合约来验证一个零知识证明的 PROOF 是否正确，成本是相对低很多的。另外必要的转账信息也会被和证明一起提交到合约，方便用户查账。 ## **两类角色** zkRollup 系统中包含两类角色：tr...
...sen 和 Poseidon 以太坊正在快速发展，我们现在可以创建零知识证明 (ZKP) 来证明交易，而无需泄露私人信息。这些通常是 SNARK、STARK 和 Bulletproof，这些方法可以有效地将交易添加到区块链上，并且不需要大量的检查。但是，我们...
... 投票选项作为 OT 的输入消息，选民选择其一并生成零知识证明。合约验证证明的有效性并统计结果，全程不关联选民身份与投票内容；DAO 治理中隐藏代币持有者的投票倾向，防止贿选或胁迫。 3. 合规数据共享与医疗记录访...
... Evaluation (VOLE)** 创建有效的承诺，通常称为基于 VOLE 的零知识证明 (**VOLE-ZK**)。具体而言，除了使用 **SoftSpokenOT** 进行 Oblivious Transfer (OT) 之外，zkPass 协议的安全完整性与 [**VOLE-in-the-Head (VOLEitH)**](https://eprint.iacr.org/2023/996) 技术的...
...，旨在增强密码学家实现高级算法和协议的能力——从零知识证明 (ZKPs) 开始——具有卓越的性能和易用性。它标志着朝着与硬件无关的密码学解决方案迈出的重要一步，确保在各种硬件平台上实现无缝兼容，且切换成本为零。 ...
...约逻辑。不仅所需语言的语法复杂，而且这样做还需要零知识证明方面的极强专业知识。 - 其次，当前的 zk-Rollup 不支持可组合性[1]。这意味着不同的 zk-Rollup 应用程序无法在 Layer 2 中相互交互。这种性质会严重损害 DeFi 应用程...
...现在所谓的vApp中。 - vApp是一种通过利用可验证计算、零知识虚拟机、模块化架构和集成的SDK，将Web3应用程序扩展到互联网级别的方法。这有助于降低开发者和用户的入门门槛，并允许创建可以与各种区块链无缝连接的应用程...
...承诺中重要的成员--多项式承诺诺！ 多项式承诺诺在零知识证明中应用比较广泛，且有多种形式。本文介绍Kate版本的多项式承诺。 ## 何为多项式 ### 多项式 首先我们需要知道什么是多项式？这个比较简单，以单变量多...
...我们将详细介绍 Jolt 实际是如何工作的。 Jolt 是一个零知识虚拟机 (zkVM)，专为 RISC-V 架构设计，由 a16z 开发。它采用 Lasso 查找参数来证明 VM 执行的正确性。虽然 Jolt 经常被誉为最简单的 zkVM，但它是一个相对较新的协议，对其...
...注意不是indistinguishability！）不足以建立非交互式论证的知识可靠性和零知识性。通过白盒分析duplex sponge的内部结构获得紧致的安全界，避免了黑箱组合带来的松散性。这提醒研究者在依赖组合定理时需要谨慎评估安全性损失。...