From the Blog on zero knowledge proof