zk証明コストは、証明される計算量に対して減少しています...