新手上路 3小时前
主楼
[资源名称]
lurk
[资源来源]
github.com
[资源介绍]
lurk 一款用于零知识证明应用开发的开源编程语言,让开发者能像写普通程序一样专注业务逻辑编写,系统自动生成对应的SNARK证明,基于Lisp语法设计且图灵完备,能表达任意复杂计算逻辑。
[资源合集]
😀 😊 😵‍💫 😡 🤝 🙏 👍 👎 ❤️