All Posts

In this post, I present the solutions to all levels of the Lean 4 Game Server's Robo game.

In this post, I discuss the solutions to all exercises in Justin Thaler's excellent book, Proofs, Arguments and Zero-Knowldge.

A practical guide on how to decide the rationalizability of square roots in two variables using Magma.

Solution to the Damn Vulnerable DeFi V3 - Compromised CTF

Solution to the Damn Vulnerable DeFi V3 - Selfie CTF

Solution to the Damn Vulnerable DeFi V3 - Side Entrance CTF

Solution to the Damn Vulnerable DeFi V3 - The Rewarder CTF

Solution to the Damn Vulnerable DeFi V3 - Naive Receiver CTF

This post contains up-to-date solutions to all challenges of RareSkills' Capture the Ether fork.

Solution to the Capture the Ether - Guess the Random Number CTF

Solution to the Ethernaut - Dex CTF

This post contains up-to-date solutions to all challenges of OpenZeppelin's Ethernaut CTF.

Solution to the Ethernaut - Puzzle Wallet CTF

Solution to the Ethernaut - Alien Codex CTF

Solution to the Ethernaut - Motorbike CTF

Solution to the Ethernaut - Good Samaritan CTF

Solution to the Ethernaut - Switch CTF

Solution to the Ethernaut - Higher Order CTF

Solution to the Ethernaut - Stake CTF

Solution to the Ethernaut - Preservation CTF

Solution to the Ethernaut - Gatekeeper Three CTF

Solution to the Ethernaut - Gatekeeper One CTF

Solution to the Ethernaut - Gatekeeper Two CTF

Solution to the Ethernaut - DoubleEntryPoint CTF

Solution to the Ethernaut - MagicNumber CTF

Solution to the Ethernaut - Recovery CTF

Solution to the Ethernaut - Dex Two CTF

Solution to the Ethernaut - Shop CTF

Solution to the Ethernaut - Naught Coin CTF

Solution to the Ethernaut - Privacy CTF

Solution to the Ethernaut - Elevator CTF

Solution to the Ethernaut - Re-entrancy CTF

Solution to the Ethernaut - King CTF

Solution to the Ethernaut - Force CTF

Solution to the Ethernaut - Vault CTF

Solution to the Ethernaut - Coin Flip CTF

Solution to the Ethernaut - Delegation CTF

Solution to the Ethernaut - Fallout CTF

Solution to the Ethernaut - Telephone CTF

Solution to the Ethernaut - Token CTF

Solution to the Ethernaut - Fallback CTF

Solution to the Ethernaut - Hello Ethernaut CTF

This post is a public journal of my effort to work through InterviewBit's excellent post on cyber security interview questions.

Solution to the RareSkills Solidity Riddles - Overmint 3 CTF

Solution to the Damn Vulnerable DeFi V3 - Truster CTF

Solution to the Capture the Ether - Guess the New Number CTF

Solution to the Capture the Ether - Guess the Secret Number CTF

Solution to the Capture the Ether - Predict the Block Hash CTF

Solution to the Capture the Ether - Predict the Future CTF

Solution to the Capture the Ether - Retirement Fund CTF

Solution to the Capture the Ether - Token Bank CTF

Solution to the Capture the Ether - Token Sale CTF

Solution to the Capture the Ether - Token Whale CTF

Solution to the Damn Vulnerable DeFi V3 - Unstoppable CTF

Solution to the Ethernaut - Denial CTF

Solution to the RareSkills Solidity Riddles - Forwarder CTF

Solution to the RareSkills Solidity Riddles - Overmint 1 ERC1155 CTF

Solution to the RareSkills Solidity Riddles - Overmint 1 CTF

Solution to the RareSkills Solidity Riddles - Overmint 2 CTF