Michael Amadi @AmadiMichaels Twitter profile

Pinned Tweet

Michael Amadi

2 years

Took some time and a lot of debugging but it's completed. Uniswap V2 written in @huff_language 🐴 - UniswapV2Pair - UQ112x112

GitHub - AmadiMichael/UniswapV2-Huff: Optimised Uniswap V2 contracts written in Huff language

Optimised Uniswap V2 contracts written in Huff language - AmadiMichael/UniswapV2-Huff

github.com

34

43

359

Last Seen Profiles

@ashantisearra

@brieeyann

@bbaennies

@okkerhof

@Bryan_supapi

@chat0rq

@jandakembangstw

@shuri_pua2

@NatlHeadStart

@Yoginath_Parody

@nollyangeeeel

@rafaagarcia1

@aone0912ken_men

@bokeplokalmalam

@vyan_numberi

@EllenFoleyNYC

@GetafeCF_Off

@Cr1m1na11

@refinableapp

@KOH_KIRA

@INTERESTconf

@adanNovak01

@lastbirdsmusic

@Seek_doors711

@EricSchoenbach

@NestosiX_

@MikliMeliss

@udaustinx

@Arroyer

@stw46

@gendai_shinsho

@lecastormag

@makitofx

@shanshan521

@meryemuzunerli

@DurstMinou

Michael Amadi

@AmadiMichaels

2 years

@FeyiiSZN That's why everyone isn't LGBTQ. This is like saying that Engineers that go to doctors for treatment are funny to you because if everyone was an engineer then who'd treat them. Everyone can't be an Engineer. Everyone can't be LGBTQ. Let everyone do what they want. Simple.

8

13

312

Michael Amadi

@AmadiMichaels

1 month

Happy to share that I'm joining @OPLabsPBC as a Protocol Engineer. Excited to collaborate with some of the brightest minds to help scale Ethereum and build the future 🔴

65

12

282

Michael Amadi

@AmadiMichaels

11 months

For the Huffathon, I, alongside @tanim0la and @Jesserc_ built Zyclone, a Token mixer, similar to Tornado Cash, but way cheaper. In fact, it's more than 500% cheaper to use than current TC instances. Here's the benchmarks and the link to the repo can be found below 👇

13

21

140

Michael Amadi

@AmadiMichaels

11 months

Made a Secp256r1/p256 EC verifier Huff implementation. This was inspired by @daimo_eth 's implementation and passes their unit tests. In comparison to theirs, this implementation costs approximately 90k gas less (~ 240k gas) to verify a p256 sig.

GitHub - AmadiMichael/p256-verifier-huff: Hyper-Optimised Secp256r1/P256 Verifier Huff Implementa...

Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation - GitHub - AmadiMichael/p256-verifier-huff: Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation

github.com

12

17

115

Michael Amadi

@AmadiMichaels

9 months

Today I'm starting a repository of vulnerabilities unique to smart contracts written without the guardrails that higher level langs provide. I'll be updating it over time with more vulnetabilities and POCs. More info under tweet 👇

GitHub - AmadiMichael/LowLevelVulnerabilities: Examples and POCs of Vulnerabilities that are unique...

Examples and POCs of Vulnerabilities that are unique to EVM contracts written without the guardrails of higher level languages like solidity or vyper - AmadiMichael/LowLevelVulnerabilities

github.com

3

20

113

Michael Amadi

@AmadiMichaels

1 year

Been learning rust. Made this cool CLI tool to practice my learning so far. Would appreciate criticisms on it and how it can be better, faster etc

GitHub - AmadiMichael/evm_simulator_rs: CLI based transaction simulator supporting any EVM chain,...

CLI based transaction simulator supporting any EVM chain, written in Rust. - AmadiMichael/evm_simulator_rs

github.com

5

12

108

Michael Amadi

@AmadiMichaels

8 months

1/25 2023 was my first full year as a developer and was definitely one to remember. I learnt a lot, made a lot of OS code, did gas, bytecode audits, wrote smart contracts and articles Collating certain milestones made me realize my progress hasn't been as bad as I thought 👇

16

11

98

Michael Amadi

@AmadiMichaels

2 years

