...价较高的操作。系统为这些操作同时提供了计算实现和零知识电路实现。 代码库遵循模块化架构，使用公共接口 (`PrecompilesProcessor`) 执行预编译操作，并为每个操作提供特定实现以及模块化的指数电路实现。每个预编译的实现...
... 这就是我们的神奇密码学发挥作用的地方，它使用了零知识证明。本节将有意省略实现细节，同时尝试保留验证过程的不同组件的直觉。考虑在 L2 上执行用户操作的具体示例，该示例需要使用密钥库 Rollup 进行验证过程。 在...
...绍 高效的 [zk-SNARKs](https://learnblockchain.cn/article/22822/)（零知识简洁非交互式知识论证）的使用催生了许多新的和重要的应用。例如，我们可以将**昂贵**的[计算委托](https://learnblockchain.cn/article/22823/)给不受信任的服务器，并收到...
...讨我们要使用的机制安全性所依赖的关键密码学假设：[*知识指数假设 (Knowledge-of-Exponent)*](https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=0ahUKEwjz1-Ht7-vRAhVEr1QKHfvtAKIQFggaMAA&url=https%3A%2F%2Fwww.iacr.org%2Farchive%2Fcrypto2004%2F3...
...。 **2.2.2 zkEVM** zk-rollup 是一种 rollup 网络，它通过零知识证明（ZKP）来证明执行的有效性。 然而，EVM 最初并非以零知识技术为设计理念。 因此，为 EVM 执行生成 ZKP 非常具有挑战性。 换句话说，实现与 EVM 兼容的 zk-rollup 在...
...大进展。 对于 zkID，我们发布了 zkID 论文的初稿，将零知识支持集成到 Spartan2 中，并实现了重新随机化的承诺以及设备绑定密钥提取器电路。我们还探索了内存优化策略以提高性能。 在 zkPDF 方面，我们发布了我们的第一个...
> even@安比实验室：前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值...
...们也可以利用native方法来完成自定义的一些功能，比如零知识证明、同态加密库等。 **如何解决停机问题** 参考以太坊的gas机制，按照指令粒度统计燃烧的gas，对于涉及到存储的指令，根据存储的数据大小增加gas比例。这样...
...取序列器排序后的交易信息和状态信息。它们可以生成零知识证明，或聚合交易并整理证明细节，形成交易批处理哈希树。该树发送到数据可用性层进行备份，确保 Rollup 交易数据的可用性。 * 证明者的角色是为序列器提...
...数据进行插值。 例如，可以插值丢失的音频数据。 - 零知识证明：大部分计算都表示为多项式。 验证者不验证每个点，而只从多项式中抽样点。 感谢 [Schwartz-Zippel 引理](https://medium.com/@laurippeltonen/schwartz-zippel-lemma-for-iq-200-50ca2ecb...
...拥有斯坦福大学计算机科学学位。他们结合了他们的专业知识来创建 Injective 并开发一个在可扩展性、互操作性和速度方面表现出色的区块链网络。目的是克服现有去中心化交易所的局限性。 自从 Injective 成立以来，它一直是...
...，需要一个专门的团队，具备手工打造定制 ZK 栈的专业知识。 这个复杂的过程就是我们构建 SP1 的原因：一个 100% 开源、可定制的 zkVM，其性能与定制电路具有竞争力。有了 SP1，任何 rollup 团队都可以用 Rust 构建一个 zkEVM，它...
Aleo 是一个区块链平台，它利用零知识密码学来实现私有且可扩展的去中心化应用。Leo 是 Aleo 的核心，是一种专为开发私有应用程序量身定制的高级编程语言。Leo 允许开发人员专注于创建具有强大隐私性的应用程序，而无需考...
...私有”变量的幻觉，并使你掌握避免这种关键安全陷阱的知识。🔍 ## 隐私的海市蜃楼：在区块链上，一切都是公开的 👀 区块链就像一个透明的玻璃房子，每个房间都可以用合适的设备观察到。当开发者将变量声明为 `private` ...
... 以太坊和 Solana 这两个领先的区块链平台都在探索使用零知识证明 (ZKP) 来解决这些问题。 𝙕𝙚𝙧𝙤-𝙆𝙣𝙤𝙬𝙡𝙚𝙙𝙜𝙚 𝙋𝙧𝙤𝙤𝙛𝙨 (𝙕𝙆𝙋𝙨) 𝙖𝙨 𝙖 𝘽𝙡𝙤𝙘𝙠𝙘𝙝𝙖𝙞𝙣 𝙎𝙘𝙖𝙡𝙞𝙣...