サイファーパンク、AIがバグ検出を加速する中でZcash更新で形式手法を実証へ

ZECのトレジャリー企業は、ビットコインで過去に1840億BTCが過剰発行されたバグを引き合いに出し、ブロックチェーンソフトウェアは証明可能な正しさによって堅牢化すべきだと主張した。