Eduardo
@hackerdocc
0x1A yo ; verifying zero-knowledge to make sure it's actually dumb ; organized TYPED Floripa ; prev SRE @bookingcom and Rust & cryptography @opactprotocol
Joined July 2020
1.4K Following 818 Followers
i think "formal verification is not a silver-bullet cuz specs are hard" is a terminal-stage midwit take — theorem statements are ~3 OOM smaller than implementations
e.g. zcash bug was something that was obviously breaking the implicit spec
Show more
