How does it work? I can imagine a program that checks if it sees a correctly signed message of the right time, but that program would then have to decrypt the payload, and I don't know how the key for the payload could be derived from the as yet nonexistent timestamp.
It’s basically a SNARK (cryptographic program) where the verification program itself is part of the cypher text and instead of outputting 0 or 1, you get decryption.
