adaptive zk-SNARK verification