ビットコインにゼロ知識証明が登場、ネットワークの検証を迅速化