«The Blockchain Folk Theorem» Wins SFI Outstanding Paper Award 2017