找到约 12 条结果

文章 强制分叉选择的包含列表(FOCIL):一个简单的基于委员会的包含列表提议 - 权益证明/区块提议者

...面对面聚会中共同完成的,旨在讨论审查抵抗、发行以及证明者-提议者-构建者-共识-执行-\[在此处插入]分离。** **感谢 Luca、Terence、Toni、Ansgar、Alex、Caspar 和 Anders 对此提案的讨论、反馈和评论。** ## **tldr(太长不看)** 在这...

文章 从智能合约的演进看 Move 的架构设计

...是所有的合约都可以通过锁和解锁表达出来?这个还有待证明。设计一套锁和解锁的协议是非常有挑战性的,比如闪电网络的协议。 关于 Bitcoin 上的不同的锁的机制可以参看李画和我的一个访谈文章 -《[开启比特币智能合约的...

文章 以太坊重要扩容方案: Optimistic Rollup 现状报告(下)

...论是进行无效交易还是有效交易失败了,都可以通过防伪证明将其判断为惩罚性的犯罪行为,从而排除简单的审查事宜(更多详情请参考[这里](https://medium.com/offchainlabs/eleven-questions-to-ask-your-rollup-provider-b0831ee6b864))。 其他...

文章 初步认识Arbitrum

...会乐观的认为结果是正确的,如果是zk的话,会提交zkproof证明这个状态正确。如果是乐观rollup证明的话,就会默认正确,等待其他验证者挑战,如果其他验证者发起挑战,就会在layer1执行保证正确 layer2 outbox contract:记录layer1...

文章 深入探讨以太坊验证者生命周期

...655) ## 简介 以太坊如今实现了最去中心化的权益证明共识。当前活跃的验证器钥匙数量超过 10^6,每个区块由数百个验证器进行证明。Eth 2.0 的验证基础设施复杂,分为信标层和执行层,并包含许多有趣的机制。这个复...

文章 解析以太坊即将到来的硬分叉 - Pectra 升级

...ue 升级中的变化,并详细解释它们。 以太坊 2.0 “权益证明”硬分叉的历史是复杂的。它始于向现有执行层添加信标层,在信标层启动权益证明共识的同时,执行层仍然维持工作量证明(Phase0 和 Altair 硬分叉)。随后,在 Bella...

文章 使用Foundry来探索可升级的合约

.../pics/20230106095026.png) 这篇文章需要大家对 Solidity的基本知识, 有所了解。 让合约可升级提供了很大的灵活性,但也使代码更难推理。这主要是由于需要绕过Solidity的类型系统,这意味着编译器捕捉错误的能力受到严重限制...

文章 闪电服务提供商的崛起

...接和通道管理 - 自动化 - 出售入站流动性 - 通道再平衡 - 确认通道开启 - 传统支付处理 LSP 会对部分或全部这些服务收取费用,并以各种方式构建其费用——更多内容见下文。 如前所述,LSP 在引导用户加入闪电网络的过程中...

文章 Cosmos 是什么? 一文了解Cosmos的来龙去脉

...,这是2008年创建的点对点数字货币,使用一种称为[工作证明(PoW)](https://learnblockchain.cn/2017/11/04/bitcoin-pow/#工作量证明)的新型共识机制。 这是第一个去中心化应用。 不久,人们开始意识到去中心化应用的潜力,并希望在社区...

文章 群体的智慧:社区驱动的安全性

...个非常成熟的业务,优秀的公司或团队的强项在于其专业知识、严谨、结构、方法论,以提供全面的安全分析。但在牛市中,我们也听到了项目方的抱怨,他们不得不等待很长时间,这会显著影响他们的项目进展计划,同时审查...

文章 Succinct ZK驻留计划

...ccinct.xyz) 的一位工程师将加入我们,以构建他们的第二代证明聚合协议 - 来自 [Witness](https://x.com/witnessco_?ref=blog.succinct.xyz) 的 Sina.eth 和 Joe 正在可验证的证明领域进行构建 - Aayush Gupta(联合创始人)和来自 [ZK Email](https://prove.email...

文章 数据可用性层(DA)如何塑造区块链的未来

...样验证确认这些数据在其网络中发布,并使用数据可用性证明来说服以太坊相信 DA 网络已经存储和发布了这些数据。 虽然 DA 层在短期内会同 EIP-4488 和 EIP-4844 竞争,但由于其强大的可扩展性,它的普及和产生相对稳定的现金...