...是完全 Ethereum-equivalent 的，而 Type 4（例如，zkSync）产生证明的效率最高。所有其他类型（Type 2，Type 2.5，Type 3）都介于这两个极端情况之间。 大多数 ZK-EVM 最初是 Type 3 或 Type 2.5，发布了一些转向 Type 1 甚至至少 Type 2 的意图，...
...模型中的 7 天挑战期，一个乐观 rollup 不能在不等待欺诈证明窗口结束的情况下验证另一个的状态。因此，现有的跨 rollup 桥接和互操作性设计（任意消息传递）在本质上是中心化和异步的。 已提出共享、去中心化的排序器集...
...ubstrate 区块链应用也并非一个低门槛的工作，缺乏必备的知识将让人一头雾水摸不着头脑。 鉴于此，本文将作为一篇“过渡文章”，谈谈开发前的准备工作。至于实际的开发示例，将放在本系列的第三篇。 总的来讲，本文...
...303.jpg) 验证者验证一个区块后，会通过发布一个签名来证明。其他所有节点都只需要验证10000个签名，而不是验证100个完整区块，这样会减少很多工作量，特别是应用了BLS签名聚合技术之后。每个区块的广播无需通过同一个P2P...
...问题（即将上线的以太坊2.0，就希望通过分片技术、权益证明、新虚拟机三大技术解决这一问题）；而作为一种由加密货币驱动、构建于IPFS协议之上的分布式存储网络，Filecoin或将使“三元悖论”成为可能。 **1）够安全的存...
...保证。 到目前为止，模块账户安全有两种新兴方法：**证明注册表**和模块**权限系统**。尚未深入探讨的替代方法包括断路器或基于链下监控的交易联合签名。后者的一个例子是 [Argent Shield](https://docs.argent.xyz/starknet/aa-use-cases/co...
内存检查在zkVM中，用于使证明者能够向验证者证明读/写内存的操作是正确的。在内存系统中，值 $v$ 可以被写入地址 $a$，随后程序可以通过地址 $a$ 检索值 $v$。该技术允许验证者高效地确认证明者遵守了内存的规则（即，任何...
... ## Calldata的成本 以太坊对每个字节的calldata收费，对零字节收费`Gtxdatazero`，对非零字节收费`Gtxdatanonzero`，分别为4 gas和16 gas，如黄皮书所示： 的演示 * [Verkle 证明是否于 ZK更友好](https://hackmd.io/@dlubarov/B1rVbPgb0)？Daniel Lubarov 说这看情况 ## 中心化监控：威胁你 ETH 价值 * **🚨** [**Lido 占 28.69%**](https://dune.com/hildobby/eth2-staking) *...
...并没有任何公钥的信息。没办法只能去恶补一下加密理论知识了。 ## 椭圆曲线公私钥 我们知道以太坊账号使用的椭圆曲线方程是secp256k1，它长这样 ``` y² = x³ + 7 ``` Ecc加密理论中私钥其实是一个随机大整数，假设是d...
...low 通过消除 Solana 的几个遗留组件来简化共识，包括历史证明、Tower BFT 和基于 gossip 的投票传播。Alpenglow 引入了 400 毫秒的固定区块时间来代替历史证明，这与拥有全局同步区块**并不**相同，目的是协调整个网络的时序。 - 该...