MiloTruck

audits. Audits and findings by MiloTruck

evm-ctf-challenges. CTF challenges made by MiloTruck

regast. A static analyzer for Solidity, built upon regex and ASTs.

notes. Notes for auditing

smart-contract. Repository for smart contract challenges

sorella-notes. Solidity

solmate-invariants. Fuzzing solmate with medusa

solidity-snippets. A collection of commonly seen Solidity contracts.

security-guards. Guards for Safe accounts

GA_SubstitutionCipher. Using a Genetic Algorithm to decrypt Substitution Ciphers through Frequency Analysis.

catcher-smoke-test.

rational-math. Solidity library for performing calculations with rational numbers.