distributed-lab / bulletproofsLinks
Bulletproofs++ implementation on Go
☆27Updated last year
Alternatives and similar repositories for bulletproofs
Users that are interested in bulletproofs are comparing it to the libraries listed below
Sorting:
- Bulletproofs++ implementation on Rust☆24Updated last year
- ☆41Updated 2 years ago
- Hardhat plugin to deeply compare smart contracts☆16Updated last year
- TokenE core contracts☆43Updated last year
- Front-end web kit for Distributed Lab projects☆18Updated 2 years ago
- Distributed Lab public Solidity audits☆18Updated 2 years ago
- Hardhat plugin to generate customizable smart contracts documentation☆21Updated 3 weeks ago
- The simplest way to deploy smart contracts☆35Updated 2 months ago
- Hardhat template typescript project for ad-hoc solidity development☆32Updated 3 months ago
- The ultimate TypeScript environment for Circom development☆93Updated 2 months ago
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆66Updated 7 months ago
- Hardhat plugin to generate Go bindings for smart contracts☆29Updated last week
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆86Updated 4 months ago
- Windowed big integer multiplication implementation on Bitcoin Script☆13Updated 11 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆184Updated this week
- A SNARK using towers of binary fields, implemented in Rust .☆125Updated 2 months ago
- The Graph template project for ad-hoc development☆17Updated last year
- Experimental folding schemes library☆256Updated this week
- Source files for ZKDL Lectures☆14Updated 3 months ago
- A curated list of Plonky3 resources, libraries, tools and more.☆36Updated 6 months ago
- Blockchain and Decentralized Systems Book☆62Updated last year
- TypeScript-based various types of solutions for Distributed Lab projects and not only.☆20Updated last year
- ☆267Updated last year
- Making client-side proving on mobile simple.☆208Updated this week
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆214Updated last year
- DSL for Halo2 circuits☆188Updated last year
- ☆85Updated this week
- This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust☆50Updated 5 months ago
- ☆104Updated last year
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆247Updated this week