Michael Amadi's repositories
LowLevelVulnerabilities
Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solidity or vyper
UniswapV2-Huff
Optimised Uniswap V2 contracts written in Huff language
Huff-Console
Console.log utility for debugging huff contracts
p256-verifier-huff
Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation
EllipticCurves
Elliptic curve operations written in rust.
EOF-Bytecode-Parser
A parser for EVM Object Format (EOF) Bytecode with Validation Checks.
curta-golfer
My solutions to curta golf optimization challenges
OpcodesBitmap
easy-to-query encoding of all supported EVM opcodes into 256 bits.
uniswap-v2-puzzles-solutions
Solutions to: https://github.com/RareSkills/uniswap-v2-puzzles
MinimalisticSignatureClaim
Hyper-Optimized Minimalistic Signature Claim contracts with Solidity, Inline Assembly and Huff implementations
StealthAddressProtocols
Stealth Address Protocols implementations
awesome-huff
A curated list of resources for Huff language
gaslite-core
Gaslite's Highly Optimized Smart Contracts
huff-rs
A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.
leetcode-solutions
Leetcode Solutions in Rust
NandToTetris
Part 1 and 2 of my NandToTetris project assignments. Building the hardware and software components of a computer from scratch
optimism-package
A kurtosis package for deploying an optimistic rollup
protocol-core
Multi Stablecoin & collateral protocol. Starting with Naira Stablecoin (xNGN)