Proof of Work Without All the Work Download pdf Tags: Formal Methods and Language-based Security Mathematics and Statistics Networking Wired Networking Wireless Social Behavioral and Economics Sciences 1816250 1816076 SaTC PI Meeting 2019 Project Slides License: CC-2.5 Submitted by Jared Saia on Wed, 01/08/2020 - 12:10