lurk-lab / lurkLinks
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
☆86Updated 4 months ago
Alternatives and similar repositories for lurk
Users that are interested in lurk are comparing it to the libraries listed below
Sorting:
- An advanced fork of Nova (contact:@huitseeker)☆85Updated 5 months ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆38Updated 3 weeks ago
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆39Updated 2 years ago
- A verifiable supercomputer☆73Updated last month
- Fast implementation of multi-scalar multiplication in WebAssembly☆34Updated 8 months ago
- An observatory fork of SP1☆72Updated 5 months ago
- Implementation of the Zcash Orchard Protocol☆55Updated last month
- Fiat-Shamir for the masses.☆73Updated 2 weeks ago
- A collection of ZK light client libraries for various blockchains☆56Updated 8 months ago
- Mysticeti: Low-Latency DAG Consensus with Fast Commit Path☆78Updated last month
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Rust implementation for zcash/pasta☆83Updated 3 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆58Updated 3 months ago
- A battleship game using ZKPs☆43Updated last year
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆74Updated 6 months ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- Circom AES-GCM circuits☆32Updated last month
- ☆47Updated last year
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Reef: A zkSNARK system for proving that a committed document matches a regex☆74Updated last year
- Cryptography libraries for ZKsync☆33Updated 2 months ago
- ☆30Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Updated last year
- We're living in Obfustopia☆27Updated 7 months ago
- JSON parser written in Lurk☆29Updated 2 years ago
- A domain-specific language for writing AIR constraints for STARKs☆86Updated this week
- ☆26Updated 6 months ago
- Polymath: Groth16 Is Not The Limit☆29Updated 5 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated last month
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago