水滴云鏈?zhǔn)且环N編程語言Lurk，支持Filecoin協(xié)議的開發(fā)。Lurk可以通過虛擬機(jī)（FVM）等多種方式支持Filecoin協(xié)議開發(fā)。 Lurk編程語言存儲(chǔ)庫已對(duì)公眾開放。Lurk是一種遞歸zk-SNARK的圖靈完備編程語言，可用于SNARK證明、區(qū)塊鏈共識(shí)、Filecoin虛擬機(jī)（FVM）、去中心化應(yīng)用程序以及與IPFS和IPLD等相關(guān)領(lǐng)域。 相對(duì)于大多數(shù)編程語言，Lurk編程語言可使用zk-SNARKs直接證明程序的正確執(zhí)行。Lurk生成的證明比較小，可快速驗(yàn)證，且僅揭示證明的要求。 Lurk是易于使用的語言，使程序開發(fā)更為簡單。它使SNARK編程更易于訪問，并且人們不需要是領(lǐng)域?qū)＜揖涂梢跃帉戇@些程序。 Lurk由ProtocolLabs高級(jí)研究工程師Chhi"mèdKünzang創(chuàng)建，并且支持多種關(guān)鍵特性，如可驗(yàn)證的計(jì)算、簡潔的證明、零知識(shí)、圖靈完備、內(nèi)容可尋址的數(shù)據(jù)任意遍歷、高階函數(shù)、用于與IPFS和IPLD自然集成的內(nèi)容可尋址數(shù)據(jù)等。 Lurk可以通過多種方式支持Filecoin協(xié)議的開發(fā)，例如，與Filecoin虛擬機(jī)（FVM）的集成，可以在Filecoin區(qū)塊鏈上驗(yàn)證Lurk程序和應(yīng)用程序。它還可以幫助代理、協(xié)調(diào)，并激勵(lì)長期運(yùn)行的Lurk作業(yè)，從而便于存儲(chǔ)在Filecoin網(wǎng)絡(luò)中的數(shù)據(jù)等。 Lurk生態(tài)系統(tǒng)包括由ProtocolLabs和Filecoin Foundation支持的研究人員和開發(fā)團(tuán)隊(duì)，如哈佛SEAS計(jì)算機(jī)科學(xué)助理教授Nada Amin，Glow以及Yatima。 未來幾個(gè)月內(nèi)，將推出Lurk網(wǎng)站和博客，深入探討Lurk技術(shù)特征和歷史背景。請(qǐng)隨時(shí)關(guān)注Twitter上的相關(guān)信息，或登錄GitHub上的Lurk存儲(chǔ)庫獲取更多信息。

熱點(diǎn)：ipfs