Add GMP-ECPP verification example