プログラムから数本の多項式方程式へ：SNARKがフラット化、R1CS、QAP変換を通じて計算をどうエンコードするか

たった1つの曲線上の点で256個の子にコミットでき、証明がキロバイトからバイトに縮小する仕組み

Ethereumが状態をどう保存し、1つのハッシュにコミットし、なぜその設計が限界に達しつつあるのか

教育は一枚岩ではない。段階に分解すると、テクノロジーが本当に役立つ場所が見えてくる。