クリプト領域のゼロ知識証明について学ぶ資料一覧(2022年)

初めに

クリプトに関するリサーチをする際、日本語では殆ど見かけ無い領域に、ゼロ知識証明に関する情報があると思います。
今回はゼロ知識証明とは何かを学ぶ際に、手助けとなる学習コンテンツをご紹介します。

ゼロ知識証明を初めて聞いたという方は、記事を読み進めるよりもデロイト トーマツによる「ゼロ知識証明入門」をご一読してみてください📝
https://amzn.to/3YxYurl

導入

「ゼロ知識証明」という言葉を聞いたことはあるものの、具体的にどういった手法で証明されるのかピンと来ない方には、まずこれがおすすめです。
UCLAの教授が、小学生から専門家まで順に５人に説明していく動画です。

• Computer Scientist Explains One Concept in 5 Levels of Difficulty
  https://youtu.be/fOGdb1CTu5c （ENG）
  https://youtu.be/eAp2HSjDPPk （日本語）

次は現在開発されている具体的な言語の違いと、EVMとの違いをの説明くださったPodcastがあります。

• Today I learned エピソード59: zkEVMとはなにか
  https://anchor.fm/todayilearnedfm/episodes/59--zkEVM-e1nfopi

Deep Dive

ここまでくれば、手を動かしたくなってきましたね。
ZK HackとPolygonが共同で行なっている「ZK Whiteboard Sessions」という学習プラットフォームをご紹介します。Polygonが行なっていることもあり、SNARKを基本としています。
現在16個の動画が用意されており、SNARKの技術とそれを用いたアプリケーションが紹介されています。内容は以下の通りです。

1. What is a SNARK?
2. Building a SNARK (Part I)
3. Building a SNARK (Part II)
4. SNARKs vs. STARKS
5. PLONK and Custom Gates
6. Lookup Arguments for Performance
7. Zero Knowledge Virtual Machine (zkVM)
8. Achieving Decentralised Private
9. Introduction to zkRollups with Barry
10. zkEVM
11. ZK Swaps
12. zkID
13. Fast Recursion with Plonky2
14. Nova Crash Course
    • Nova - a new pre-processing step for SNARKs.
15. Inner Product Argument in Halo 2
16. Multi-Asset Shielded Pool

さらに詳しく

最後は、 Devcon6 で発表されたZKPにまつわる動画集で締めくくります。

https://archive.devcon.org/archive/playlists/devcon-6-zkps-privacy-identity-infrastructure-and-more/

最後に

「ゼロ知識証明」に興味はあるものの、どう知識を深めていけば良いのか分からないという方の一助になり、今後は日本語でもゼロ知識証明とその応用について学べる環境が整えば幸いです🎄