Artem Chystiakov
@Arvolear
Ethereum OG | Simplicity Ecosystem Engineer at @blockstream | Opinions are my own
参加 March 2021
193 フォロー中 3K ファン
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?
