lurk-beta
zk-proofing language
A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend.
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
434 stars
15 watching
56 forks
Language: Rust
last commit: 10 days ago compilercryptographyprogramming-languagerustzero-knowledgezk-snarks
Related projects:
| Repository | Description | Stars |
|---|---|---|
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 190 |
 ebfull/powersoftau | A multi-party computation protocol for generating secure parameters using zk-SNARKs | 140 |
| argumentcomputer/lurk-lisp | A Lisp implementation of Lurk's API without proof mechanisms | 67 |
 scipr-lab/libsnark | A C++ library implementing a cryptographic method for proving the integrity of computations in zero knowledge. | 1,838 |
 zokrates/zokrates | Toolbox for implementing and deploying zkSNARKs on the Ethereum blockchain | 1,828 |
 iden3/snarkjs | A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations | 1,790 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 zkcrypto/bellman | A crate for building and implementing zk-SNARK circuits | 1,023 |
 tamucrypto/zkcnn | An implementation of a GKR-based snark for CNN model inference, providing a zero-knowledge proof protocol for neural network computations. | 70 |
 consensys/gnark | A fast zk-SNARK library with a high-level API to design circuits. | 1,435 |
 lucasgleba/zkriscv | A RISC-V CPU emulator implemented as a zero-knowledge verification system to prove program execution correctness | 47 |
 meilof/geppetri | An implementation of a Pinocchio-based adaptive zk-SNARK system for distributed computation | 16 |
 zick/zickstandardlisp | An implementation of the Common Lisp programming language for various interpreters and compilers | 48 |
 succinctlabs/succinctx | A collaborative project that provides tools and libraries for building Zero-Knowledge applications using Rust. | 134 |