在线零知识证明编程语言太复杂？Lurk来了！

Lurk 是一个基于 Lisp 设计的图灵完备 zk-SNARKs 编程语言，结合了 Scheme 和 Common Lisp 的优点。它能生成简洁高效的零知识证明，支持任意计算的证明，是区块链和隐私计算领域的利器。

- 静态作用域，语法简洁，极易扩展；
- 生成的证明体积小，验证速度快；
- 代码即数据，天然支持内容寻址；
- 目前版本 0.5，持续优化中，性能提升显著。

适合密码学研究者和区块链开发者探索零知识证明编程新可能。