Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry - GitHub - WilfredTA/formal-methods-curriculum: Formal methods traini...

Reversing the Executables

A sophisticated attack on Ethereum led to a loss of over $25 million for a group of MEV bots trying to capture arbitrage opportunities.

Dusk for sandwich bots? A few top mev bots were targetted in block
https://etherscan.io/txs?block=16964664
@peckshield @BlockSecTeam @bertcmiller @samczsun @bbbb

💖 623 🔁 182

工具革新、创意爆发、无限机会 - Chainlink 2023年春季黑客松是您构建下一代突破性Web3的机会。

Decentralized autonomous organizations (DAOs) have emerged as more decentralized and democratic alternatives to traditional organizational governance and decision-making. How did they manage their budgets in the tumultuous 2022?

You’ve probably seen the twitter threads of web3 detectives & sleuths diving in when a hack just happened. No-one knows what happened, the protocol team is scrambling to figure things out, and these online detectives are dropping threads explaining ex...

A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations. - primitivefinance/arbiter

Author: Chandrakana Nandi

Using thirteen charts to understand the Optimism token (or any erc20 token), with concepts like momentum, liquidity, and distribution.

This post explores a taxonomy of NFT MEV strategies and how those strategies are likely to evolve alongside future NFT infrastructure.

State of Web3 Security – Part 1: Attacks. By Stelo Labs

本文将探讨在USDC脱锚危机中，受影响最大的借贷、交易类协议、去中心化稳定币系统的表现，以及潜在的交易机会。

你第一次用 DeFilama 是为了查询什么？

This post describes and discusses the behavior of an entity I call LinkingLion. The entity opens connections to many Bitcoin nodes using four IP address ranges and listens to transaction announcements. This might allow the entity to link newly broadcast transactions…

本文是Polygon zkEVM系列文章的第一篇，简要阐述了Polygon zkEVM的整体架构和交易执行流程，并且分析了Polygon zkEVM是如何实现计算扩容并同时继承以太坊的安全性的。 Author: 0xhhh（Twitter:@hhh69251498 ） Editor:Red One 3月27日，Polygon zkEVM主网测试版本正式上线，Vitalik 在上面完成了第一笔交易。 本文是Polygon zkEVM系列文章的第一篇，简要阐述了Polygon zkEVM的整体架构和交易执行流程，并且分析了Polygon…

Learn and contribute by exploring blockchain attacks in detail. Maintained by Coinspect smart contract audit team, renowned for their top-tier smart contract audit services. - coinspect/learn-evm-a...

| By Alvaro Blazquez and Sachin Lal

We don't have to live with social network lock-in. The tools for fixing this are widely & freely available.