Added some more background about zero knowledge proofs.