search

Vectorized / dn404

Implementation of a co-joined ERC20 and ERC721 pair.
MIT License
476 stars 158 forks source link

⚡️ Use updated FindFirstSet formulation #122

Closed Vectorized closed 7 months ago

Vectorized commented 7 months ago

https://github.com/Vectorized/solady/pull/875

Use the z3 script to hunt for smaller constants, since we don't need to cater for the zero case.