Proofgold: Blockchain for Formal Methods
Authors: Chad Brown, Cezary Kaliszyk, Josef Urban and Thibault Gauthier
Paper Information
| Title: | Proofgold: Blockchain for Formal Methods |
| Authors: | Chad Brown, Cezary Kaliszyk, Josef Urban and Thibault Gauthier |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | formal logic, blockchain, proofgold |
| Pages: | 15 |
| Talk: | Aug 11 14:00 (Session 127D: Formal Methods for Blockchain Protocols) |
| Paper: |  |