Devcon-BitcoinBay FRP Specification from EthWaterloo 2019 https://github.com/lightswarm124/FRP-Specifications