lurk-lab / lurk-libLinks
Shared Lurk source code, including tests and library code.
☆18Updated last year
Alternatives and similar repositories for lurk-lib
Users that are interested in lurk-lib are comparing it to the libraries listed below
Sorting:
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 3 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆41Updated 6 years ago
- ☆27Updated 3 years ago
- Kate-Zaverucha-Goldberg polynomial commitments in rust playground☆13Updated 4 years ago
- ☆20Updated this week
- Codex durability engine research☆36Updated 3 months ago
- JSON parser written in Lurk☆28Updated 2 years ago
- ☆38Updated 4 years ago
- ☆30Updated 2 years ago
- sha256(sha256(preimage)) in zk☆15Updated 4 years ago
- Polymath: Groth16 Is Not The Limit☆31Updated 11 months ago
- LegoGroth16 implementation on top of Zexe☆25Updated 4 years ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Updated 3 years ago
- circom runtime☆20Updated last year
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- Implementations of proof-carrying data☆36Updated 3 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Updated 3 years ago
- Implementation of the Zcash Orchard Protocol☆64Updated last month
- Lisp implementation of Lurk.☆78Updated last year
- ☆41Updated 3 years ago
- Elliptic curve search experiments☆35Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- A common lisp DSL for writing zero knowledge circuits☆18Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- Circuit components definition library for zkLLVM circuit compiler☆41Updated last year
- Fully-compatible implementation of Privacy Pass in Rust.☆35Updated 5 years ago