本レポートでは、ゼロ知識証明（ZKPs）、およびzk-SNARKとzk-STARKの基礎的な概要を取り扱います。

ゼロ知識証明およびそれらを応用したzk-SNARK、及びzk-STARKは、暗号通貨・ブロックチェーン業界の様々な課題を解決すると期待されています。それはプライバシー、スケーラビリティ、インターオペラビリティまで多岐に渡ります。結果的に、ゼロ知識証明とそれを応用したプロトコルは将来、多くのアプリケーションに関わることになるはずです。

しかしながら、ゼロ知識証明の概念は複雑であり、実際に理解を深めるには数学と暗号学の知識を避けて通れません。

本レポートでは、ゼロ知識証明が将来にブロックチェーンの様々なアプリケーションにどのような影響を及ぼすかの前提を理解することを目的とし、数式などを用いず、あくまで基本的な理解を目指します。