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

Lean 4 Game Server - Solving Robo

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

Solving Proofs, Arguments, and Zero-Knowledge

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

On the Rationalizability of Square Roots in Two Variables

Solution to the Damn Vulnerable DeFi V3 - Compromised CTF

Damn Vulnerable DeFi V3 - Compromised - Solution

Solution to the Damn Vulnerable DeFi V3 - Selfie CTF

Damn Vulnerable DeFi V3 - Selfie - Solution

Solution to the Damn Vulnerable DeFi V3 - Side Entrance CTF

Damn Vulnerable DeFi V3 - Side Entrance - Solution

Solution to the Damn Vulnerable DeFi V3 - The Rewarder CTF

Damn Vulnerable DeFi V3 - The Rewarder - Solution

Solution to the Damn Vulnerable DeFi V3 - Naive Receiver CTF

Damn Vulnerable DeFi V3 - Naive Receiver - Solution

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

Up-To-Date Solutions for Capture the Ether

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

Capture the Ether (RareSkills Repo) - Guess the Random Number - Solution

Ethernaut - Dex - Solution

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

Up-To-Date Solutions for Ethernaut

Solution to the Ethernaut - Puzzle Wallet CTF

Ethernaut - Puzzle Wallet - Solution

Solution to the Ethernaut - Alien Codex CTF

Ethernaut - Alien Codex - Solution

Solution to the Ethernaut - Motorbike CTF

Ethernaut - Motorbike - Solution

Solution to the Ethernaut - Good Samaritan CTF

Ethernaut - Good Samaritan - Solution

Ethernaut - Switch - Solution

Solution to the Ethernaut - Higher Order CTF

Ethernaut - Higher Order - Solution

Ethernaut - Stake - Solution

Solution to the Ethernaut - Preservation CTF

Ethernaut - Preservation - Solution

Solution to the Ethernaut - Gatekeeper Three CTF

Ethernaut - Gatekeeper Three - Solution

Solution to the Ethernaut - Gatekeeper One CTF

Ethernaut - Gatekeeper One - Solution

Solution to the Ethernaut - Gatekeeper Two CTF

Ethernaut - Gatekeeper Two - Solution

Solution to the Ethernaut - DoubleEntryPoint CTF

Ethernaut - DoubleEntryPoint - Solution

Solution to the Ethernaut - MagicNumber CTF

Ethernaut - MagicNumber - Solution

Ethernaut - Recovery - Solution

Ethernaut - Dex Two - Solution

Ethernaut - Shop - Solution

Solution to the Ethernaut - Naught Coin CTF

Ethernaut - Naught Coin - Solution

Ethernaut - Privacy - Solution

Ethernaut - Elevator - Solution

Solution to the Ethernaut - Re-entrancy CTF

Ethernaut - Re-entrancy - Solution

Ethernaut - King - Solution

Ethernaut - Force - Solution

Ethernaut - Vault - Solution

Solution to the Ethernaut - Coin Flip CTF

Ethernaut - Coin Flip - Solution

Solution to the Ethernaut - Delegation CTF

Ethernaut - Delegation - Solution

Ethernaut - Fallout - Solution

Solution to the Ethernaut - Telephone CTF

Ethernaut - Telephone - Solution

Ethernaut - Token - Solution

Ethernaut - Fallback - Solution

Solution to the Ethernaut - Hello Ethernaut CTF

Ethernaut - Hello Ethernaut - Solution

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

40+ Questions and Answers to Crack the Cyber Security Interview

Solution to the RareSkills Solidity Riddles - Overmint 3 CTF

RareSkills Solidity Riddles - Overmint 3 - Solution

Solution to the Damn Vulnerable DeFi V3 - Truster CTF

Damn Vulnerable DeFi V3 - Truster - Solution

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

Capture the Ether (RareSkills Repo) - Guess the New Number - Solution

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

Capture the Ether (RareSkills Repo) - Guess the Secret Number - Solution

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

Capture the Ether (RareSkills Repo) - Predict the Block Hash - Solution

Solution to the Capture the Ether - Predict the Future CTF

Capture the Ether (RareSkills Repo) - Predict the Future - Solution

Solution to the Capture the Ether - Retirement Fund CTF

Capture the Ether (RareSkills Repo) - Retirement Fund - Solution

Solution to the Capture the Ether - Token Bank CTF

Capture the Ether (RareSkills Repo) - Token Bank - Solution

Solution to the Capture the Ether - Token Sale CTF

Capture the Ether (RareSkills Repo) - Token Sale - Solution

Solution to the Capture the Ether - Token Whale CTF

Capture the Ether (RareSkills Repo) - Token Whale - Solution

Solution to the Damn Vulnerable DeFi V3 - Unstoppable CTF

Damn Vulnerable DeFi V3 - Unstoppable - Solution

Ethernaut - Denial - Solution

Solution to the RareSkills Solidity Riddles - Forwarder CTF

RareSkills Solidity Riddles - Forwarder - Solution

Solution to the RareSkills Solidity Riddles - Overmint 1 ERC1155 CTF

RareSkills Solidity Riddles - Overmint 1 ERC1155 - Solution

Solution to the RareSkills Solidity Riddles - Overmint 1 CTF

RareSkills Solidity Riddles - Overmint 1 - Solution

Solution to the RareSkills Solidity Riddles - Overmint 2 CTF

Latest

Lean 4 Game Server - Solving Robo

Solving Proofs, Arguments, and Zero-Knowledge

On the Rationalizability of Square Roots in Two Variables

Damn Vulnerable DeFi V3 - Compromised - Solution

Damn Vulnerable DeFi V3 - Selfie - Solution