btq-ag/keelung

The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for Snarkjs, Circom, and PLONKish backends.

语言：Haskell · GitHub 星标：53 · Fork：9

话题：cryptography · dsl · haskell · privacy-preserving · zero-knowledge-proofs

在 GitHub 上查看原仓库