lyrics to a song about cryptographic bit commitment.