Lurk——Recursive zk-SNARKs编程语言

Posted 2022-09-20 mutourend

1. 引言

Lurk 是一种用于Recursive zk-SNARK（递归零知识简洁非交互式知识论证）的图灵完备编程语言，它将为 SNARK 证明、区块链共识、Filecoin 虚拟机 (FVM)、去中心化应用程序、与 IPFS 和 IPLD 等激发新的可能。

Lurk为Lisp的一种静态方言。

Lurk当前支持多种proving system：

• 1）Groth16
• 2）SnarkPack+：How to aggregate SNARKs efficiently
• 3）Nova：Recursive SNARKs without trusted setup：为微软团队2021年论文。
  • 3.1）Nova具有当前研究中的最小verifier circuit，看实现fast verification of zero-knowledge proofs。
  • 3.2）Nova为当前最简单的recursive proof system，同时提供了fastest prover。
  • 3.3）Nova无需可信设置。
  • 3.4）相关资料有：
    • Nova视频讲解
    • Nova论文
    • Nova开源代码

Lurk中使用SNARK-friendly Poseidon hash函数来构建compound data，使得该data自然为content-addressable。具体见Neptune：针对Filecoin实现的Poseidon哈希函数。

Lurk支持如下关键特性：

• 1）可验证计算
• 2）简洁证明
• 3）零知识性
• 4）完备性
• 5）Higher-order functions (e.g. functions as public inputs to computations, with proof)
• 6）Content-addressable data for natural integration with IPFS and IPLD

参考资料

[1] Filecoin 2022年4月博客 Introducing Lurk: A programming language for recursive zk-SNARKs
[2] twitter Lurk支持Nova recursion