TwiScan Hot Communities Account collections
Login Register

Register and share your invite link to earn from video plays and referrals.

Register now
Derek
@dhsorens
researcher | formal verification protocol snarkification at @ethereumfndn
Joined June 2016
1.9K Following    428 Followers
Derek@dhsorens
2026.05.11 18:44
good summary. our formal verification work is vastly accelerating bc of all of this
0
0
15
1
Forward to community