(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work.

Philip Daian Ittay Eyal Ari Juels Emin Gün Sirer

Published in: Financial Cryptography Workshops (2017)

Keyphrases

control system
control method
information systems
information technology
neural network
theorem proving
equational theories
databases
decision procedures
control problems
theorem prover
first order logic
evolutionary algorithm
search algorithm
image sequences
computer vision
social networks
machine learning