ジーキャッシュ、『Ironwood』の偽造バグを数学的に排除へ

この記事のポイントタキオン、Ironwoodの偽造バグを数学的に排除創業者ウィルコックス氏が証明完成を間近と表明Ironwoodの形式検証へプライバシー特化型仮想通貨ジーキャッシュ（ZEC）のアップグレードを手がけるプロジェクト・タキオンは7日、次世代シールドプール『Ironwood』の形式検証に関する技術解説を公式ブログで公開した。ジーキャッシュ創業者のゾーコ・ウィルコックス氏は「最新のジーキャッシュ・シールドプールに検知不可能な偽造バグが存在しないことを示す数学的証明の完成が間近だ」と述べた。同ブログが...