RT Sean Bowe: Zcashの新たな形式検証の取り組みにより、新Ironwoodプールの検出不能な偽造バグが排除される
Zcashの新しいIronwoodプールは、基盤となる暗号前提に至るまで、すべての検出不能な偽造バグを排除するために形式検証が行われている。この取り組み「Project Tachyon」により、Zcashのセキュリティが大幅に強化される。
背景メモ
- Zcashはプライバシー保護に特化した暗号通貨（元祖「プライバシーコイン」の一つ）。通常のビットコインと違い、送金者・受取人・金額を隠せる「シールドトランザクション」が特徴。
- 「Ironwood pool」はZcashが新しいプライバシープール（シールドトランザクションの処理方式）として開発しているもの。旧来のSaplingプールの後継。
- 「正式検証（formal verification）」とは、数学的な証明を使ってソフトウェアにバグが存在しないことを厳密に示す手法。暗号通貨ではカウンターフィッティング（偽造）バグが発見されると、無限にコインを増やせてしまう重大な脆弱性になる。今回の取り組みでは、そうしたバグを未然に防ぐために証明を機械的に検証可能にしている。
- Sean BoweはZcashのコア開発者で、現在は開発元のElectric Coin Companyに所属。Navalは著名なベンチャーキャピタリストで、このポストは彼によるリツイート。