...farcaster.xyz/)... 通过全知的大哥限制不良行为者 | 通过零知识证明约束不良行为者 在我发布那篇文章后，一些读者提醒我，这个堆栈中缺少的一个重要部分是**民主治理技术**：让人们集体做出决策的工具。这是中心化技术甚...
...的 Layer 2 解决方案，正吸引越来越多的开发者。它通过零知识证明（ZKP）大幅提高了交易效率和安全性。在 Starknet 中，Cairo 作为智能合约的编程语言，不仅提供了强大的功能，还保持了与 Rust 语言的相似性，方便开发者上手。...
...保承诺的多项式确实是低阶的。这种交互式证明系统在零知识证明中尤其重要，因为它允许在不暴露多项式本身的情况下，验证其性质。 ## 1.2 FRI基本原理 FRI基于Reed-Solomon编码和多项式评估，通过采样和折叠逐步减少多项式...
...原语，例如 **基于身份的加密** _(IBE)_ 和对于一些现代零知识证明至关重要的[工具](https://learnblockchain.cn/article/10783)。 当然，还有其他的。 而这就是简单部分的结束。  现在的...
...com/remyroy/ethstaker/blob/main/monitoring.md) ## Layer2 - [Hermez零知识EVM](https://blog.hermez.io/introducing-hermez-zkevm/) 路线图 - 使用StarkEx担保的无信任[L2到侧链桥](https://medium.com/starkware/a-trustless-sidechain-to-starkex-bridge-secured-by-ethereum-61e00f19f7e0)...
...去中心化的以太坊 L3 区块链； ￮ Zklink: 是一个基于零知识技术承载交易场景的多链 rollup 基础设施; ￮ Xdai: 利用 Arbitrum AnyTrust 实现下一代视频游戏的开放交易。 ### 3.2 **各 Layer3 的优逆势分析** • Arbitrum orbit: Arbitrum 推...
...实施更好的人类组织方法。如果我们能够积累起这种经验知识，我们就可以解决人类最大的阿喀琉斯之踵。 ### DAO 作为决策社区 自从以太坊诞生以来，链上 DAO 的概念引起了各种各样的兴趣。DAO 通常被比作互联网原生[企业](htt...
...御这些攻击的方法。读者可能需要掌握一些信标链的基础知识才能从本文中获得最大价值。此外，对信标链的激励层和分叉选择算法 LMD-GHOST 有一个基本的了解，也会对你有所帮助。 这些都是很大的话题。但我在下面...
...M 的执行。 这是使用由 Polygon zkEVM 团队专门开发的新的零知识汇编语言（或 zkASM）解释 EVM 字节码的地方。 它需要交易、新旧状态、Sequencer 的 ChainID等等作为输入。 还需要； - PIL，它是多项式列表，寄存器列表 - ROM，存储...
... STARK 的样子，以及 Python 中的实现。STARKs（"可扩展透明知识证明"）是一种生成证明的方法，证明形式为 f(x)=y，其中 f 的计算可能需要很长时间，但证明可以很快得到验证。一个 STARK 是 “双重可扩展”的：对于一个执行 t 步的...