Lurk Lab

用于零知识证明的图灵完整编程语言。

Lurk Lab

概述

Lurk Lab 正在为零知识证明开发一种图灵完整编程语言。

Lurk 是 Lisp 的一种静态作用域方言，受 Scheme 和 Common Lisp 的影响。Lurk 程序的执行可以用零知识来证明。潜伏证明支持多个后端 SNARK 证明系统。

支持者

Velocity Capital

方向上的速度。

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

相关浏览

Picks & Shovels

为加密数字资产的投资者、交易者提供工具。

功能全面的加密资产排名，行情等数据分析。

DeFi TVL 聚合器。

针对 Tezos 智能合约编程的高级语言。

扩展生态系统

超过70+生态系统正在积极增长，同样值得您的关注。