Витрати на докази ZK знизилися порівняно з обчисленнями, які доводять...