找到约 11 条结果

文章 探索零知识证明系列2 - 从「模拟」理解零知识证明

...先你的助记词不让别人知道,手机钱包里私钥保存加密算法足够强,密钥派生算法正规,你不忘记助记词,等等等。 脱离安全假设来谈安全都是在耍流氓。一切安全都有前提的。只有经过数学证明之后,大家才够确信...

文章 预测市场:选举的故事

...tter.com/VitalikButerin/status/1301313579203715073):虽然陈旧的世界心化预测市场可有低限额和高费用,但加密市场没有!在 Augur 或 Omen 上,若有人认为某个结果代币的价格太低或太高,购买或出售没有限制。而基于区块链的预测市...

文章 RISC Zero通往首个形式化验证RISC-V zkVM之路

...量可以采用的可值进行“穷举搜索”,使用花哨的搜索算法来快速缩小搜索空间。这两种方法之间存在权衡,因为静态分析速度很快,但往往会陷入困境而无法完成,而SMT求解器在找到解决方案(如果存在)时要好得多,但可...

文章 应用特定链 理论

...识和网络层。**共识层** 保证通过网络参与者之间的共识算法过程(在 Tendermint 的案例中为质押证明机制中的验证者)来确保交易的有效性和顺序。**网络层** 负责促进系统节点之间的点对点通信,并使第三方应用和节点够与...

文章 万字长文详解坎昆升级:​为以太坊生态再次注入新活力

...底完成。 - Dencun 升级会促进 L2 生态的繁荣,并带动去心化存储、DA 以及 RaaS 等 Infra 赛道的需求。对于应用层而言,Perps、LSD、ReStaking 以及 FOCG 等赛道也会因 Dencun 升级受益。 ## **一、坎昆升级** ### **坎昆升级背景**...

文章 ZK技术的历史发展脉络梳理

...劣势,并且在设计时进行权衡。** 硬件的进步、更好的算法、新的论点和周边工具,都刺激ZK系统的性提升及新式系统的诞生。许多证明系已经在实际应用中被采用,而人们仍在不断扩展ZK的边界。 这也促使人们深入...

文章 基于竞争的可竞争性 Rollup (BCR):一种可配置的多重证明 Rollup……

...看看 Taiko 与竞争对手的不同之处: 1. **无需许可且去心化**:Taiko 是一种Based Rollup,可是同类中的第一个。由于缺乏心化的排序器,它依靠以太坊验证器来对交易和区块进行排序,从而提升 Taiko 的无需许可且去中心...

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

...,同时寻求围绕更特定的案例进行优化:通证支付、去心化交易、私人支付和大规模迁移。这四个协议都各不相同,也将分别进行探讨。 ### Fuel (“区块链上的比特币”) Fuel 正在实施以支付为中心的、基于UTXO的ORU侧...

文章 为什么要运行mev-boost?

...,以提高其回报。如果不加以制止,这将是以太坊的一种心化力量。 解决方案是一种被称为[**提案人-构建者分离**(PBS:proposer-builder-separation)](https://ethresear.ch/t/proposer-block-builder-separation-friendly-fee-market-designs/9725)的技术,其...

文章 谈谈区块链(去心化)治理

...,以便实施某项计划。 ## 区块链治理 区块链是去心化的,那么**如何协调众多的利益方来进行区块链平台的改进**,这就是区块链治理,即治理让区块链进化。 改进通常包括:采用何种方案修复已知问题,加入哪些新...

文章 如何让比特币支持ZK:从OP_CAT到状态证明和BitVM

...协议规则上达成多数共识非常困难,因为比特币生态没有心化决策者, **任何对比特币脚本的改进提案都有很多反对意见,** 大家的立场、角度都是不同的。在比特币网络中,没有很好的办法来衡量社区是否达成多数共识,...