Eduardo(@hackerdocc):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

Eduardo

@hackerdocc

0x1A yo ; verifying zero-knowledge to make sure it's actually dumb ; organized TYPED Floripa ; prev SRE @bookingcom and Rust & cryptography @opactprotocol

参加 July 2020

1.4K フォロー中 818 ファン

Eduardo@hackerdocc

2026.06.05 21:26

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