Artem Chystiakov
@Arvolear
Ethereum OG | Simplicity Ecosystem Engineer at @blockstream | Opinions are my own
Joined March 2021
193 Following 3K Followers
1. Implement a smart contract in a most simple way possible.
2. Ask Claude to optimize the hell out of it.
3. Formally verify their equivalence.
4. Win?
