...存（由大节点保存），每秒可处理 18000 笔交易 * 使用零知识证明、搭配链下数据的方案[被命名为 “Validium”](https://twitter.com/VitalikButerin/status/1267455602764251138) * [zk rollup（数据放在链上）与 Deversifi 的 Validum（数据放在链下）有...
...算法 Poseidon 是一种现代加密哈希函数，设计用于零知识证明（Zero-Knowledge Proofs, ZKPs）等高级密码学应用。它由研究人员 Benedikt Bunz, Dario Fiore, Iddo Bentov, and Pavel Vasin 等人设计。Poseidon 的设计目标是提供一种高效且安全的哈...
...er 是一种基于账户的、无信任的扩展协议，通过简洁的零知识证明确保安全。类似于 zk 家族中的其他扩展技术（如 zkRollup 和 Validium），zkPorter 的计算在扩展性上呈指数级增长：**可以在大约 **恒定成本** 下验证任意数量的交易**...
...，即 P ≠ NP。 通过理解 P vs NP 问题，我们可以看到零知识证明（ZKP）如何融入计算机科学的更大领域，并理解 ZKP 能做什么和不能做什么。 将零知识证明与 P vs NP 问题联系起来，能够更容易地“领会”零知识证明的概念。 ...
...的证明者总是胜出的情况。 - 步骤1：提交第T个区块的零知识证明的哈希 - 从第T+11个区块开始，不再允许新的证明者提交哈希。 - 步骤2：提交零知识证明 - 在第T+11个区块之后，任何证明者都可以提交零知识证明。如果至...
... WL：White List，白名单。 ## Z zk：zero-knowledge proof，零知识证明，可以证明一个人拥有某个秘密，但不用泄露秘密本身。 原文： https://github.com/WTFAcademy/WTF-gm
...验证项目。我们花费了大量时间和精力投入研发创新的零知识证明，提升了证明创建速度并减少对内存的占用，并将 DECO 从理论研究推进到了 alpha 测试阶段。在未来，我们计划将 DECO 的核心零知识引擎开源，让整个研究社区可...
在本文中，我们讨论如何在StarkWare的新零知识证明系统Stwo中实现递归证明验证。通过添加递归证明验证，Stwo可以验证“无限”计算，并为开发人员提供了提供者和验证者效率之间灵活选择的机会。我们的最终目标是使验证者的...
...ipt](https://docs.rs/risc0-zkvm/*/risc0_zkvm/struct.Receipt.html) 基于零知识加密技术领域的几项最新进展。 该证明系统基于 [STARK](https://github.com/risc0/risc0/blob/main/website/docs/reference-docs/about-starks.md)，实现 [DEEP-ALI & FRI](https://github.com/risc0/risc0/bl...
...？** Ingonyama 是一家下一代硬件加速公司，致力于普及零知识（ZK）证明的使用，并推进隐私增强技术。 [**ICICLE**](https://dev.ingonyama.com/icicle/overview) 是我们的旗舰产品 —— 一个为密码学家设计的新的数学库，它以卓越的用户体...
...约代码的执行、gas 记账、内存和状态。众所周知，在零知识（ZK）中执行和证明它非常困难。在过去的几年里，Buterin 和其他研究人员一直在探索创建 ZK 友好的 EVM 版本的方法，称为 ZKEVM。 _**（有关 ZK、ZKEVM 及其对扩展的好处...
...区别在于，前者是在链上计算的。有效性证明（也称为零知识证明）是在链下计算的（即在 rollup 上），并在以太坊上进行验证。 正如我们在比较不同 [类型的零知识证明](https://learnblockchain.cn/article/5276) 的文章中所解释的那样...