https://0xparc.org/blog/programmable-cryptography-1