...具（如 [Certora Prover](https://www.certora.com/#About)）进行静态证明。 Notional Finance 团队编写并在其代码中检查的不变量不幸地没有描述开发者所设想的属性。由于逻辑错误，该不变量是**空洞的**，即没有办法违反它。因此，它在 Certo...
... 10 倍或更多。 09.(15:15) 为什么 LLM 还没有利用它们的所有知识来进行新的发现？Scott 回应说，人类也无法做到这一点。我们知道很多事情，但我们不会将它们联系起来，直到问题摆在你面前。Dwarkesh 反驳说，人类有时完全会做这...
## 实时证明已到来 上周，Succinct 宣布他们实现了实时证明：  我们应该将此视为一个了不起的成功，以及以太坊在 ZK 上下的大赌...
...usenix.org/system/files/usenixsecurity24-zhang-mingfei.pdf) 是最近针对证明激励的一种攻击。楼梯攻击旨在使诚实验证者遭受惩罚，即使他们在 Capella 升级后的同步网络中严格遵守协议。在楼梯攻击中，拜占庭验证者扣留他们的证明，以防止...
...些项目专注于各种效用和市场领域。这些包括游戏、[零知识](https://learnblockchain.cn/article/20593) 和隐私、[去中心化物理基础设施网络 (DePINs)](https://cointelegraph.com/news/depin-will-become-one-of-this-decade-s-most-important-crypto-investments)、去中心...
...队，这些团队在区块链和相关领域具有可靠的历史和专业知识。虚假 token 经常隐藏其开发人员和运营商。 2. **检查白皮书（Examine the White Paper）：** 真正的 token 通常会准备充分的白皮书，其中概述了项目的目的、其运作方式、t...
...供不可篡改和伪造机制，我们可以用近乎零成本的方式去证明一枚代币的真伪，并对产生这枚代币需要耗费的能源的价值达成共识，这个共识的成本极低。这个时候通过 PoW 产生的代币具有了储藏价值的资产属性，当我们基于代...
...系统(GR1CS)设计, 其核心流程可分为**Setup(参数生成), Prove(证明生成), Verify(证明验证)** 三个阶段, 具体步骤如下: ### **1. Setup** 生成公共参数, 供证明者和验证者后续使用, 依赖电路特定的可信设置(Trusted Setup). **输入**: GR1CS...
...都就账本状态达成共识，数字稀缺性就有了保障。 事实证明，达成共识是一项艰巨的任务。网络状况不佳会产生不同版本的历史。数据包也有可能出现丢失或传输顺序错误的问题。产生分歧是所有网络的共性。 ### 2\. 分叉选择...
...们是否掌握了有关特朗普宣布的内幕消息。 我们无法证明这一点，并且通常对这些叙述持怀疑态度。与其接受该事件仅仅是过度杠杆化的市场集体恐慌，不如相信一个协调的行动者有一个精心协调的计划更令人安心。但时间...
> 本文来自我在 HackQuest 学习笔记的整理 # EVM 交易结构  交易数据主要包含如下字段： ●nonce：发送方账户的交易计数器，统计该账户在此区块链中的总...
**TL;DR（太长不看）** - 通过 EIP-4844，交易发送者计算 KZG 证明，并将其与 blob 交易一起发送。 - 在当前的 PeerDAS 设计下，验证样本需要在样本（单元格）级别进行 KZG 证明，目前这些证明是在 CL 中计算的，以避免将 DAS 密码学泄...
...s)。EIPs For Nerds 系列将于下周继续，深入探讨 [EIP-7503（零知识虫洞）](https://eips.ethereum.org/EIPS/eip-7503?ref=ghost-2077.arvensis.systems)：试图将匿名交易引入以太坊的基础层，修复 Tornado Cash 和其他应用层金融隐私的方法的缺陷。 致谢：...