找到约 15 条结果

文章 Move共学-TASK7完成 MoveCTF Check in挑战

...码算法。在安全通信场景的题目中,要求选手利用密码学知识建立安全的通信信道,例如使用 SSL/TLS 协议相关知识来保障网络通信的保密性和完整性。 #### 1.1.3. **逆向工程** * **软件逆向分析**:对给定的二进制文件或恶意...

文章 漏洞披露:Cairo VM中潜在的排序器-证明器不一致性问题

...在于`Cairo0`合约的交易在sequencer上执行并撤销,而不是被证明。因为该交易不会通过prover,因此没有不正确的交易被证明,但撤销会影响用户体验。 ## 结论 正如我们之前所说,这种问题在复杂软件中总是可能和常见,突显...

文章 利用形式验证在更短时间内捕获棘手的漏洞

...况下压缩彻底验证代码所需的时间。通过利用社区的集体知识和创造力,这些竞赛通过可测量的方式实现代码安全的快速提升。 典型的竞赛以基本设置开始,包括 [Prover 工具](https://docs.certora.com/en/latest/docs/whitepaper/index.html) 的...

文章 以太坊2.0完整指南:什么是区块链信标链?

...是以太坊 2.0 的一个基本组成部分,旨在通过从 **工作量证明 (PoW)** 过渡到 **股权证明 (PoS)** 共识机制来增强可扩展性、安全性和效率。 这一转变旨在减少能源消耗并降低网络参与的门槛。重要的是要注意,信标链 **不处理智...

文章 每周以太坊 2024/12/21

...例如通过账户抽象、网络升级或混合方案使用 Falcon * [证明者-包含者分离](https://learnblockchain.cn/article/17632): 包含者(包含列表创建者)通过包含费用获得奖励,并且对硬件/资本的要求最低 ## **中心化监测: 威胁你的 ETH 价值*...

文章 PUSH0 操作码:Solidity 最新 0.8.20 版本中的一项重大更新

...法**,例如: - 使用 **“PUSH1 00”**:使用 PUSH1 操作码将推送到堆栈上, - 使用**多个 DUP 指令**来复制并将它们放在堆栈上,等等。 虽然上面提到的变通方法完成了这项工作,但它们还不够充分。 例如,使用 "**加粗**PUSH1 ...

文章 比特币 - 完全RBF - Glozow

...同意双重支付风险已经很高以及闪电网络可以取代链上 "确认" 支付的观点。他提供了一些来自 Bitrefill 经验的数据。他说,在实践中,"不到百万分之一 "的双重支付尝试会成功。他指出,他们的支付中只有 15% 使用闪电网络,...

文章 L2 链衍生规范

...道,例如,一个较晚的 L1 区块被孤立,或者一个更大的证明失败。 - 初始化管道以在容错程序内的先前 L1 和 L2 历史记录中派生有争议的 L2 区块。 处理这些情况也意味着可以将节点配置为急切地同步具有 0 个确认的 L1 数据, ...

文章 从预测市场到信息金融

...的买卖决定,你可以根据市场价格推测出很多关于世界的知识。 对我来说,信息金融就是这样,但[根据构造修正](https://www.eschertech.com/products/correct_by_construction.php)。类似于软件工程中正确构造的概念,信息金融是一个学科,其...

文章 Wake:以太坊上用于阻止漏洞的新开源工具

...和 Solana 基金会的资助。 Ackee Blockchain 的使命是通过分享知识来建立一个更强大的区块链社区:该团队运营一个免费的认证课程 [School of Solidity](https://ackeeblockchain.com/summer-school-of-solidity)、[School of Solana](https://ackeeblockchain.com/winter...

文章 绘制以太坊账户抽象路线图 II:EIP-7377 和 EIP-5003

...ecRecover合约使用这些值推断出对应的公共地址。这被用作证明消息确实是从对应账户发出的。 此过程在以太坊中有着许多用例,可以大致分为: 1. **协议层身份验证**:涉及为在协议上执行的操作(例如发送原生资产)恢复...

文章 EIP7480 EOF - 数据部分访问指令

...一个,代码部分无效。 ## 理由 ### 超出边界访问时的填充 现有用于读取其他类型数据的指令在超出边界访问时会隐式填充值,唯一的例外是返回数据复制。 避免超出边界访问导致的异常失败是有利的,因为编译器...

文章 密码学101:RSA算法解析

...5/02/19/1ZeM2s_LDrh_pdE1YXGBssg.gif) 有趣的是,通过 _e_ 和 _n_ 的知识,很难计算 _φ(n)_,因为为此你需要 _n 的素因子_!这实际上是一个非常困难的问题!出于这个原因, _e_ 可以公开发布——并确实是在 RSA 中的 _公钥_。 ### 步骤 剩...

文章 探索以太坊的复杂执行提议者 - 权益证明

...于验证者的任务至关重要。验证者目前有以下角色: - 证明者:验证者被要求证明共识信息,例如区块是否有效和及时。证明者的去中心化确保了以太坊能够抵御相关的失败,无论是意外的(例如,由于错误导致特定份额的验...

文章 创世文档:Hal Finney 的数字现金探索成果 RPOW

...题,芬尼总能提供自己独到的见解。 ## Hashcash 与工作量证明 1997 年,年轻的英国计算机科学家和密码朋克亚当·巴克(Adam Back)提出了一个特别有趣的数字现金设计 [Hashcash](https://bitcoinmagazine.com/articles/genesis-files-hashcash-or-how-ada...