sdiehl / zkp
A framework to execute and verify algorithms using Groth16 zkSNARKs.
☆90Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for zkp
- Optimised bilinear pairings over elliptic curves☆55Updated 9 months ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆74Updated 4 years ago
- Arithmetic circuits for zero knowledge proof systems☆82Updated 7 months ago
- ☆21Updated 6 years ago
- Functional Programming for Ethereum: Intro and Resources☆66Updated 7 years ago
- ☆59Updated 2 years ago
- IPFS wrapper for Haskell☆43Updated last year
- Haskell bindings for secp256k1 library☆24Updated 2 months ago
- ☆27Updated 4 months ago
- A library for stateful property-based testing☆29Updated 3 weeks ago
- Haskell bindings for the Botan cryptography library☆34Updated 2 months ago
- The symbolic execution engine powering the K Framework☆212Updated this week
- A minimalistic blockchain consensus implemented and verified in Coq☆111Updated 4 years ago
- DSL for Secure DApps☆33Updated last year
- Language-generic workbench for building static analysis☆47Updated last year
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- A framework for smart contract verification in Coq☆114Updated this week
- Concurrency library inspired by Erlang/OTP☆19Updated 11 months ago
- A polymorphic interface for elliptic curve operations☆41Updated last year
- Crypto for Haskell☆37Updated 3 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 4 years ago
- Multihash Haskell implementation☆27Updated last year
- Web3 API for Haskell☆190Updated 3 weeks ago
- Double ratchet algorithm for E2E encryption☆59Updated 5 years ago