computer-science

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

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

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

ファイルレイアウトが重要になる物理的な現実

チューリングマシンにできないこと、そしてそれが重要な理由

脳とAIが「近似チューリングマシン」である理由