...0 进展更新：zkEVM 公共测试网上线** zkSync 是一个基于零知识证明密码学的以太坊扩容解决方案。根据其创始团队 Matter Labs 在文章 [“zkSync 2.0: Hello Ethereum!”](https://www.ethereum.cn/Technology/zksync-2-0-hello-ethereum) 中所介绍，zkSync 2.0 由...
...，状态在 HotShot 最终确认后将不会改变。桥接可以通过零知识证明或通过一个流动性提供者实现，后者简单地在一个 rollup 上接收资金并在另一个 rollup 上发送资金。最终性装置降低了流动性提供者的风险，不仅通过信号显示反...
...状态在 HotShot 最终确认后永远不会改变。桥接可以通过零知识证明或通过流动性提供者，流动性提供者简单接收一个 rollup 的资金并将其发送到另一个 rollup。最终确认工具不仅通过发出风险回溯较低的信号来降低流动性提供者的...
...lockchain.cn/attachments/2023/08/HJldNqO664e36f3b00c42.png) # 预备知识 ## non-native 椭圆曲线运算 我们一般说的non-native椭圆曲线运算指的是在电路中执行非当前电路field的椭圆曲线运算。 为什么会有【非当前电路field的椭圆曲...
...已成为重要的加密学构建块。特别是，配对用在流行的零知识证明协议中，能够启用各种应用。它们也是快速聚合 BLS 签名的关键成分。这些签名被以太坊使用，而高效的聚合是扩展到大量验证者的关键。 那么，配对是什么呢...
...含和链接库的处理，每一部分都进行了全面的解析。这些知识对于理解和优化 `Solidity` 智能合约至关重要，不仅有助于提升合约的性能，也有助于增强其安全性和可维护性。 尽管合约编译配置复杂，但在多数应用场景中，使...
...最感兴趣的”月亮数学“密码学技术有哪些？下一个与零知识证明家族一样具有革命性的事物是什么？ **基金会 Justin Drake 回复：** "你们最感兴趣的”月亮数学“密码学技术有哪些？" 如果你对”月亮数学“和以太坊的交...
...的人、政府，还是来自超级智能机器人），并确保我们有知识和资源去塑造我们自己的命运。这呼应了一个持续了几个世纪的古典自由主义传统，其中还包括了 Stewart Brand 在“[获取工具](https://www.moma.org/interactives/exhibitions/2011/Acc...
...ik](https://vitalik.ca/general/2019/09/22/plonk.html) [学习笔记 \| 零知识证明算法之PLONK — — 电路](https://www.8btc.com/media/6587859) [Halo2：原理剖析](https://zhuanlan.zhihu.com/p/385134321) [深入瞭解 zk-SNARKs](https://medium.com/taipei-ethereum-meetup/%E6%B7%B1%E5%8...
...了包含144条指令的zkWasm电路的形式化验证，首次完成了零知识证明生态系统中的全面形式化验证工作。我们还将研究拓展至去中心化物理基础设施网络（DePIN）领域，帮助项目如APhone和Aethir降低安全风险。此外，我们为[福布斯202...
...。这种做法的动机在于利用经过验证的策展人的行业专业知识来制作一个引人注目的基层注册者列表。 另一种方法可能是最初为 registry 的潜在消费者和候选人发放 registry tokens。这带给了原本不感兴趣的参与者以有形的益处，...
...系统，确保投票的完整性。这可能涉及使用加密技术、零知识证明或多重签名方案来增强安全性。确保代币的公平和去中心化分配，避免投票权集中在少数实体手中。考虑使用代币归属或锁定期等机制来阻止短期操纵行为。确保...
... 此外，许多 SNARK 应用涉及证明对椭圆曲线数字签名的知识。如果 SNARK 能够直接在适当的椭圆曲线组的 [基础域](https://zcash.github.io/halo2/background/curves.html) 上运行，这将极大提高效率，而 Jolt 使用曲线基础承诺正好可以做到（...
...点基础设施到 layer1 区块链网络如何工作，所有你需要的知识点。下一篇文章将介绍 layer2、互操作性和基于这篇文章所述的庞大的 dApp 生态系统。最后，最后一篇将涵盖链下环境和链上/链下通信。 ## Web3基础设施概述 我们...