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

プライバシー仮想通貨ジーキャッシュの次世代シールドプール「Ironwood」について、プロジェクト・タキオンは7日、形式検証により検知不可能な偽造バグを数学的に排除できると説明した。AI支援で数週間以内の証明完成を目指している。