Added the Schnor proof example
Added parameter extratction for EC groups. A proof of concept ZKP.