> 一个人生命中最大的幸运，莫过于在他的人生中途，还年富力强的时候，发现了自己的使命。-- 茨威格 今天的这篇文章，是对之前的 [《Filecoin 系列10-搭建 Lotus 测试网集群挖矿》](http://www.r9it.com/20191217/lotus-cluster-mining.html) ...
...实在是太多了 —— **协议设计者想象力的局限、努力、知识或者时间**。设计一个依赖第三方的安全协议远比设计一个不依赖第三方的安全协议要容易得多（即，逃避问题比解决问题要简单得多）。在安全协议中，要减少对受信...
...进一步降低信任的最低限度并提高交易效率。通过利用ZK证明，能够将轻客户端验证逻辑编码到电路中，这将使得批量处理区块头的验证更加高效。我们之前简单介绍过区块头，但需要注意一个重要的点是，区块头中还包含前一...
...来提供基础设施。 这些实体将拥有当地法规方面的专业知识，并了解 TradFi 中的客户。 然而，“互操作性”层是需要“密码学专业知识”的地方。 随着稳定币在网络上扩展，发行人面临着复杂的挑战：来自易受攻击的桥梁的安...
...框架评估 CLOB 平台——**执行模型 → VM → 结算/共识 → 证明系统 → DA 层 → 排序器模型 → 关键差异化因素**——并为每个配置文件提供 **“它为什么能赢/它在哪里挣扎”**。 **脚注** 1. 这些数字由各个项目引用；请将其视...
...如一颗闪耀星辰，照亮了我的2024年。 ### **译著成书，知识沉淀新高度**： 年初，我决心翻译《高质量编写Rust》这本书，期望为国内Rust爱好者提供一份优质的学习资料。我在Rust技术社区发起了翻译项目，有幸得到众多志同道...
...l 原始版本的GKR 协议，掌握它的详尽执行过程。 # 预备知识 * 主要为前三个章节的内容 # 问题描述  给定一个电路结构，Prover 给定电路的输出，Verifi...
... Starknet 概述探讨了其 zk-STARK 创新、排序器（sequencer）和证明器（prover）的角色、Starknet 代币及其用例，重点介绍了以太坊生态系统中的 [Starknet staking](https://www.imperator.co/products/protocols/starknet) 等机会。 ## 什么是 Starknet？ St...
 ## **前言** 虚拟币投资者群体日益壮大，虚拟币盗窃犯罪高发，已成行业重大安全隐患。犯罪分子伪装主流交易平台、钱包官网，以钓鱼...
...OON Stack 开发者现在能直接访问 BNB Chain 稳定的社区，放大知识共享和 dApp 创造的机会。 ## 结论 通过 svmBNB Chain，继续推进我们推动区块链大众采用的整体使命，**将 Solana 应用于每个区块链**。这一新链是我们对创新承诺的证明...
...用更小的类型和 `abi.encodePacked` 来降低 calldata 成本（4 gas/零字节，16 gas/非零字节） - **Prefer** `calldata`：对于外部函数来说，它是 immutable 且零拷贝的 ## 2.4 内存管理 - **Minimize growth**：每个 32 字节的字花费 3 gas，在 724 字节...
...方法在电路中追踪这些跳转。一种方法需要添加操作码来证明一个操作码在一个累加器中。这会花费大量的约束，每步需要数千个约束。 为了克服这个问题，我们使用 plookup 允许证明者选择他们想要的任何操作码顺序。然后，...
...ereum 测试网已进入最后阶段！请根据我们的指南发起欺诈证明；为我们的 Layer-2 贡献安全性可获得奖励！如果你还是新人，可以查看我们的[测试网公告](https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiQovH-39PtAhWAHzQIHSzPDmM...
...章中讨论过的 **ERC165**。 简而言之，合约使用 ERC165 来证明它们实现了某个接口。 每个合约分别实现 ERC165，但是如果我们在区块链上部署一个合约并将其用作注册合约呢？ 这就是 ERC1820 使用的概念，即每个链都将拥有一...
...采用，区块的其余部分可以用传统方式构建。 结合实时证明（在某种合理的范围内），这可以实现理想的未来，即以太坊真正感觉像一条单一的链，其中 L1 和所有 L2 可以相互调用，并且每个 L2 都可以（但不需要）在每个 L1 区...