kzchen.eth
@zchn
@msolomon.eth and Runtime Verification are working on formal verification of the Superchain Optimism Protocol. And we are hiring! 🙂
0 reply
1 recast
2 reactions