interep-project / contracts
๐งพ InterRep Solidity smart contracts.
โ30Updated last year
Alternatives and similar repositories for contracts:
Users that are interested in contracts are comparing it to the libraries listed below
- โ18Updated 4 years ago
- POC construction of superlight client for Ethereum Proof of Stake using interactive bisection gamesโ38Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systemsโ49Updated 2 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memoryโ56Updated 2 years ago
- Anonymous Proof of Ethereum Address Ownershipโ44Updated 4 months ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.โ34Updated 2 years ago
- Verifiable RPC for Ethereum state, in-browser, no nodeโ45Updated last year
- Infinitely Compressible Governance using Recursive SNARKsโ31Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curvesโ48Updated last year
- Installation tooling for Noirโ25Updated 6 months ago
- Library of zkSNARKS circuits written in the Circom language.โ50Updated 3 years ago
- ETHPragueโ31Updated last year
- Hermez documentationโ9Updated 2 years ago
- A fork of zkp-sbmtjsโ14Updated 4 years ago
- Trust-minimized commitment pools with zkSNARKsโ40Updated last year
- โ47Updated 2 years ago
- Anonymous rewards on StarkNetโ35Updated 3 years ago
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuitโ17Updated 4 years ago
- Client library for generating and using RLN ZK proofsโ30Updated last year
- Tricking frontrunners into doing goodโ42Updated 2 years ago
- A demo for validating Passkeys' signature in Solidityโ14Updated last year
- โ28Updated 2 years ago
- โ46Updated 3 years ago
- Eth2 CLI debugging toolโ37Updated 3 weeks ago
- Patronum: Ethereum RPC proxy that verifies RPC responses against given trusted block hashesโ21Updated last month
- Using folding schemes for a provable bitcoin light clientโ31Updated 8 months ago
- โ2Updated 10 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signaturesโ19Updated 2 months ago
- โ33Updated last year
- Simple module to control a Safe via crosschain calls with Hashiโ28Updated last month