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.

相關瀏覽

加快每個人的 DeFi 之旅。

用 Rust 編寫的以太坊客戶端。

環球同業銀行金融電訊協會，銀行結算系統。

爲 DeFi 流動性提供商提供可行的分析。

擴展生態系統

超過70+生態系統正在積極增長，同樣值得您的關注。