How to Use Bitcoin to Incentivize Correct Computations
highly - scalable searchable symmetric encryption with support for boolean queries .