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