@huff_language is already cool but sometimes debugging large your codes requires some patience. Imagine how much easier debugging it would be if we could console log the stack, memory, calldata at different points in our huff codebase? Well here you go

GitHub - AmadiMichael/Huff-Console: Console.log utility for debugging huff contracts

Console.log utility for debugging huff contracts. Contribute to AmadiMichael/Huff-Console development by creating an account on GitHub.

github.com

6

21

91

Michael Amadi

@AmadiMichaels

9 months

LowLevelVulnerabilities: NOT SO MEMORY SAFE Your code can be memory unsafe even without violating what the solidity docs define as memory-safe. Without running the code first, check if you can correctly guess whay these two contracts return Answer is below 👇

6

89

Michael Amadi

@AmadiMichaels

3 months

Starting today...

4

3

89

Michael Amadi

@AmadiMichaels

4 months

Last week was my last at Rareskills. It's been a wonderful ride researching, learning, and building with brilliant colleagues! Very grateful for the invaluable experiences and the exceptional people who made it an unforgettable part of my journey!

5

2

82

Michael Amadi

@AmadiMichaels

1 year

Was interesting building this! @huff_language implementation of a @Uniswap UniswapX Filler execution contract with ability to dynamically swap between V2 and V3 pools via the SwapRouter02 router.

GitHub - AmadiMichael/UniswapX-Huff-Filler: UniswapX SwapRouter02 Executor Filler Written in Huff...

UniswapX SwapRouter02 Executor Filler Written in Huff Language - AmadiMichael/UniswapX-Huff-Filler

github.com

6

13

78

Michael Amadi

@AmadiMichaels

7 months

Thrilled to have been selected as one of the recipients of Builders Grant from @base for my P256 Huff Verifier: Grateful for the support and excited to continue building 🫡

Base

@base

7 months

Announcing some of the first recipients of Builder Grants in 2024: - @coinage_media , a DAO putting media ownership onchain - @mikebodge for Stay Hydrated's 'love letter to web3' - @OmniKingdoms , an onchain MMO with gasless gaming - @theahchu for @basemint_tech 's key-gated chat

90

83

448

11

6

77

Michael Amadi

@AmadiMichaels

5 months

Thanks for this cool custom pfp! @asterixlabs

10

9

71

Michael Amadi

@AmadiMichaels

3 years

@6ixthian @Fasoye_Mide @Tunde_OD Digital Ownership* NFTs are tokens on the blockchain that represent ownership of unique items, not just art.

2

5

67

Michael Amadi

@AmadiMichaels

1 year

My evm simulator detects balance and allowance changes (for erc20, 721 and 1155 token standards) for each tx simulated all from your CLI

4

6

68

Michael Amadi

@AmadiMichaels

7 months

Thrilled to share the launch of DN404, the result of a collaborative weekend effort with an exceptional team of chads, @0xCygaar @optimizoor @PopPunkOnChain @0xjustadev @0xQuit . DN404 is an implementation of a co-joined ERC20 and ERC721 pair. It offers: • Full compliance with

8

5

67

Michael Amadi

@AmadiMichaels

1 year

What if you had an external library with a couple of functions you wanted to optimize it as much as possible. So much so that if you could minimize function dispatch costs, you would be very glad? Well here you have it. A constant gas function dispatcher in external libraries 👇

9

8

63

Michael Amadi

@AmadiMichaels

9 months

Indepth explainer (POC, why) on ECC edge cases are quite hard to find. Most just say "Do not do this, it can be exploited this way", but never say why, how its possible mathematically. So I decided to make it easier to understand Summary below 👇

GitHub - AmadiMichael/UnsafeECC: POCs and In-depth explanation of the logic and math behind common...

POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors - AmadiMichael/UnsafeECC

github.com

3

11

59

Michael Amadi

@AmadiMichaels

2 months

Found an elliptic curve lib I was writing from scratch last year but didn't have the time to work much on it. I spent the weekend completing it. It's not as optimized as standard cryptography libs, but I can say it's way faster than it was initially.

GitHub - AmadiMichael/EllipticCurves: Elliptic curve operations written in rust.

Elliptic curve operations written in rust. Contribute to AmadiMichael/EllipticCurves development by creating an account on GitHub.

github.com

2

4

57

Michael Amadi

@AmadiMichaels

11 months

