...mpolinsky 的 [GHOST](https://eprint.iacr.org/2013/881.pdf) 原理在权益证明（proof-of-stake）中的应用。 我称之为“友好的幽灵”，因为它设计了激励机制来保证对寡头垄断者的抗审查性：这些激励机制迫使卡特尔对非卡特尔验证者友好。 ...
...。尤其是对于热衷于 Rust 编程的大家来说，随时随地汲取知识、精进技能，就如同给我们的成长之路安上了超强 “助推器”。而今天要给大家重磅推荐的 #Rust #每日技巧✨，那可真是直击痛点，全方位满足大家的需求。 以前...
...I 平台，Pea.AI 旨在提升加密资产投资领域的数据流动性和知识共享。用户可以自定义自己的 GPT，利用他们的专业知识提供独特见解。未来，用户也可以将自己的 GPTs 商业化。  120 亿美元的问题 > **数学证明如何避免数十亿美元的漏洞，以及为什么 Chronos Vault 的合约在数学上被证明是正确的** 120 亿美元的问题：你能证明你的代码是正确的吗？ **传统的软件开发：**编写...
...义反复，但大家花了很长时间才意识到这一点。Rollup 的知识历史经历了 plasma 和状态通道的曲折发展，我们所有人都有些迷失方向。在比特币基础的原型 Rollup 的早期，没有排序器。用户只是将他们的交易发布到宿主链。在那之...
...结果放到链上的过程，这个过程最大的问题就是在于怎么证明这个结果是有效的，两种证明方式也就产生了两种主流的 rollups 方案：Optimistic rollups 和 zk rollups。 人如其名，Optimistic 的英文含义是乐观的，即 Optimistic rollups 使用...
...s)。EIPs For Nerds 系列将于下周继续，深入探讨 [EIP-7503（零知识虫洞）](https://eips.ethereum.org/EIPS/eip-7503?ref=ghost-2077.arvensis.systems)：试图将匿名交易引入以太坊的基础层，修复 Tornado Cash 和其他应用层金融隐私的方法的缺陷。 致谢：...
...方法在电路中追踪这些跳转。一种方法需要添加操作码来证明一个操作码在一个累加器中。这会花费大量的约束，每步需要数千个约束。 为了克服这个问题，我们使用 plookup 允许证明者选择他们想要的任何操作码顺序。然后，...
...ereum 测试网已进入最后阶段！请根据我们的指南发起欺诈证明；为我们的 Layer-2 贡献安全性可获得奖励！如果你还是新人，可以查看我们的[测试网公告](https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiQovH-39PtAhWAHzQIHSzPDmM...
...——这将是（至少在接触配对之前）最后一波奇怪的理论知识了！ 话虽如此，本文可能不如其他文章那么实用，而更多地侧重于纯理论。尽管如此，**计数** 椭圆曲线中的 **点** 的能力仍然非常重要，但我们今天不会质疑为什...