Pinned Repositories
evm_simulator_rs
CLI based transaction simulator supporting any EVM chain, written in Rust.
Huff-Console
Console.log utility for debugging huff contracts
LowLevelVulnerabilities
Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solidity or vyper
p256-verifier-huff
Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation
UniswapV2-Huff
Optimised Uniswap V2 contracts written in Huff language
UnsafeECC
POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors
Zyclone
2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
optimism
Optimism is Ethereum, scaled.
specs
OP Stack Specifications
dn404
Implementation of a co-joined ERC20 and ERC721 pair.
AmadiMichael's Repositories
AmadiMichael/LowLevelVulnerabilities
Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solidity or vyper
AmadiMichael/UniswapV2-Huff
Optimised Uniswap V2 contracts written in Huff language
AmadiMichael/Zyclone
2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
AmadiMichael/Huff-Console
Console.log utility for debugging huff contracts
AmadiMichael/UnsafeECC
POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors
AmadiMichael/p256-verifier-huff
Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation
AmadiMichael/Tempest
Private transactions on EVM chains, supporting dynamic deposit amounts, partial withdrawals and shielded/confidential transfer of value.
AmadiMichael/tstore-huff-template
Tstore huff template
AmadiMichael/EllipticCurves
Elliptic curve operations written in rust.
AmadiMichael/EOF-Bytecode-Parser
A parser for EVM Object Format (EOF) Bytecode with Validation Checks.
AmadiMichael/curta-golfer
My solutions to curta golf optimization challenges
AmadiMichael/OpcodesBitmap
easy-to-query encoding of all supported EVM opcodes into 256 bits.
AmadiMichael/uniswap-v2-puzzles-solutions
Solutions to: https://github.com/RareSkills/uniswap-v2-puzzles
AmadiMichael/Exorcist
Exorcist forks and essentially removes the `Soulbound` properties of a Soulbound token, making it transferable in an optimal way
AmadiMichael/MinimalisticSignatureClaim
Hyper-Optimized Minimalistic Signature Claim contracts with Solidity, Inline Assembly and Huff implementations
AmadiMichael/StealthAddressProtocols
Stealth Address Protocols implementations
AmadiMichael/LockTest
Paranoid 100% account access and state transition test
AmadiMichael/awesome-huff
A curated list of resources for Huff language
AmadiMichael/crysol
Elliptic curve cryptography in pure Solidity for on- and offchain operations
AmadiMichael/erc7399-reference
ERC7399 Flash Loans Reference Implementation
AmadiMichael/gaslite-core
Gaslite's Highly Optimized Smart Contracts
AmadiMichael/huff-rs
A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.
AmadiMichael/huffmate
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
AmadiMichael/leetcode-solutions
Leetcode Solutions in Rust
AmadiMichael/MyGit
Implementation of major parts of git from scratch in rust
AmadiMichael/NandToTetris
Part 1 and 2 of my NandToTetris project assignments. Building the hardware and software components of a computer from scratch
AmadiMichael/oracle-module
AmadiMichael/protocol-core
Multi Stablecoin & collateral protocol. Starting with Naira Stablecoin (xNGN)
AmadiMichael/riscv-exercise-book-solutions
AmadiMichael/transient-goodies