Some weeks back, I built Tempest, a prototype of how I imagine private transfer of value between 2 parties would work within a privacy based system similar to Tornado Cash. This is the outcome with a few extra features 🔅 Brief explainer 👇

GitHub - AmadiMichael/Tempest: Private transactions on EVM chains, supporting dynamic deposit...

Private transactions on EVM chains, supporting dynamic deposit amounts, partial withdrawals and shielded/confidential transfer of value. - AmadiMichael/Tempest

github.com

3

6

54

Michael Amadi

@AmadiMichaels

3 months

Just finished the Self-Hosted EVM quest on @nodeguardians and can't recommend it enough. Link in comments

2

53

Michael Amadi

@AmadiMichaels

3 years

@airykohnie @FrankKhalidUK @ChelseaFC @bluesempireCFC Quite a wonderful RB he's been this season. Wonder why he wasn't mentioned🤔

1

0

50

Michael Amadi

@AmadiMichaels

1 year

Huffidity, but it let's you jump back to solidity when you're done executing the huff bytecode. POC 👇

3

5

49

Michael Amadi

@AmadiMichaels

3 months

TIL: For addresses that do not exist, i.e., a) haven't sent a tx, i.e., nonce is 0 and b) haven't been the recipient of a non-zero value tx Their EXTCODEHASH is bytes32(0) and not keccak256(new bytes(0)) as you might expect. This includes selfdestructed contracts (at least

2

52

Michael Amadi

@AmadiMichaels

7 months

Progressive Deep Dive Into Stealth Address Protocols Special thanks to @merkleplant_eth for review and feedback!

Progressive Deep Dive Into Stealth Address Protocols | Notion

Special thanks to Pascal Merkleplant for review and feedback.

amadimichael.notion.site

3

15

46

Michael Amadi

@AmadiMichaels

2 years

So I brought this idea to life. A way for anybody to transfer and receive ERC20 tokens on any EVM chain without the internet using USSD. Basically, @Machankura8333 but for EVM chains.

Michael Amadi

@AmadiMichaels

2 years

Why isn't there a way to use stablecoins without the internet via USSD?

0

1

5

10

43

Michael Amadi

@AmadiMichaels

11 months

Want to start using cancun fork opcodes like tload and tstore with @huff_language ? It's as easy as just adding `cancun = true` to your foundry.toml and using the opcodes with the huff helper function __VERBATIM(). Here's an example with tload and tstore

GitHub - AmadiMichael/tstore-huff-template: Tstore huff template

Tstore huff template. Contribute to AmadiMichael/tstore-huff-template development by creating an account on GitHub.

github.com

0

6

43

Michael Amadi

@AmadiMichaels

1 year

Normally, 2**256 should revert since it "overflowed" before subtracting 1. But since this is hardcoded in the x function, Solidity (at compile time) performed the arithmetic outside evm rules and simply hardcoded true (in this case) as the return value, as seen in the x function

RareSkills

@RareSkills_io

1 year

Will this return true or false? function maxUint() public pure returns (bool) { return 2**256 - 1 == type(uint256).max; } Why?

14

1

23

1

8

44

Michael Amadi

@AmadiMichaels

1 year

@bytes032 Further optimization: use the scratch space (0x00 - 0x40) to store the revert message to avoid expanding memory. You also avoid the extra mload of 0x40 If the revert data is > 64 bytes, no need to check the free memory pointer since you're reverting right after.

5

1

43

Michael Amadi

@AmadiMichaels

3 months

Done with it. Learning fundamentals makes higher level stuff make so much more sense. Strongly recommend.

Michael Amadi

@AmadiMichaels

3 months

Starting today...

4

3

89

1

0

41

Michael Amadi

@AmadiMichaels

6 months

Congrats to everyone who submitted for the @curta golf contest @atarpara @real_philogy @shunduquar @0xjustadev Spent hours working on a constant gas solution for hours only to realize when I was done that there was a codesize gas penalty imposed 🤦🏾‍♂️ Thought I should still share

4

2

39

Michael Amadi

@AmadiMichaels

6 months

Happy to have audited Bytecode20, and it's finally public so check it out ! Gas bad

Pop Punk

@PopPunkOnChain

6 months

Introducing Bytecode20. The most ridiculously optimized and over engineered ERC20 base contract to ever exist. This is accomplished with raw EVM bytecode compiled directly in the constructor. Written by @0xjustadev , audited by @AmadiMichaels .

44

23

284

3

4

35

Michael Amadi

@AmadiMichaels

9 months

This is now deployed on Eth-Goerli, Eth-Sepolia, Base-Goerli and Base-Sepolia testnets at address 0x00000083Ea3aBb243c4acfDB095DB5aD5A606fc5 Also has a custom library that huff contracts can use to interact with it and verify sigs while choosing if to support malleability or not

Michael Amadi

@AmadiMichaels

11 months

Made a Secp256r1/p256 EC verifier Huff implementation. This was inspired by @daimo_eth 's implementation and passes their unit tests. In comparison to theirs, this implementation costs approximately 90k gas less (~ 240k gas) to verify a p256 sig.

12

17

115

4

3

36

Michael Amadi

@AmadiMichaels

1 year

More Dynamic Huffidity for CT This time a basic commit reveal scheme contract written in Solidity What's interesting is the hash algo it uses. It uses MiMCSponge, same as tornado cash. But here's the thing, it's not called via a staticcall like TC but internally via a jump 👇

2

3

35

Michael Amadi

@AmadiMichaels

1 year

EIP-7212: Precompiled for secp256r1 Curve Support

2

1

34

Michael Amadi

@AmadiMichaels

9 months

So I've been thinking of ways to improve runtime security for smart contracts and had an idea. Once a protocol is deployed. The team can define set of invariants and have a script check that these invariants still hold after every tx sent to the contract. 👇

11

5

32

Michael Amadi

@AmadiMichaels

3 months

Here's an interesting way to encode all of the supported opcodes of an EVM chain in 256 bits. This is that of Ethereum mainnet currently. Base 2:

3

0

35

Michael Amadi

@AmadiMichaels

3 years

@airykohnie @FrankKhalidUK @ChelseaFC @bluesempireCFC I thought we were being sarcastic?

0

31

Michael Amadi

@AmadiMichaels

9 months

🫡

0xjustadev.eth (⛽️,📉)

@0xjustadev

9 months

@real_philogy @curta_ctf @orenyomtov Need to look at @AmadiMichaels submission, that's the real alpha. I reverted all my 2251's last night, if I wasn't going to take the top spot I wanted my score to represent spirit of the challenge 😅

1

0

9

8

2

32

Michael Amadi

@AmadiMichaels

11 months

I'll be giving a talk tomorrow for the Huffathon on Huffidy: What it is, Its uses, detailed explainer on how it's possible and how it works, making it "Dynamic" and a live workshop where we will build a Huffidity contract from scratch! You won't want to miss this!

Huff

@huff_language

11 months

Speaker highlight: "Huffidity" by @AmadiMichaels 👈 Join the discussion about a project that allows you to write Huff code inside a Solidity contract 🤯 The "Huffidity" presentation on the Huff Center Stage Monday, Oct 2 at 5pm UTC

2

3

32

3

6

32

Michael Amadi

@AmadiMichaels

1 year

OptimizedMiMC Sponge hash function written in @huff_language . Tbh it's already a well optimized contract but was able understand how it works and squeeze out some gas saving Here's the benchmark for runtime and creation time gas savings Repository 👇

1

5

31

Michael Amadi

@AmadiMichaels

2 years

I could write low-level evm code for the rest of my life.

3

2

31

Michael Amadi

@AmadiMichaels

2 months

Wrote a generic (over the number of `bitsPerIteration`) Strauss Shamir impl. The space complexity is O(2 ** 2n), where n is the bitsPerIteration. Because of this, it's important to find a balance between gas cost per iteration and memory expansion cost that comes with reducing

1

0

30

Michael Amadi

@AmadiMichaels

1 year

Check out what we made guys!, great way to begin huffing 🐴

RareSkills

@RareSkills_io

1 year

Wanted to try @huff_language but needed some easy first steps? We've created Huff Puzzles () where you fill in the missing code, then run the tests we've created for you. It's super seamless. The puzzles start off very easy and get progressively harder.

5

24

111

2

0

27

Michael Amadi

@AmadiMichaels

6 months

1

6

24

Michael Amadi

@AmadiMichaels

10 months

@PopPunkOnChain contract RevGas { uint256 public i; /// call me {in, ex}ternally if you need that bag function getThatBag(uint256 x) public { for (uint256 i; i < x;) { assembly { let a := sload(i) } i := SafeMath.add(i, 1); } } }

2

0

25

Michael Amadi

@AmadiMichaels

1 year

Ofc Solidity uses 0x40 - 0x80 for its compiler operations (0x40 stores the free memory pointer and 0x60 is where uninitialized dynamic types point to) and expects only itself to update values stored there. 👇

zkash

@asyncakash

1 year

@AmadiMichaels @bytes032 can you please elaborate your point about revert data > 65 bytes… ?

0

1

2

4

25

Michael Amadi

@AmadiMichaels

7 months

First answer: Explainer: In Solidity, when it successfully matches the first 4 bytes of calldata sent to a function selector that expects parameters, it asserts that the length of calldata is >= (4(i.e the selector) + the number of parameters * 32). So

Michael Amadi

@AmadiMichaels

7 months

Solidity Trivia 0: Without looking at it's bytecode, does this contract have a revert path? and if so how can you trigger it?

3

0

13

2

1

23

Michael Amadi

@AmadiMichaels

28 days

@pcaversaccio You might like this,

EIP-7503: Zero-Knowledge Wormholes

Enable minting of secretly burnt Ethers as a native privacy solution for Ethereum

eips.ethereum.org

1

0

25

Michael Amadi

@AmadiMichaels

11 months

This now passes all wycheproof tests which test edge cases in parsed in parameters while verifying p256 sigs. There's also now a benchmark in the Readme and comparison with FCL's verifier and Daimo's verifier.

Michael Amadi

@AmadiMichaels

11 months

Made a Secp256r1/p256 EC verifier Huff implementation. This was inspired by @daimo_eth 's implementation and passes their unit tests. In comparison to theirs, this implementation costs approximately 90k gas less (~ 240k gas) to verify a p256 sig.

12

17

115

2

0

25

Michael Amadi

@AmadiMichaels

1 year

Huffoors and optimizoors, TIL, in the past, solidity supports something called "loose-assembly" which is basically what we would call Huff in Solidity. This means there's a codebase for this somewhere and the idea isn't far fetched It was disallowed in solidity 0.5.0!

3

2

23

Michael Amadi

@AmadiMichaels

8 months

2/25 I started @RareSkills_io at the start of last year and it has been nothing short of wonderful. Learnt a lot doing reasearch in different fields - Low level EVM - Gas Optimization - Security - Smart contract patterns - Cryptography and ZK - Other blockchain's architecture 👀

2

1

23

Michael Amadi

@AmadiMichaels

4 months

I've spent a substantial amount of the past 2 months playing around with aztec sandbox and reading through the docs/protocol specs, and I can't tell you how excited I am about this! Certainly can't wait!

Zac Williamson

@Zac_Aztec

4 months

gm gang, we've been hard at work building the Aztec L2 and I want to give an update! We're building a full end-to-end testnet and we're close to completing this breakthrough technology It will be the world's 1st decentralized, privacy-first programmable L2. Kind of a big deal.

34

71

482

0

1

23

Michael Amadi

@AmadiMichaels

1 year

Please correct me if I'm wrong We can safely use the zero slot and without setting it back to 0 while jumping btw solidity and julia, as long as there are no uninitialized dynamic memory values (UDMVs) e.g bytes memory, string memory and T[] memory within that call stack. 👇

4

23

Michael Amadi

@AmadiMichaels

1 year

For solidity devs using inline assembly, solidity uses the scratch space to perform keccak256 operations to get dynamic storage vars (DSV)'s storage slots. So best not to point memory vars there if the code reads DSVs using solidity afterwards. Solidity will be overwrite it.

6

0

21

Michael Amadi

@AmadiMichaels

1 year

🐴

Huff

@huff_language

1 year

Today, we are thrilled to announce a partnership that takes us back to our roots. @aztecnetwork has officially sponsored the Huff language ecosystem with a RPGF grant.

4

26

124

0

10

Michael Amadi

@AmadiMichaels

1 year

Bytecode auditing and analysis might **need** to be a thing after all...

2

0

20

Michael Amadi

@AmadiMichaels

4 months

With EIP-7702, what happens if the one-time code executes the selfdestruct opcode? - Gas refund? - More gas? Seems the better option since the nodes will still _attempt_ to delete the code & storage at the address after tx execution More importantly, what happens to the ETH at

5

0

19

Michael Amadi

@AmadiMichaels

4 years

I really haven’t even cracked the surface of what’s possible... I didn’t come this far to only come this far!

2

1

17

Michael Amadi

@AmadiMichaels

1 year

They're probably a dozen mm snaps and extensions now that do this now but just thought to share it in case anyone might find it helpful Here's the github repo, you can clone it and start running simulations

GitHub - AmadiMichael/evm_simulator_rs: CLI based transaction simulator supporting any EVM chain,...

CLI based transaction simulator supporting any EVM chain, written in Rust. - AmadiMichael/evm_simulator_rs

github.com

1

3

18

Michael Amadi

@AmadiMichaels

1 year

Damnnn, the urge to live stream writing in huff 😬

6

0

18

Michael Amadi

@AmadiMichaels

3 months

Spent the evening making an EOF bytecode parser with some header invariant validation based on the specs. Also using this to get back into rust. Here's an example output when run with EOF bytecode: 0xef0001010004020001000304000400008000013050fe0bad60a7 Repo link in comments

2

1

18

Michael Amadi

@AmadiMichaels

2 years

@asemota every "Centralized/Custodial Service" is going to end up regulated and customers protected.

3

1

16

Michael Amadi

@AmadiMichaels

2 years

This article by @marqymarq10 is a gem, thanks for sharing @pashovkrum One more thing that's not mentioned is how dynamic values initiated in memory are stored and returned. Which can be quite tricky, so I will explain it here. Let's dive in

pashov

@pashovkrum

2 years

Best intro for beginners to Yul I have read so far. Filled some gaps in my knowledge. Only problem was it says "19 minutes read" but it took me ~1hr lol

8

62

264

2

6

15

Michael Amadi

@AmadiMichaels

1 year

Was fun co-working on this. Zk tutorial, explaining and simplifying bilinear pairings, with examples written in python and on chain verification examples in solidity and in-line assembly.

RareSkills

@RareSkills_io

1 year

Without bilinear pairings, implementing zk in smart contracts would either be infeasible or cost a lot of gas. We've created a tutorial that removes as much of the scary math as possible (without taking shortcuts) and shows how to use them in Solidity.

3

20

1

15

Michael Amadi

@AmadiMichaels

1 year

TIL you can push to an array like so `x.push() = a`. With the optimiser turned off, X2.x(a) cost 19 gas less than X.s(a). With the optimiser turned on, it all cost the same anyways.

2

0

16

Michael Amadi

@AmadiMichaels

2 years

One of the side projects I've been sitting on extensively lol. Works nicely, but more can be done. More features too. Need to dedicate some spare time to finalize it ⚡️

3

2

16

Michael Amadi

@AmadiMichaels

3 months

Officially an EOF Maxi

Michael Amadi

@AmadiMichaels

3 months

EOF weekend 🔎

0

4

2

0

16

Michael Amadi

@AmadiMichaels

1 year

Alpha packed article! Over 11k words. Contains not just gas optimization tips but tips about inline assembly (beloved julia), the evm, the solidity compiler and more unique tricks!

RareSkills

@RareSkills_io

1 year

The RareSkills Book of Gas Optimization has been published. With over > 90 pointers and 11k+ words, not including source code, you are almost certainly going to see a trick or two you haven't seen before. We assume you know the EVM to a certain degree, this is not a beginner

20

76

295

1

0

15

Michael Amadi

@AmadiMichaels

2 years

Kudos to @jeiwan7 This used ZuniswapV2Pair's foundry tests, saved me a lot of time The uniswapv2 book was also a great resource/documentation for reference.

Programming DeFi: Uniswap V2. Part 1 - Going the distance

jeiwan.net

0

3

15

Michael Amadi

@AmadiMichaels

8 months

Wrote a minimal implementation showing how different stealth address protocols work So far, I've added 2 - Single key stealth address protocol - Double key stealth address protocol which is consistent with EIP 5564, Scheme ID 0 (SECP256K1 with view tags)

GitHub - AmadiMichael/StealthAddressProtocols: Stealth Address Protocols implementations

Stealth Address Protocols implementations. Contribute to AmadiMichael/StealthAddressProtocols development by creating an account on GitHub.

github.com

1

0

16

Michael Amadi

@AmadiMichaels

9 months

A day after this I was able to shave off 251 gas from this solution, check out the update in the github link in this tweet

Michael Amadi

@AmadiMichaels

9 months

🫡

8

2

32

0

15

Michael Amadi

@AmadiMichaels

9 months

All the equations, low level stuffs memecoins and whitepapers are nice but we really need more people and teams building for and with end users in mind. By end users I mean also and majorly users who have never or rarely heard of blockchains.

1

0

15

Michael Amadi

@AmadiMichaels

1 year

Pro tip: turn on notifications for @ScrapingBits podcast on all streaming platforms. There's a couple of hours/days difference between when @DeGatchi releases a new podcast there and when he announces it on here That way you get to hear alpha before others ⚡️

3

1

14

Michael Amadi

@AmadiMichaels

1 year

Okay You update your free memory pointer in JULIA, I update mine in Solidity. We are not the same. Warning: some forbidden code

2

1

14

Michael Amadi

@AmadiMichaels

2 years

@JustEmil6 @0xCygaar In solidity, uint256 overflows after (2^256)-1 and 1 ether is stored as 1e18. (2^256)-1 / 1e18 is the highest number to input before the overflow happens. Add 1 to that and that's what we should input to get an overflow. Twitter tweet limit, the screenshot I made explains further

1

0

13

Michael Amadi

@AmadiMichaels

4 months

You're in her dms, I'm in her PXE. We're not the same.

3

0

14

Michael Amadi

@AmadiMichaels

2 years

@0xCygaar Call "setFirstTime" with uint160(yourLibrary) that it's "setFirstTime" function can modify storage slot 1 or preferably can modify arbitrary storage slots for more flexibility, then you call "setFirstTime" again with uint160(yourAddress) to set slot 1 to your address.

1

2

13

Michael Amadi

@AmadiMichaels

3 months

@Jeyffre This (and the Yul course) was the first resource that ignited my love for low-level and gas optimization. Back then, it was difficult to find anything that explained yul/gas optimization well enough. Highly recommend for any solidity dev looking to go low-level.

0

14

Michael Amadi

@AmadiMichaels

6 months

@Amxx The proxy <0x3419875B4D3Bca7F3FddA2dB7a476A79fD31B4fE> (selfdestructable) calls another selfdestructable contract <0xDDA114b26B07Ce6a14675F035adA6725f2DBe0b8> that stores the implementation address of each function signature. Currently, all function sigs point to one contract

1

13

Michael Amadi

@AmadiMichaels

1 year

Building with Foundry and Hardhat together is so powerful⚡️. More tooling interoperability is best!

3

1

12

Michael Amadi

@AmadiMichaels

3 months

EOF-Solidity feature requests: 1) Native support for Code Section types: Defined as a struct of 4 fields: bytecode, num of inputs, num of outputs and max stack height. This is to be defined at the contract level and must be known at compile time so that it can be validated and

1

0

13

Michael Amadi

@AmadiMichaels

7 months

Solidity Trivia 0: Without looking at it's bytecode, does this contract have a revert path? and if so how can you trigger it?

3

0

13

Michael Amadi

@AmadiMichaels

2 years

@0xCygaar Unchecked block on line 16 Solidity represents 1 ether as 1e18 in uint and multiplying in an unchecked block that users have access to manipulate is dangerous To be specific, a user that inputs 115792089237316195423570985008687907853269984665640564039458 will be pay 1 ether.

1

0

13

Michael Amadi

@AmadiMichaels

8 months

Some 100% stateDiff/lock/paranoid testing Any thoughts? Had to write some helper functions to simplify working with accountAccess struct. Link to the repo is in the comments

Michael Amadi

@AmadiMichaels

8 months

@lucasmanuel_eth Was literally thinking through how a test model based on stateDiff would work some days ago Basically get all storage writes and assert that they're what's expected, in the order expected and no extra write happen outside what's expected Was thinking of naming it lock tests lol

1

0

3

1

0

12

Michael Amadi

@AmadiMichaels

11 months

TIL this is possible in solidity Don't know why I'll want to represent bytes this way, but it is possible

4

0

11

Michael Amadi

@AmadiMichaels

2 years

@huzzlepreneur @camshaft1984 @PraiseEzeigwe @adamci_t @__TarMbu @goal Its "Invincibles" not 'invisible' though lol

2

0

11

Michael Amadi

@AmadiMichaels

3 months

Improved it a bit. Here's an example of parsing a factory contract that creates another contract. This example is cool because it shows how nested container sections are encoded. - The first command parses the factory contracts eof bytecode - The second command copies the

Michael Amadi

@AmadiMichaels

3 months

Spent the evening making an EOF bytecode parser with some header invariant validation based on the specs. Also using this to get back into rust. Here's an example output when run with EOF bytecode: 0xef0001010004020001000304000400008000013050fe0bad60a7 Repo link in comments

2

1

18

1

11

Michael Amadi

@AmadiMichaels

2 years

@mande_eth @libevm CALLVALUE returns 0 if no wei is sent. But if the function is payable however, you can use RETURNDATASIZE. It is more optimized because PUSH1 0x00 costs 3 gas while the two formers cost 2 gas. Note that returndatasize will not be 0 if an external call returning data has been made

1

0

11

Michael Amadi

@AmadiMichaels

1 year

Also, tip to have in mind when using custom errors: reverting with a custom error that has 2 + n fixed sized parameters is equivalent in gas costs as reverting with a string of length: 4 + (n × 32) bytes

vectorized.eth

@optimizoor

1 year

I don't like using args in custom errors. Ugly. Inconsistent. Bloat.

11

0

34

0

1

10

Michael Amadi

@AmadiMichaels

1 year

Here's the github repo

GitHub - AmadiMichael/MiMCSponge-Huffidity: Using Dynamic Huffidity to embed MiMCSponge Hash...

Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract. - AmadiMichael/MiMCSponge-Huffidity

github.com

1

0

11

Michael Amadi

@AmadiMichaels

1 year

Interestingly, If you surround the xx function in an unchecked block just like xxx below, it will return true if sq is 256 because 2**256 in an unchecked block is == 0 and subtracting 1 from 0 in an unchecked block also is == uint256 max

0

11

Michael Amadi

@AmadiMichaels

2 years

@devtooligan Named imports helps to avoid having multiple-import error from the compiler due to inheriting 2 .sol files that have the same import like ownable.sol, address.sol, strings.sol etc

1

0

10

Michael Amadi

@AmadiMichaels

2 years

@0xCygaar Sorry guys, miscalculated this. Here's the correct calculations Inputting 115792089237316195423570985008687907853269984665640564039458 will require you pay 0.415992086870360064 ether

1

0

10

Michael Amadi

@AmadiMichaels

9 months

@GalloDaSballo If the contract is verified the `[0]` would be parameter names

2

0

10

Michael Amadi

@AmadiMichaels

1 year

And this isn't even an exaggeration, with enough practice you'll literally be able to look at any solidity line of code and turn that into opcodes by just looking at it! Even the solidity docs and it's patterns begin to make more sense after you've practiced huff long enough

0

1

9

Michael Amadi

@AmadiMichaels

2 years

When you deploy a contract, the runtime code is stored in the 'code' data location of the EVM and persisted across nodes. At this point it has read only access and cannot change... With create2 and self destruct however it can... A metamorphic contract:

GitHub - AmadiMichael/Metamorphic-contract: Contract metamorphism: Changing the runtime code of a...

Contract metamorphism: Changing the runtime code of a contract address using a factory, raw bytecode, create2 and self destruct. - AmadiMichael/Metamorphic-contract

github.com

1

10

Michael Amadi

@AmadiMichaels

8 months

25/25 This list isn't exhaustive though, my github sheds more light to what I've worked on / I'm working on: This year, i'm looking to go even harder and contribute more to the space. To end this, it's coming quite late but Happy new year everyone !

AmadiMichael - Overview

Protocol Engineer @ OP Labs. AmadiMichael has 48 repositories available. Follow their code on GitHub.

github.com

1

0

9