crypto

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

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

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

楕円曲線の数学が安全な鍵交換とデジタル署名をどう可能にするか