Update README.md

Updated to reflect that the code uses SNARK.