找到约 13 条结果

文章 “不可思议” 的被黑之旅 —— Impossible Finance 被黑分析

...: ## **攻击细节分析** Impossible Finance 的 DEX 架构参考 Uniswap v2,但在 Pair 的实现上有所不同。Impossible Pair 分别实现 cheapSwap 与 [swap](https://learnblockchain.cn/article/3094) 两个接口。cheapSwap 函数限制只由 Router 合约可进行调用...

文章 Gambit:用于形式验证的Solidity突变测试工具

...评估的经过充分研究的技术,并已在大型软件公司中得到广泛的采纳 \[1\]。通常应用于测试上下文中的关键思想是合成程序的故障版本,并检查现有的测试套件是否够捕捉这些故障程序。如果不,那么开发者就会通过设计...

文章 通往低于一美元交易的道路 第一部分:降低费用30%

...路已经开始。 大约一个月前,我们在这条道路上迈出下一步,将交易费用降低大约 30%。一个普通的 Uniswap 交易费用从 $3.35 降至 $2.55,有时接近 $1。想知道我们究竟是如何做到的?继续阅读吧! Optimism 上的费用刚...

文章 Aztec 2.0 升级 —— 提高转账额度

Aztec2.0 已经上线 6 个月。自启动以来,我们的系统已经传输 550 万美元的价值,让隐私转账成用得起的选择。我们的系统发送超过 21000 笔交易,但我们设置单笔交易最多转 1 eth 的额度,因为这项技术毕竟是实验性...

文章 提议:网络升级元线程 - Magicians / 流程改进

...主网上进行升级。 如前所述,此过程非常以 EIP 本身为中心。虽然这并不是每个 fork 的计划方式的完美准确说明(例如,The Merge 差异很大),但这是该过程的粗略草图。 ## 网络升级 Meta 线程 为更好地输入到升级规划过程中...

文章 CertiK《Hack3d:2025年第二季度及上半年Web3.0安全报告》(附报告全文链接)

...件,总损失约为8亿美元。相比上一季度,损失总额下降约52.1%,安全事件减少59起。 网络钓鱼攻击是本季度造成损失最大的攻击方式,共发生52起安全事件,导致约4亿美元被盗。其次是代码漏洞攻击,47起安全事件共导致约...

文章 React快速

...义。vite/client 是 Vite 内置的一个类型声明文件,里面包含 Vite 在客户端运行时提供的全局变量、函数和模块的类型信息。 ## public 这个文件夹放一些不会被代码加工的文件,比如图片、图标或者 HTML 模板,这些是“静态...

文章 SUSHI的源码及方案解析三(uniswap部分)

...动性挖矿部分。我们观看真正的 sushi 合约,里面还包含uniswap部分。因为uniswap的资料比较多,所以我在本节主要是做技术上的整理与说明,有一些内容是引用的,特此说明。 # Uniswap的说明 对于相关的合约内容,研究的相关...

文章 Concrete ML v1.9:TFHE-rs 兼容性与更快的 LLM 微调

Concrete ML v1.9 引入对 **TFHE-rs 密文格式**的支持,使得 Concrete ML 模型够使用 [TFHE-rs](https://github.com/zama-ai/tfhe-rs) 无缝集成到基于 Rust 的 FHE 管道中。此版本还为 LoRA LLM 微调协议带来**性改进**,以及新的[示例笔记本](https://...

文章 介绍 Cyfrin Aderyn:基于 Rust 的静态分析工具

...yn 找出 Solidity 代码库中的漏洞 一个开源的 Rust 基础的智合约静态分析工具,旨在帮助协议工程师和安全研究人员发现 Solidity 代码库中的漏洞。 今天,我们很高兴地正式宣布 Aderyn。 一个开源的 Rust 基础的智合约静态分析...

文章 Solidity中的继承:如何运行父级函数的构造函数

...s://learnblockchain.cn/article/8446)这两篇文章中,我们已经学习Solidity关于继承的相关知识点,这篇文章,我们再聊一个更细致的话题:如何运行父级函数的构造函数。 ## 基本概念 在 Solidity 中,当一个子合约继承父合约,并...

文章 Holešky测试网关闭公告

...用于大规模测试质押基础设施和验证者操作。该网络实现其目的,使数千个验证者够测试协议升级,包括 和最近的 。 然而,在 2025 年初 Pectra 测试网激活后,Holešky 经历广泛的非活跃泄漏,导致大量的退出队列。虽...

文章 在使用Anchor时将会遇到的脆弱性

...。在创建 Solana 程序时,开发者可会遇到许多陷阱。为在这个生态系统中安全操作,开发者需要对运行时保持的不变性、在什么条件下这些不变性不再有保证,以及一系列的账户混淆、混淆的副代理、整数溢出和不足等经典...