zk-SNARKsの理論
ゼロ知識証明 ゼロ知識証明とは証明者が検証者に対して、ある情報が正しいことを、それが正しいこと以外の情報を明らかにせずに証明できる手法のことです。 例えば、運転免許証や保険証を提示して相手に自分の身元を明らかにしたい時に、免許証に含まれる住所や、生年月日等の個人情報を隠蔽しつつ、持っているその免許証が本当に自分のものあり、正しい情報が含まれていることを証明する場合にゼロ知識証明が使われます。 ゼロ知識証明はいくつかの性質を持ちます。 ゼロ知識証明が持つ3つの性質 完全性（Completeness） 証明者の主張が真であるならば、検証者は真であることが必ずわかること。 健全性（Soundness） 証明者の主張が偽であれば、検証者はかなり高い確率でそれが偽であること見抜けること。 ゼロ知識証明（Zero Knowledge） あらゆる場合において、検証者が証明者から何らかの知識（情報）を盗も
11 Ways Ethereum Can Benefit Enterprise – ConsenSys Media
Consensys Events at EthCC and EthGlobal You Don’t Want to Miss June 19, 2024
Quadratic Arithmetic Programs: from Zero to Hero
There has been a lot of interest lately in the technology behind zk-SNARKs, and people are increasingly trying to demystify something that many have come to call “moon math” due to its perceived sheer indecipherable complexity. zk-SNARKs are indeed quite challenging to grasp, especially due to the sheer number of moving parts that need to come together for the whole thing to work, but if we break
非対話零知識証明 zk-SNARKs の解説良記事を数学的ハードルを下げつつ日本語で解説していく Part-1/7 - Qiita
想定読者 零知識証明 / zk-SNARKs について知りたい人 特に理論的側面を知りたい人 「zk-SNARKs って何だ？」という人 概要 zk-SNARKs とは zk-SNARKs というのは、非対話零知識証明の構築方法の一つです。 零知識証明 とは Wikipediaを見ると ある人が他の人に、自分の持っている（通常、数学的な）命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明できるようなやりとりの手法である。 とあります。少しわかりにくいのでもう少し具体的に書いてみます。例として、本人確認の文脈に絞ると、以下のように言って良いと思います。 自分自身であることを他の不要な情報を送らず(知られず)に証明することができる手法 何となくわかったとしても、「実際どうするの？」という疑問が出てくると思います。初めて聞いた方はピンとこないかもしれないので、洞窟の例
Why and How zk-SNARK Works 1: Introduction & the Medium of a Proof
The article is an adaptation of the PDF version. Despite the existence of multiple great resources on zk-SNARK construction, from original papers [Bit+11; Par+13] to explainers [Rei16; But16; But17; Gab17], due to the sheer number of moving parts the subject remains a black box for many. While some pieces of the puzzle are given one can not see the full picture without the missing ones. The first
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
zk-SNARKs - A Realistic Zero-Knowledge Example and Deep Dive
How does Monero privacy and security compare to Zcash?
Singapore Government Developer Portal
GitHub - coder5876/libsnark-tutorial: Tutorial and example code for using libsnark
Release announcement: Semaphore, a zero-knowledge gadget for Ethereum