les coûts des preuves zk ont diminué par rapport au calcul prouvé...