Solidity CTF challenges inspired by real world exploits

在 Defi 的領域中，閃電貸扮演著一個非常重要的角色，他是一把雙面刃，本系列將分成上下兩篇文章分別介紹閃電貸以及如何利用去中心化借貸平台 Aave 來實作閃電貸智能合約。

In this article, we will delve into the details of inflation attacks and provide tips on protecting against them.

The 4626 Alliance is a group of leading protocols and applications that share the mission of supporting the development and deployment of ERC-4626 vaults

After learning the basics of Solidity assembly in Part 1: Playing with Yul let’s now dive deeper!...

Curating the best content in crypto

Code on distributed systems may live long into the future, etchings on a ledger, similarly revealing our human tendencies

This step-by-step guide will show you how to verify a Starknet smartcontract using the voyager-verify CLI. There are a few prerequisites…

Aztec Connect 的维护成本不低；Noir 使用比特币风格的 UTXO 模型。

比特币思想的中文集结地

慢雾安全团队建议借贷类型的协议在涉及用户资金的函数需要做好必要的健康检查。

TL; DR:

A brief introduction to the AsyncHTTPProvider and AsyncENS module.

Smart contracts + provable storage = Filecoin Virtual Machine (FVM). Learn about the technology. Find developer resources and apply for grants.

黑客是如何攻击 Euler 的？目前哪些协议受到了影响？曾经为 Euler 提供审计的公司有哪些？

概述
本文以较为简单的 WETH 合约为例，介绍在 Foundry 架构中常用的几种较为高级的测试方法，如下:

Fuzz Testing 基于属性的单元测试的升级版
Invariant Testing 基于随机数据整体调用的测试
Formal Verification 形式化证明

本文也会给出上述测试手段的 github ci 配置文件。

学习使用诸如Arbitrum, Ethereum, Arweave, Sia, Skynet, Filecoin, IPFS以及ENS等去中心化存储工具搭建无法关停的网站。

In another article, we’d show the progress of decentralization of prover, sequencer, full node, client, Cairo, protocol and other Starknet network components.

The State of the Art