Security


Ethernaut Discuss about Ethernaut’s development, walkthroughs, level ideas and alternative solutions.
Topic Replies Activity
[AlienCodex][Solidity 0.5][Bug] Issue with getting instance 1 March 29, 2020
List of Ethereum Smart Contracts Post-Mortems 1 August 15, 2019
Ethernaut Solidity 0.5 Version - November 2019 update 7 March 20, 2020
Designing and Educating for Congestion 4 March 17, 2020
Flash Loans and the Advent of Episodic Finance 1 March 12, 2020
Flash Loans: how DeFi Composability Turns Features into Exploits (video in Spanish) 1 March 2, 2020
Automated analysis of Ethereum smart contracts 3 March 2, 2020
Compound Alpha Governance System Audit 1 February 26, 2020
Symbolic execution 5 February 11, 2020
PoolTogether Audit 1 January 29, 2020
Coinbase MKR Voting Proxy Audit 1 June 6, 2019
PROPS Token Contracts Audit 1 November 6, 2019
Compound Audit 1 August 28, 2019
Compound Finance Audit Summary 1 August 28, 2019
InstaDApp Audit Summary 1 September 17, 2019
Compound Finance - Patch Audit 1 October 23, 2019
Aave Protocol Audit Summary 1 January 29, 2020
Protecting Against Front-Running and Transaction Reordering 3 September 17, 2019
Using automatic analysis tools with MakerDAO contracts 6 January 21, 2020
Bounties Network Review Summary 1 December 4, 2019
Reentrancy After Istanbul 3 November 15, 2019
Formal Verification of ERC20 implementations with VeriSol 3 November 25, 2019
Awesome Blockchain Security 1 November 14, 2019
Online ERC20 contract verifier 7 November 5, 2019
OpenZeppelin's online ERC20 verifier: behind the scenes 1 October 31, 2019
Beware of the proxy: learn how to exploit function clashing 14 October 17, 2019
SCSVS - Smart Contract Security Verification Standard 3 October 10, 2019
An overview of the upcoming Istanbul hard fork 2 October 7, 2019
VeriMan: A Prototype 1 October 1, 2019
GSN attack vectors 6 September 25, 2019