Re: [math-fun] bit commitment blues?