sdiehl / zkpView external linksLinks
A framework to execute and verify algorithms using Groth16 zkSNARKs.
☆89Aug 13, 2020Updated 5 years ago
Alternatives and similar repositories for zkp
Users that are interested in zkp are comparing it to the libraries listed below
Sorting:
- Arithmetic circuits for zero knowledge proof systems☆83Apr 16, 2024Updated last year
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42May 29, 2021Updated 4 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- API for Coinbase Pro☆19Feb 3, 2024Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 5 months ago
- Simulations for the Hydra protocol☆15Jan 26, 2024Updated 2 years ago
- loxomotive - A Lox Interpreter implemented in Haskell☆17Jan 8, 2022Updated 4 years ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- Write your GDB scripts in Haskell!☆27Dec 13, 2021Updated 4 years ago
- Lens interface for your filesystem☆22Dec 21, 2020Updated 5 years ago
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 6 years ago
- This is a template repository for kickstarting your Plinth smart contract project. Please refer to the README.md for more information.☆28Jan 24, 2026Updated 3 weeks ago
- Optimised bilinear pairings over elliptic curves☆56Feb 3, 2024Updated 2 years ago
- Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…☆26Nov 25, 2021Updated 4 years ago
- A common place for finding / maintaining configurations of various services of the Cardano eco-system☆25Dec 14, 2024Updated last year
- ☆64May 11, 2025Updated 9 months ago
- Zero-knowledge virtual machine written in Rust☆246Mar 17, 2023Updated 2 years ago
- ☆30Nov 16, 2022Updated 3 years ago
- ☆32May 27, 2018Updated 7 years ago
- A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.☆15Jan 19, 2026Updated 3 weeks ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- ☆80Oct 4, 2022Updated 3 years ago
- Match compilation algorithm in OCaml☆34Feb 24, 2025Updated 11 months ago
- Signature inference for Functional Property Discovery in Haskell☆38Sep 17, 2017Updated 8 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆37Mar 17, 2025Updated 10 months ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 8 months ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆548Dec 25, 2022Updated 3 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- Dive into GHC☆82Dec 26, 2016Updated 9 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆228Jan 22, 2024Updated 2 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Testing with monadic side-effects☆33Jun 24, 2021Updated 4 years ago
- Generates long-lived access tokens for any given Facebook app and user credentials☆10May 25, 2017Updated 8 years ago
- Generate a cabal freeze file from a stack.yaml☆36Aug 25, 2018Updated 7 years ago
- Go library to help with Nitro Attestation☆16May 30, 2025Updated 8 months ago
- A Haskell client for the Strava V3 API.☆37Jan 14, 2026Updated last month
- Zippers based on lenses and traversals☆41Aug 9, 2023Updated 2 years ago