GitHub Repo

lurk-lab/lurk

Lurk 是一种用于 zk-SNARKs 的图灵完备编程语言，基于 Lisp 方言，可直接证明程序执行正确性并生成简洁证明。

推荐理由

创造者可以借此了解 zk-SNARKs 编程范式，撰写技术科普或对比分析，也可用于构建隐私保护应用原型。

二创切入点

围绕项目能力写工具教程、场景拆解或对比评测。
复制 GitHub 概要后可直接改写成文章、社媒卡片或选题备忘。
生成分享卡片可以用于私域传播、收藏夹或选题库归档。

项目事实

语言: Rust
协议: mit
Issues: 55
首次收录: 2026/07/03