Derek
@dhsorens
researcher | formal verification
protocol snarkification at @ethereumfndn
1.9K Following 428 Followers
I actually think this is very likely
good summary. our formal verification work is vastly accelerating bc of all of this
