视频 AI 总结： 该视频主要讲解了在智能合约安全审计中如何利用模糊测试（Fuzzing）和不变性测试（Invariant Testing）来发现漏洞，并以 TSWAP 协议为例，展示了从无到有构建测试套件的过程。视频强调了理解协议核心不变性的重...
## Dencun (Cancun + Deneb)升级 * 最新的所有核心开发 - 执行 (ACDE)[视频会议](https://www.youtube.com/watch?v=ajLQVC3E_mk&t=160s)。由[Tim Beiko](https://twitter.com/TimBeiko/status/1651613083931119617)总结。来自[Tim Beiko](https://twitter.com/TimBeiko/status/16519912867387...
视频 AI 总结： 该视频是关于审计一个名为 Thunderloan 的 DeFi 协议，该协议基于 Aave 和 Compound，涉及闪电贷、中心化风险、预言机操纵等多个关键概念。视频强调了 DeFi 安全审计的重要性，特别是价格预言机操纵，这是 2023 年上...
我想完成将ETH换成WstETH的功能，试图通过在智能合约中调用Balancer Vault Swap来实现。 ```function swap() external payable returns (uint256 wstETHAmount) { uint256 amount = msg.value; IBalancerRouter.SingleSwap memory singleSwap = IBalancerRouter.SingleSwa...
学习 Vyper 以进行安全的智能合约开发。探索其功能、安全优势、与 Solidity 的比较、安装流程以及现实世界中的 DeFi 用例。 你知道吗，超过 7,959 个用 Vyper 编写的智能合约在领先的区块链上保护了超过 23 亿美元的锁定总价值（...
## Shapella（上海+Capella）升级 * 更新你的节点，准备[在 4 月 12 日进行主网 Shapella 升级](https://learnblockchain.cn/article/15130#upgrade-schedule)，包括你的信标节点和验证器客户端 * 共识层主网发布： * Lighthouse[v4.0.1](https://github.c...
## 公司介绍 - 我们是一支专注于以太坊兼容的高性能区块链系统与底层基础设施的工程团队，致力于构建安全、可靠、可扩展的下一代区块链架构。 - 团队由 Dragonfly 领投，投资方与个人支持者包括 Vitalik Buterin。 - 核心成员...
今天这篇是Ethernaut 题库闯关连载的第17篇，难度等级: 有点难。 欢迎大家订阅专栏：[Ethernaut 题库闯关](https://learnblockchain.cn/column/19)，坚持挑战下去，你的 Solidity代码能力肯定大有提高。 ## 挑战 #17: Recovery 合约创建者...
零知识证明 (ZKP) 已经从提供隐私和可验证性的理论概念发展到具有实际的、现实世界的实现。一些最常见的用例包括区块链中的私有交易（例如，[Zcash](https://z.cash/)）、具有私有智能合约能力的区块链（例如，[Aleo](https://aleo.org...
## Shapella（上海+Capella）升级 * 提醒：[更新你的节点以](https://blog.ethereum.org/2023/03/28/shapella-mainnet-announcement)在 4 月 12 日 22:27:35 UTC 升级 Shapella * 最新的所有核心开发者——共识 (ACDC)[视频会议](https://www.youtube.com/watch?v=MrHh_jS4...
在以太坊主网上工作的智能合约开发者使用汇编而不是常规的 Solidity 来节省 gas，从而减少用户的交易费用。然而，使用汇编而不是普通的 Solidity 可能会引入细微的内存损坏问题，并导致智能合约审计员和开发者应该注意的意外...
# 形式化验证与测试 形式化验证——使用数学方法“检查”一个程序或智能合约在任意输入下的过程——通常被视为编写高质量、更安全代码的传统测试更简明、全面的替代方案。但实际上，形式化验证是一个开放式和互动的...
该视频的核心内容是介绍如何使用 ScaffoldEth2 快速构建和部署以太坊应用，并鼓励开发者通过 Speedrun Ethereum 学习区块链开发。 **关键论据和信息：** * **ScaffoldEth2 简介：** ScaffoldEth2 是一个用于快速应用原型设计的工具，集...
Hardhat 是一个功能强大、灵活且易于扩展的 Solidity 开发框架，广泛用于以太坊智能合约的开发、测试、调试和部署。它的设计目标是提升开发效率、支持复杂项目，并与现代开发工具无缝集成。 ### Hardhat 简介 **Hardhat 是什么...