...活动，探索了不断发展的网络威胁和区块链安全性的理论知识，以及以太坊为重点的实践课程和互动式训练营练习。 | | | 社区 & 教育 | Road to ETHPrague Meetups | [EthereumCzech](https://x.com/EthereumCzech) & [ETHPrague](https://x.com/EthPrague) | 在捷...
... 以太坊和 Solana 这两个领先的区块链平台都在探索使用零知识证明 (ZKP) 来解决这些问题。 𝙕𝙚𝙧𝙤-𝙆𝙣𝙤𝙬𝙡𝙚𝙙𝙜𝙚 𝙋𝙧𝙤𝙤𝙛𝙨 (𝙕𝙆𝙋𝙨) 𝙖𝙨 𝙖 𝘽𝙡𝙤𝙘𝙠𝙘𝙝𝙖𝙞𝙣 𝙎𝙘𝙖𝙡𝙞𝙣...
...价较高的操作。系统为这些操作同时提供了计算实现和零知识电路实现。 代码库遵循模块化架构，使用公共接口 (`PrecompilesProcessor`) 执行预编译操作，并为每个操作提供特定实现以及模块化的指数电路实现。每个预编译的实现...
... 这就是我们的神奇密码学发挥作用的地方，它使用了零知识证明。本节将有意省略实现细节，同时尝试保留验证过程的不同组件的直觉。考虑在 L2 上执行用户操作的具体示例，该示例需要使用密钥库 Rollup 进行验证过程。 在...
疫情在家，多看点代码。对于疫情也感慨几句，对于资深程序员，这么多年了还没有和家人在一起吃晚饭这么多天。老实讲，比平时公司附近晚上吃的好得多。上海停运了，连各种骚扰电话也少了。有空再翻了翻Zinc的设计和代...
...讨我们要使用的机制安全性所依赖的关键密码学假设：[*知识指数假设 (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...
...取序列器排序后的交易信息和状态信息。它们可以生成零知识证明，或聚合交易并整理证明细节，形成交易批处理哈希树。该树发送到数据可用性层进行备份，确保 Rollup 交易数据的可用性。 * 证明者的角色是为序列器提...
> even@安比实验室：前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值...
...们也可以利用native方法来完成自定义的一些功能，比如零知识证明、同态加密库等。 **如何解决停机问题** 参考以太坊的gas机制，按照指令粒度统计燃烧的gas，对于涉及到存储的指令，根据存储的数据大小增加gas比例。这样...
...拥有斯坦福大学计算机科学学位。他们结合了他们的专业知识来创建 Injective 并开发一个在可扩展性、互操作性和速度方面表现出色的区块链网络。目的是克服现有去中心化交易所的局限性。 自从 Injective 成立以来，它一直是...
...，需要一个专门的团队，具备手工打造定制 ZK 栈的专业知识。 这个复杂的过程就是我们构建 SP1 的原因：一个 100% 开源、可定制的 zkVM，其性能与定制电路具有竞争力。有了 SP1，任何 rollup 团队都可以用 Rust 构建一个 zkEVM，它...
...选择。ZK rollup 太难构建了，因为它们需要深厚的密码学知识和专业的工程技能。 交互式欺诈证明是过去的遗物。在这个框架中，rollup 通过多步骤的密码经济游戏来保护它们与 Ethereum 的桥梁，这引入了重大的挑战： - **高技术...
Aleo 是一个区块链平台，它利用零知识密码学来实现私有且可扩展的去中心化应用。Leo 是 Aleo 的核心，是一种专为开发私有应用程序量身定制的高级编程语言。Leo 允许开发人员专注于创建具有强大隐私性的应用程序，而无需考...
...私有”变量的幻觉，并使你掌握避免这种关键安全陷阱的知识。🔍 ## 隐私的海市蜃楼：在区块链上，一切都是公开的 👀 区块链就像一个透明的玻璃房子，每个房间都可以用合适的设备观察到。当开发者将变量声明为 `private` ...
... 可验证凭证可从三个方面解决这些问题： - 使用[零知识证明](https://101blockchains.com/zero-knowledge-proof/)来证明申领数据的有效性而不透露私人信息 - 使用公钥密码学来验证凭证发布机构 - 将索赔信息存储在可验证的数据注册...