Lurk 递归证明语言

Lurn是一种图灵完备的，且支持递归的零知识证明开发语言，为SNARK 证明，区块链共识，FVM (Filecoin Virtual Machine)，去中心化应用，IPFS数据集成提供更多可能性。

Lurk 基于Lisp 实现，程序的执行可直接由zk-SNARKs证明，并且证明比较小，能被快速验证，仅暴露公开的信息。

Lurk 能够使开发的程序能够非常轻易地证明，使SNARK 开发更加简单。

Lurk 由 Protocol Labs创建，用以扩展Filecoin的证明。Filecoin 使用SNARKs 用于PoRep (Proof of Replication) 和 PoSt (Proof of Space-time)。

Lurk 是图灵完备的，支持任意的计算。 Lurk 支持多个后端：Groth16, SnarkPack+, Nova， 具有以下特征：

• 可验证的计算；
• 简洁的证明；
• 零知识性；
• 图灵完备性；
• 任意遍历可内容寻址的数据；
• 高阶函数 （函数作为输入）；
• 内容寻址数据，和IPFS 和 IPLD 整合。

Lurk 可通过多种方式支持Filecoin 协议的开发，可以整合FVM, 实现Lurk程序在Filecoin上快速验证，为Filecoin 智能合约提供可验证的零知识证明计算。Lurk 可以用来提升 Filecoin 分层共识机制，通过证明的形式快速验证子网的状态，提升可扩展性和灵活性。

参考

https://filecoin.io/blog/posts/introducing-lurk-a-programming-language-for-recursive-zk-snarks/

https://github.com/lurk-lang

https://github.com/filecoin-project/neptune

https://github.com/protocol/ConsensusLab/blob/main/docs/b1.pdf