Horizen Labs于5月23日宣布推出了zkVerify，這是一個(gè)專為優(yōu)化結(jié)算而設(shè)計(jì)的專用零知識(shí)證明驗(yàn)證網(wǎng)絡(luò)。據(jù)Horizen Labs估計(jì)，到2023年，以太坊上zk-rollups的證明驗(yàn)證花費(fèi)將達(dá)到4700萬(wàn)美元。zkVerify的推出為使用zk-rollups構(gòu)建的開發(fā)人員消除了計(jì)算密集型證明驗(yàn)證的成本和復(fù)雜性，為去中心化應(yīng)用程序的可擴(kuò)展性和采用提出了關(guān)鍵的解決方案。這一舉措將為加密貨幣社區(qū)帶來(lái)更高效的結(jié)算和驗(yàn)證方式，推動(dòng)加密經(jīng)濟(jì)的發(fā)展。