Description：Proofbase 是一个适用于低延迟、可扩展、多链、零知识应用的基于证明的区块链。它引入了 Lurk，一种基于 LISP 的新型 zk-SNARK 编程语言。