消息来源频道

硬核开源智库

@HardcoreOpenAI

频道811 位成员公开可见持续更新

提供硬核学习资源，探索开源力量，驾驭AI未来！本频道精选GitHub优质开源项目、最新人工智能(AI)技术进展、前沿科技资讯以及各类有价值的学习资源，助你站在技术浪潮之巅，实现知识与技能的快速跃迁。无论你是开发者、AI爱好者还是技术探索者，都能在这里找到属于你的宝藏！

成员规模811 位成员

在线情况待同步

消息总数1,140 条消息

浏览量总数116,736 次浏览

频道详情频道地址

2025/12/18 05:25

在线零知识证明编程语言太复杂？Lurk来了！
Lurk 是一个基于 Lisp 设计的图灵完备 zk-SNARKs 编程语言，结合了 Scheme 和 Common Lisp 的优点。它能生成简洁高效的零知识证明，支持任意计算的证明，是区块链和隐私计算领域的利器。
- 静态作用域，语法简洁，极易扩展；
- 生成的证明体积小，验证速度快；
- 代码即数据，天然支持内容寻址；
- 目前版本 0.5，持续优化中，性能提升显著。
适合密码学研究者和区块链开发者探索零知识证明编程新可能。