クリプト

匿名通貨Zcash(ZEC)の「ゼロ知識証明」について解説してみる

ぴゅーぱ's icon'
  • ぴゅーぱ
  • 2018/04/29 09:12

こんにちは。ぴゅーぱです!

今日は匿名通貨について話してみたいと思います。


Content image


日本ではCoincheckも取り扱いを続けるかはだいぶ怪しいところですし、これから規制の流れが強化されるであろう匿名通貨ですが、仕組みはとても面白いです。

数ある匿名通貨の中でも特に匿名性が高いZcash。他の匿名通貨であるDashやMoneroではオープンなアドレスや数量なんかも匿名化されています。

Zcashの「zk-SNARK」というプロトコルで採用されている「ゼロ知識証明」についての話です。


・ゼロ知識証明とは?

ゼロ知識証明とは

暗号学において、ゼロ知識証明(ぜろちしきしょうめい、zero-knowledge proof)とは、ある人が他の人に、自分の持っている(通常、数学的な)命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明できるようなやりとりの手法である。

引用 : ゼロ知識証明(Wikipedia)


うおーいみわかんね。って方のためにJean-Jacques Quisquaterらによる論文"How to Explain Zero-Knowledge Protocols to Your Children"で紹介されている洞窟の問題を例にしてゼロ知識証明について説明しています。


・洞窟の問題

Content image


上のような通路の洞窟があったとしましょう。鍵がかかっている扉に行くルートは1と2の2種類があります。

Aさんはこの扉を開ける方法を知っています。BさんはAさんからこの扉を開ける方法をお金を払って教えてもらいたいけれど、そもそもAさんが本当にこの扉を開けられるか疑わしいのでAさんが嘘をついていないか予め確かめておきたい。

こんなときどうしましょう?

まだお金は支払われていないのでAさんはBさんに「鍵の開け方を知っている」という情報以外を与えず「鍵の開け方を知っている」と証明しなければいけないのです。命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明する、ということの例になっています。

まずBさんに洞窟の外で待機してもらってAさんは1か2のどちらかのルートで扉の前までむかいます。Aさんが扉に到達したあとBさんはルートの分かれ道で1か2のどちらのルートで帰ってくるか指定します。


今回はAさんが1のルートで扉にむかったとしましょう。


Content image

<① Bさんが1のルートで帰ってくるように指定した場合>

Aさんはそのまま来た道を戻ります。


<② Bさんが2のルートで帰ってくるように指定した場合>

Aさんは扉の鍵を開けて2のルートでBさんのところに戻ります。


この1回の試行ではBさんはAさんが鍵の開け方を知っていると納得できません。1/2の確率でAさんは鍵の開け方を知らなくても指定されたルートから帰ってこれるからです。

そのため、この試行を何度も繰り返します。

10回の試行で10回指定されたルートで帰ってこられればAさんがウソをついている確率はかなり0に近づきます。信憑性をあげるならば、さらに試行を繰り返せばよいです。


こうして「鍵の開け方を知っている」という情報以外を与えずに「鍵の開け方を知っている」と証明することができました。これが「ゼロ知識証明」ということです。



・イーサリアムへの応用

zk-SNARKは高く評価されていて、イーサリアムにも応用されています。

2017年10月に行われたビザンチウムというアップデートでzk-SNARKが実装されました。イーサリアムを用いて投票を行うシステムを開発する際、匿名性が必要になります。zk-SNARKが実装されていることで、投票内容を明らかにすることなく確かに投票が行われていることを証明できるのです。

ALISのロジック変更の投票も将来的にこんな形で実施されるかもしれませんね。

ではまた次の記事でお会いしましょう!



↓私の他の記事とTwitterはこちらから↓

https://alis.to/users/pupa

@cryptoera_pupa

公開日:2018/04/29
獲得ALIS:74.21
ぴゅーぱ's icon'
  • ぴゅーぱ
  • @pupa
「分かりにくいことを分かりやすく」をモットーに記事を書いていきたいと思います。Twitterはこちら@cryptoera_pupa

投稿者の人気記事
コメントする
コメントする
こちらもおすすめ!
Eye catch
クリプト

Uniswap(ユニスワップ)で$ALISのイールドファーミング(流動性提供)してみた

Like token Tip token
59.89 ALIS
Eye catch
クリプト

約2年間ブロックチェ-ンゲームをして

Like token Tip token
50.20 ALIS
Eye catch
クリプト

Uniswap v3を完全に理解した

Like token Tip token
18.92 ALIS
Eye catch
クリプト

コインチェックに上場が決まったEnjin Coin(エンジンコイン)コインを解説

Like token Tip token
21.49 ALIS
Eye catch
クリプト

ジョークコインとして出発したDogecoin(ドージコイン)の誕生から現在まで。注目される非証券性🐶

Like token Tip token
38.21 ALIS
Eye catch
クリプト

【第8回】あの仮想通貨はいま「テレグラム-TON/Gram」

Like token Tip token
69.90 ALIS
Eye catch
クリプト

Bitcoin史 〜0.00076ドルから6万ドルへの歩み〜

Like token Tip token
946.13 ALIS
Eye catch
クリプト

Polygon(Matic)で、よく使うサイト(DeFi,Dapps)をまとめてみた

Like token Tip token
235.30 ALIS
Eye catch
クリプト

17万円のPCでTwitterやってるのはもったいないのでETHマイニングを始めた話

Like token Tip token
46.50 ALIS
Eye catch
クリプト

【初心者向け】JPYCを購入して使ってみました!

Like token Tip token
26.03 ALIS
Eye catch
クリプト

CoinList(コインリスト)の登録方法

Like token Tip token
15.55 ALIS
Eye catch
クリプト

NFT解体新書・デジタルデータをNFTで販売するときのすべて【実証実験・共有レポート】

Like token Tip token
110.79 ALIS