Download binary file, proofsystem_valid