Merkle puzzles

Merkle’s Puzzles is a key-agreement protocol in the random oracle model in which the honest parties make O(n) oracle queries and any eavesdropper needs Omega(n^2) queries to recover the key - a quadratic, and by BM09 optimal, query gap.

TODO: syntax and security definition.