iammadab / zkLinks
Implementations from Proofs, Arguments and Zero Knowledge
☆14Updated 10 months ago
Alternatives and similar repositories for zk
Users that are interested in zk are comparing it to the libraries listed below
Sorting:
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆79Updated last week
- ☆24Updated 11 months ago
- A collection of cryptographic and zero-knowledge algorithms implemented from scratch in Rust☆23Updated last year
- barretenburg in rust (here we go)☆99Updated 2 years ago
- Honk Verifier in Solidity☆50Updated last year
- ☆12Updated 9 months ago
- ☆16Updated last year
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Updated last year
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Updated 5 months ago
- ☆19Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated 2 years ago
- ☆27Updated 7 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆23Updated 2 years ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆56Updated 10 months ago
- Export Circom verifier to Cairo☆49Updated 3 years ago
- A stateless Ethereum execution client☆33Updated last year
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Updated last year
- Circuits for Pluto's `web-prover`☆25Updated 9 months ago
- A monorepo of reusable Noir circuits.☆47Updated 2 weeks ago
- WebGPU MSM implementation☆17Updated 3 months ago
- ☆35Updated 2 years ago
- Frobenius sumcheck for vectorized boolean ops