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