lyronctk / zijkstraView external linksLinks
Proving shortest paths with recursive SNARKs
☆15Mar 9, 2023Updated 2 years ago
Alternatives and similar repositories for zijkstra
Users that are interested in zijkstra are comparing it to the libraries listed below
Sorting:
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆16Jan 27, 2025Updated last year
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- ☆12Sep 25, 2022Updated 3 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆12Feb 18, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- An active, public list of project ideas related to NFCxZK☆11Dec 6, 2023Updated 2 years ago
- ☆16Dec 2, 2025Updated 2 months ago
- Definitions for standard Ethereum JSONRPC APIs☆13Nov 10, 2022Updated 3 years ago
- Verifying a 512-layer CNN w/ Nova☆171May 5, 2023Updated 2 years ago
- Nova-based SHA256 benchmarks☆31Jun 7, 2025Updated 8 months ago
- Tells you what anyone did this week on GitHub.☆18May 23, 2025Updated 8 months ago
- Whitenoise CTF I: Doves in the Wind☆20Oct 11, 2022Updated 3 years ago
- ☆17Feb 13, 2023Updated 3 years ago
- ☆21Dec 9, 2025Updated 2 months ago
- Search engine of my Curius data☆15Apr 10, 2022Updated 3 years ago
- ☆40Aug 23, 2022Updated 3 years ago
- ☆21May 9, 2023Updated 2 years ago
- Protocol mapping social identifiers to blockchain addresses☆17Jan 2, 2024Updated 2 years ago
- Behold the almighty 🗿totem🗿☆19Sep 19, 2024Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆112Jan 2, 2024Updated 2 years ago
- Proof contribute to github using zk☆26Jul 17, 2023Updated 2 years ago
- A dollar auction implementation in Solidity.☆25May 17, 2022Updated 3 years ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated last year
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- zkSNARK circuits for the Telepathy protocol☆53Aug 28, 2023Updated 2 years ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Nov 6, 2024Updated last year
- A portable library for proving & verifying ethereum's sync committee consensus proofs.☆29Nov 10, 2023Updated 2 years ago
- An Ethers.JS extension for Celo-specific network features☆26Nov 29, 2024Updated last year
- Monorepo of halo2 crates☆307Aug 26, 2025Updated 5 months ago
- Axiom smart contracts☆26Jul 17, 2023Updated 2 years ago
- Network States, an on-chain worldbuilding game. Lite version released as a reference for the ETHGlobal Autonomous Worlds hackathon.☆22May 21, 2023Updated 2 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- Quadratic Funding Infrastructure☆20May 26, 2024Updated last year
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 6 months ago
- storage proof made by sp1☆25Sep 20, 2024Updated last year
- An onchain game which explores different ZK game mechanics and information asymmetry☆96Oct 10, 2023Updated 2 years ago
- Fallible is an Option with inverted Try-semantics.☆25Jan 12, 2023Updated 3 years ago
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated last year