找到约 15 条结果

文章 零知识证明 - 一种新型的Merkle树（Shrubs）

...GAS消耗应该不是168w，应该在40w左右。 如果使用Groth16零知识证明的话，大约需要不到50w的GAS（EIP1008情况下）。  值得一提的是，使用Groth16零知识证明，需要将...

文章 零知识证明 - 深入理解PlonK算法

...rguments of **K**nowledge的简称。PlonK算法，实现了Universal的零知识证明算法。所谓Universal，初始可信设置只需要一次，而且可以在原有基础上直接迭代。对Groth16熟悉的小伙伴都知道，Groth16的每一个电路都需要单独的可信设置(Trusted S...

文章 Protokit 是什么？

...ollups）的框架。使开发人员能够以最小的学习曲线构建零知识隐私保护应用程序。 该框架本身由[O1JS](https://www.npmjs.com/package/o1js)，用于构建 zkApps 的 SDK。得益于 O1JS，所有使用 Protokit 构建的应用程序在设计上都与 Mina 区块链...

文章 零知识证明 总结（超级概括版本）

...录，也算是对整个zkp逻辑做个梳理。 一段代码生成零知识证明可以分为代码变成多项式阶段，多项式生成承诺两个阶段。 **第一阶段，简单来说就是把代码转换成 a * b = c 三元算式的列表（就是写电路），然后套数据公式把...

文章 2023：L2 赛道爆发前夕，浅析各类 zkEVM

...爆发。 在 L2 扩容赛道中，具有极佳数据压缩性能的零知识证明扩容方案（ZK Rollups）已然被认为是以太坊的中长期核心方案。以太坊创始人 Vitalik 于 2022 年根据各家 ZK Rollups 与 EVM（Ethereum Virtual Machine）以太坊虚拟机的兼容性...

文章 Starknet 名称大揭秘：STARKWARE、STARKEx、Cairo 与 Starknet Foundation 的区别

...涌现。Starknet 作为以太坊的二层扩展方案，基于 STARK 零知识证明技术，正逐渐成为业内关注的焦点。为了更好地理解 Starknet 及其背后的技术和组织，我们需要深入了解与其相关的名称和概念。本文将重点介绍 STARKWARE、STARKEx、Ca...

文章 案例研究：通过ICICLE加速Zircuit的零知识证明

... Web3 应用程序的可扩展性和安全性。通过将 OP Stack 与零知识证明（Zero-Knowledge proofs, ZKPs）相结合，Zircuit 使交易处理和安全状态更新变得高效。此案例研究探讨了 Zircuit 如何集成 Ingonyama 的 [ICICLE](https://dev.ingonyama.com/icicle/overview)...

文章 zkTLS：可验证数据可组合性

...妥协安全性或功能性的情况下拆卸这些障碍呢？引入**零知识传输层安全（zkTLS）**——一种革命性的方法，将零知识证明集成到网络的基础协议中。zkTLS提供了一条道路，将用户从大科技公司使用的保留技术中解放出来，减轻用...

文章 掌握SP1 zkVM设计 - 第1部分：如何执行客户程序

...M 技术。这表明，三年前由 Risc0 发起的 zkVM 运动（通用零知识证明）正在蓬勃发展，逐渐成为区块链的支柱，为更广泛的应用，如 zkAI，迈出了坚实的第一步。 本文系列以 SP1 zkVM 为例，分析 zkVM 的原理、来宾程序的执行、零...

文章 零知识证明 - zkSNARK应用的Nullifier Hash攻击

早上很多朋友@我，安比实验室发表了一篇文章[zkSNARK的“输入假名”的攻击](https://learnblockchain.cn/2019/07/29/zkSNARK-wul/)。迅速看了看，很赞。这个攻击原理其实比较简单，但是，不深入理解zkSNARK以及使用场景的朋友确实很难发现和...

文章 zkVoting：基于零知识证明的抗胁迫和端到端可验证的电子投票系统

...a35a79c70eb2138842b74099fe9e6c\_1440w.png?source=d16d100b) ### 3\. 零知识证明  ### 4\. 成员证明 ![](https://picx.zhimg.com/80/v2-464fc996a0b3b4d49ba5bfaeced5e568\_1440w.png?source=d1...

文章 如何创建一个 ZK 智能合约

...com/@maurosbicego?utm_source=medium&utm_medium=referral) on Unsplash 零知识证明使*证明者(Prover)*能够向*验证者(Verifier)*证明某物的知识而不暴露该知识。例如，如果我们想证明我们已经解决了一个谜题，而又不透露解决方案，我们可以使用...

文章 zk-img：用零知识证明对抗深度伪造技术

...证明，必须以其他方式进行验证。最近的工作建议使用零知识证明来验证这些图像编辑，特别是 [ZK-SNARKs](https://z.cash/technology/zksnarks/)（零知识简洁非交互知识论证）。ZK-SNARKs 可以证明图像上的编辑是合法的。 不幸的是，[这项...

文章 以太坊Layer2扩容方案之Rollup

...营商对用户交易进行打包，生成打包批次 第二: 使用零知识证明（zk-SNARKs或zk-STARKs）算法生成一个证明，证明所有交易的有效性, 而无需公开具体交易数据 第三: 运行商将交易批次的状态根和零知识证明提交到以太坊主网的智...

文章 零知识证明 Learn by Coding：libsnark 入门篇

... 支撑并促进了 zk-SNARKs 技术的首次大规模应用，填补了零知识证明技术从最新理论到工程实现间的空缺。 希望通过本系列文章，所有开发者都能亲自上手实践，在短时间内迅速入门 libsnark，一步步了解 libsnark 的基本概念，学...