Zcash形式検証シリーズ

形式検証を基本原理から解説し、2026年のOrchard健全性バグをたどり、Ironwoodが機械検証済みの数学的証明でどう対応したかを示す全3回のシリーズ。