ZODL創始人：ZEC漏洞不是底層密碼學或生成證明的引擎中的缺陷
來源 金色財經
金色財經報道，6月5日ZEC受Orchard池無限僞造漏洞影響大跌30%，ZODL創始人Josh Swihart發文表示，Orchard漏洞存在於其中一條規則中，該規則編寫得過於寬鬆，允許接受虛假信息並仍然通過驗證。因此，引擎可能會誤認爲虛假交易有效。實際上，有人可能在Orchard交易池中僞造了ZEC。這是手寫規則中的缺陷，而不是底層密碼學或生成證明的引擎中的缺陷。問題是如何確保漏洞不再發生，最好的答案是形式化驗證。Tachyon 目前正採用形式化驗證進行構建，使用更簡潔、更統一的規則手冊。與 Orchard 相比，特殊情況和複雜細節更少，這意味着整個規則手冊都可以通過數學證明進行完美驗證。多個團隊已經在着手正式驗證Orchard現有的電路。如果驗證成功，那麼在Tachyon之前，近期推出第二個Orchard池或許是最佳方案。Tachyon更加簡潔，但經過正式驗證的Orchard池可以作爲有效的過渡措施。
免責聲明：僅供參考。 過去的表現並不預示未來的結果。
推薦文章
市場聚焦美伊局勢，儘管週一（5月25日）美伊就資產解凍達成諒解，這令市場看到進一步達成停火協議的希望。但其後美伊雙方的最新軍事行動為令停火談判蒙陰，投資者擔憂荷莫茲海峽將在更長時間內保持封閉，WTI原油時段內漲近3%，收復93.0美元關鍵水準。值得留意的是，美國為全球最大石油出口國，隨著美伊局勢再度動盪以及聯准會年內加息預期升溫，預計美元整體反彈格局有望延續。
週三（6月3日）據伊朗伊斯蘭共和國廣播電視臺（IRIB）報導，因美國在波斯灣、荷莫茲海峽及葛希姆島採取敵對行動，伊朗襲擊了位於科威特的美國阿裏·阿爾薩利姆空軍基地（Ali Al-Salem Air Base）以及阿裏夫詹營（Camp Arifjan）。與此同時，包括沙特在內的中東多國均傳出爆炸聲。美國中央司令部則表示，美軍針對伊朗在中東全境企圖發動的襲擊，對葛希姆島實施了自衛打擊。
部分機構看好比特幣反彈，另一部分則認為比特幣未來還會有更大幅度的下跌。
目前市場對日本央行升息定價已經比較充分，即便升息落地，日幣升值空間也恐怕有限。
週四（6月4日）黎巴嫩和以色列同意停火，黎巴嫩總統奧恩(Joseph Aoun)表示，一旦獲得最終批准，與以色列的停火協議可在24小時內開始實施。市場對美伊達成協議的預期有所回暖，VIX恐慌指數挫超4%，WTI原油跌超3%，回落考驗93.0美元，美元指數持穩99.0上方。
