Non-malleable bit commitment protocol.