n= 10000  setup=   64.61s  prove=   72.17s  verify=   4.7ms  proof=128B  verified=true