os custos de zk proof caíram em relação ao cálculo que está a ser provado...