TABConf 2022 has ended
Friday, October 14 • 4:00pm - 4:30pm
Provably Bug-free BIPs & Implementations

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Writing good specifications is hard. Misinterpretations of seemingly minor aspects can result in catastrophic vulnerabilities in implementations. Therefore, in the BIP draft "Half-Aggregation of BIP 340 Schnorr signatures" recently published by Blockstream Research, we use a different approach than previous cryptography BIPs. Most importantly, our draft includes a _formal_ specification (a mathematically precise description of the scheme) written in the hacspec language, a subset of rust. This type of specification allows using software tools to prove security properties and the absence of certain kinds of bugs. Moreover, developers are able to write implementations whose behavior is provably identical to that of the specification.


Jonas Nick


Friday October 14, 2022 4:00pm - 4:30pm EDT
Village: BitDevs Socratic

Attendees (5)