🗣 每日羊毛线报 👈


🏵 Lurk - 零知识证明编程语言

🍥 简介：
Lurk 是一款基于 Lisp 的图灵完备编程语言，专为 zk-SNARKs 零知识证明设计，受 Scheme 和 Common Lisp 影响。Lurk 允许开发者用简洁的语法编写可被 SNARKs 直接验证的程序，并生成高效、简短的证明，确保数据隐私与安全。其静态作用域特性和内容寻址化数据结构，方便实现复杂计算的可验证性。Lurk 适合用作区块链、隐私计算等场景的安全证明开发，目前持续优化中，适合探索和创新型项目使用。

🍭 #零知识证明 #Lisp语言


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