...间戳 00:46 Zhang Ye 介绍 01:27 Leo Fan 介绍 02:45 解释零知识证明 05:27 zk-Rollup 中使用的 zk 电路是什么？ 07:05 ZK 电路与硬件加速之间有关联吗？ 09:10 硬件加速是在加速什么？ 12:16 Prover 在 zk-Rollup 中扮演什么角色？ 14:...
... 以太坊和 Solana 这两个领先的区块链平台都在探索使用零知识证明 (ZKP) 来解决这些问题。 𝙕𝙚𝙧𝙤-𝙆𝙣𝙤𝙬𝙡𝙚𝙙𝙜𝙚 𝙋𝙧𝙤𝙤𝙛𝙨 (𝙕𝙆𝙋𝙨) 𝙖𝙨 𝙖 𝘽𝙡𝙤𝙘𝙠𝙘𝙝𝙖𝙞𝙣 𝙎𝙘𝙖𝙡𝙞𝙣...
...。 **2.2.2 zkEVM** zk-rollup 是一种 rollup 网络，它通过零知识证明（ZKP）来证明执行的有效性。 然而，EVM 最初并非以零知识技术为设计理念。 因此，为 EVM 执行生成 ZKP 非常具有挑战性。 换句话说，实现与 EVM 兼容的 zk-rollup 在...
...1. 资金发送方生成一个适配器签名（只需要用到有关 T 的知识） 2. 接收方验证这个适配器签名 3. 接收方使用秘密值 t 来补完这个适配器签名，并使用这个完整的签名 4. 发送方取完整的签名与适配器签名的差值，获得秘密值 t ...
...了这种签名方案；最终，使用什么由你来决定。 ## 零知识证明 [_零知识证明_](https://en.wikipedia.org/wiki/Zero-knowledge_proof)（简称_ZKPs_）在过去几年成为热门话题。它们并不是什么新发现，但由于其性质以及可以利用它们做的酷...
...活动，探索了不断发展的网络威胁和区块链安全性的理论知识，以及以太坊为重点的实践课程和互动式训练营练习。 | | | 社区 & 教育 | Road to ETHPrague Meetups | [EthereumCzech](https://x.com/EthereumCzech) & [ETHPrague](https://x.com/EthPrague) | 在捷...
...讨我们要使用的机制安全性所依赖的关键密码学假设：[*知识指数假设 (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...
...们也可以利用native方法来完成自定义的一些功能，比如零知识证明、同态加密库等。 **如何解决停机问题** 参考以太坊的gas机制，按照指令粒度统计燃烧的gas，对于涉及到存储的指令，根据存储的数据大小增加gas比例。这样...
...取序列器排序后的交易信息和状态信息。它们可以生成零知识证明，或聚合交易并整理证明细节，形成交易批处理哈希树。该树发送到数据可用性层进行备份，确保 Rollup 交易数据的可用性。 * 证明者的角色是为序列器提...
疫情在家，多看点代码。对于疫情也感慨几句，对于资深程序员，这么多年了还没有和家人在一起吃晚饭这么多天。老实讲，比平时公司附近晚上吃的好得多。上海停运了，连各种骚扰电话也少了。有空再翻了翻Zinc的设计和代...
...价较高的操作。系统为这些操作同时提供了计算实现和零知识电路实现。 代码库遵循模块化架构，使用公共接口 (`PrecompilesProcessor`) 执行预编译操作，并为每个操作提供特定实现以及模块化的指数电路实现。每个预编译的实现...
> even@安比实验室：前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值...
...1)。 STARK Prover 是 StarkWare 生态系统的核心，为计算生成零知识证明。 自 2020 年以来，构建在 StarkEx 引擎上的产品，如 Immutable X、Sorare 和 dYdX，一直在使用 STARK Prover。 开源 STARK Prover 有望增强透明度并提高抵御漏洞的稳健性，因...
...私有”变量的幻觉，并使你掌握避免这种关键安全陷阱的知识。🔍 ## 隐私的海市蜃楼：在区块链上，一切都是公开的 👀 区块链就像一个透明的玻璃房子，每个房间都可以用合适的设备观察到。当开发者将变量声明为 `private` ...
Aleo 是一个区块链平台，它利用零知识密码学来实现私有且可扩展的去中心化应用。Leo 是 Aleo 的核心，是一种专为开发私有应用程序量身定制的高级编程语言。Leo 允许开发人员专注于创建具有强大隐私性的应用程序，而无需考...