找到约 14 条结果

文章 追踪资金流V：矿池交叉授粉

 **每周获取最佳的数据驱动的加密货币洞察和分析：** ## **追踪流向 V: 矿池交叉授粉** **作者：[Parker Merritt](https://twitter.com/ParkerMerritt)** #### **简介** 比...

文章 智能合约测试：形式验证与符号执行

## 智能合约形式验证和符号执行测试 我们与两位Trail of Bits Web3安全团队的成员讨论了形式验证和符号执行。此外，我们还回顾了这些技术带来的价值并将其与其他工具进行比较。 ‍ [符号执行和形式验证 | Trail Of Bits区块...

文章 Merkle树的逻辑和证明

## 什么是Merkle树  ### 定义 `Merkle Tree`，也叫默克尔树或哈希树，是区块链的底层加密技术，被比特币和以太坊区块链广泛采用。Merkle Tree是一种自下...

文章 保护Uniswap v4：形式化验证和恶意Hook保护

### 介绍 在这篇博文中，我们将探讨 Certora 如何利用形式化验证来保护 Uniswap v4 免受恶意 hook 的侵害。我们还将探讨 Certora 独特的工具 [Certora Prover](https://www.certora.com/prover) 如何精确地定义和证明正确性规则，从而确保智能合...

文章 每周以太坊进展 2023/2/18

## Shapella (上海 + Capella) 升级 * 最新的所有核心开发人员 - 执行 (ACDE)[视频会议](https://www.youtube.com/watch?v=GmwEa_HI2lE&t=20s)。来自[Tim Beiko](https://twitter.com/timbeiko/status/1626258565035081728) 和 [Christine Kim](https://www.galaxy.com/research/insights/et...

文章 Uniswap 重入漏洞披露

YANNIS SMARAGDAKIS ## Uniswap 重入漏洞披露 由 [Dedaub](https://dedaub.com/) 团队提供  Uniswap 重入 \| Uniswap Labs 最近为其智能合约的漏洞报告**宣传了一项高达 300 万...

文章 如何使用Wormhole发送跨链消息

## 概述 > 更喜欢视频教程？跟随 Sahil 学习 Wormhole 协议的工作原理以及如何使用它来传输跨链消息。 Wormhole 是如何工作的？\| @wormholecrypto - YouTube QuickNode 131K 订阅者 [Wormhole 是如何工作的？\| @wormholecrypto](https://www.youtube.com/watc...

文章 剖析DeFi交易产品之UniswapV4：合约结构篇

本文首发于公众号：[Keegan小钢](https://mp.weixin.qq.com/s?__biz=MzA5OTI1NDE0Mw==&mid=2652494685&idx=1&sn=8baae46a47a1282f71f1c3b7a4ea30e2&chksm=8b68514dbc1fd85b317f8b0abf423ea862a819a827e982a2073a8605903495bbe152b600c777&token=1859759885&lang=zh_CN#rd) *** [前一篇文章](https://mp.w...

文章 Morpho Blue 安全框架：构建最安全的借贷…

 Morpho Blue 安全框架：构建最安全的借贷协议 Morpho 在整个 2023 年，我们都专注于构建世界上最安全的借贷协议。任何协议的安全性都始于最初的想法，并贯穿项目的整个生命周...

文章 UniswapV2 深入解析系列 18：精确输入兑换

# UniswapV2 深入解析系列 18：精确输入兑换 本篇第 18 篇延续上一章对 Router 的讨论，聚焦最常见的兑换入口 `swapExactTokensForTokens`。前端几乎所有“用固定数量兑换尽可能多目标代币”的需求都会落到这条路径上，因此理解其执...

文章 第三部分：保护智能合约免受捐赠攻击：安全 ETH 处理指南

## 介绍：捐赠攻击的隐蔽威胁 想象一下，你正在以太坊上运行一个众筹 dApp。你的社区热闹非凡，支持者纷纷发送 ETH，你的活动也越来越受欢迎。一切似乎都很完美 — 直到攻击者在没有使用你的捐赠函数的情况下，将 ETH 偷偷...

文章 引介 shadow-reth - 通过扩展执行层节点，极大方便链上数据索引

>- 原文链接：[blog.shadow.xyz/shadow-reth](https://blog.shadow.xyz/shadow-reth/) >- 译者：[AI翻译官](https://learnblockchain.cn/people/19584)，校对：[翻译小组](https://learnblockchain.cn/people/412) >- 本文链接：[learnblockchain.cn/article…](https://learnblockchain.cn/art...

文章 每周以太坊进展 2022/10/29

## Layer 1 * 最新的核心开发者[视频会议](https://www.youtube.com/watch?v=oQfEW8LdE88&t=445s). 来自[Tim Beiko](https://twitter.com/timbeiko/status/1585406583278047235) 和 [Christine Kim](https://www.galaxy.com/research/insights/ethereum-all-core-developers-call-148/)的记录: ...

文章 Dapp开发的流程与架构

### 背景 随着互联网的逐步发展，Web1.0 主要提供静态内容，用户只能浏览和获取信息；Web2.0 则开启了互动和社交时代，用户不仅可以消费内容，还可以参与内容的创建，但数据多由中心化平台控制。Web3.0 是一个新兴的互联...