  Witness encryption using multilinear maps was first proposed in 2013, and has
continued to evolve since. In this paper, we build on an open-source
multilinear map implementation by Carmer and Malozemoff of the graded encoding
scheme CLT13 with asymmetric modifications. Using this map, we created the
world's first ciphertext encoded with a candidate witness encryption scheme.
Finally, using a reduction from Sudoku to Exact Cover, we encrypted the private
key to a Bitcoin wallet with 22,700 Satoshi using a Sudoku.
