bandada-infra / bandada
A system for managing privacy-preserving groups.
☆65Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for bandada
- Poseidon hash function implemented in Solidity☆40Updated 3 months ago
- Email verification circuit in halo2☆63Updated 4 months ago
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆134Updated last week
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- ZK Email in Noir☆49Updated last week
- Anonymous Proof of Ethereum Address Ownership☆42Updated last month
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆79Updated 2 weeks ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆44Updated last year
- Gas-efficient and blazing fast proving for private signaling☆81Updated 9 months ago
- The PSE website☆20Updated last week
- A template for creating a UniRep attester.☆24Updated 8 months ago
- ☆60Updated 3 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- 🌐 🔌 💀 CryptKeeper browser extension is a zero knowledge identity management and proof generation tool.☆34Updated 8 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆103Updated 2 weeks ago
- PoC of Revm execution in SGX☆81Updated last year
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆48Updated this week
- group signatures implemented with zkSNARKs☆83Updated 2 years ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆99Updated 7 months ago
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆72Updated last month
- A PoC repo for a HyperNova impl☆83Updated last year
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆63Updated last month
- A testing & development environment for Circom.☆100Updated 3 weeks ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago