Filecoin很高興地宣布 Lurk 編程語(yǔ)言存儲(chǔ)庫(kù)現(xiàn)已向公眾開(kāi)放。 Lurk 是一種用于遞歸 zk-SNARK（零知識(shí)簡(jiǎn)潔非交互式知識(shí)論證）的圖靈完備編程語(yǔ)言，它將為 SNARK 證明、區(qū)塊鏈共識(shí)、Filecoin 虛擬機(jī) (FVM)、去中心化應(yīng)用程序、與 IPFS 和 IPLD 等等。

概述
Lurk 是一種靜態(tài)范圍的 Lisp 方言，受 Scheme 和 Common Lisp 的影響。它相對(duì)于大多數(shù)編程語(yǔ)言的顯著特點(diǎn)是可以使用 zk-SNARKs 直接證明 Lurk 程序的正確執(zhí)行。生成的證明相對(duì)較小，可以快速驗(yàn)證，并且它們僅揭示要證明的陳述中明確包含的信息。

簡(jiǎn)而言之，Lurk 是一種易于使用的語(yǔ)言，它使程序的開(kāi)發(fā)變得更加簡(jiǎn)單。它將使 SNARK 編程更易于訪問(wèn)——既因?yàn)榭梢跃帉?xiě)的程序比傳統(tǒng)的 SNARK 程序更“強(qiáng)大”，而且因?yàn)槟切┎皇穷I(lǐng)域?qū)＜业娜艘部梢跃帉?xiě)這些程序。

Lurk 由 Protocol Labs 高級(jí)研究工程師 Chhi’mèd Künzang 創(chuàng)建，作為實(shí)施 Filecoin 證明工作的擴(kuò)展。在其證明構(gòu)造中，F(xiàn)ilecoin 使用 SNARK，這是一種用于證明知識(shí)的高效、加密安全的機(jī)制。 “ZK”（零知識(shí)）雖然不是 Filecoin SNARKs 的必要部分，但意味著證明者可以在不透露任何關(guān)于被證明內(nèi)容的信息的情況下生成證明。 Filecoin 將 SNARK 用于復(fù)制證明 (PoRep) 和時(shí)空證明 (PoSt)，它們是網(wǎng)絡(luò)所依賴的核心加密協(xié)議。 （有關(guān)這些概念的高級(jí)介紹，請(qǐng)參閱此 ProtoSchool 教程。） Filecoin Proofs 的需求要求我們將上一代 SNARK 擴(kuò)展到其極限——同時(shí)也讓我們?nèi)ふ摇⒄J(rèn)識(shí)和發(fā)現(xiàn)下一代的可能性一代。

與大多數(shù) zk-SNARK 創(chuàng)作語(yǔ)言不同，Lurk 是圖靈完備的，因此可以提出和證明任意計(jì)算聲明（受資源限制）。 因?yàn)?Lurk 是一個(gè) Lisp，它的代碼就是 Lurk 數(shù)據(jù)，任何 Lurk 數(shù)據(jù)都可以直接作為 Lurk 程序求值。 Lurk 使用對(duì) SNARK 友好的 Poseidon 哈希（由 Neptune 提供）構(gòu)造復(fù)合數(shù)據(jù)，因此其數(shù)據(jù)自然是內(nèi)容可尋址的。

Lurk 目前支持多個(gè)后端證明系統(tǒng)，特別是帶有 SnarkPack + 和 Nova 的 Groth16，并支持許多關(guān)鍵功能：

可驗(yàn)證的計(jì)算
簡(jiǎn)潔的證明
零知識(shí)
圖靈完備性
內(nèi)容可尋址數(shù)據(jù)的任意遍歷
高階函數(shù)（例如，作為計(jì)算的公共輸入的函數(shù)，有證明）
用于與 IPFS 和 IPLD 自然集成的內(nèi)容可尋址數(shù)據(jù)