full proof of fair encryption