paulmillr / micro-zk-proofsLinks
Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography
☆51Updated last month
Alternatives and similar repositories for micro-zk-proofs
Users that are interested in micro-zk-proofs are comparing it to the libraries listed below
Sorting:
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆27Updated last year
- JSON parser written in Lurk☆29Updated 2 years ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated last year
- On-chain Ethereum light client built with SP1☆57Updated 2 weeks ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆46Updated 4 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆32Updated 2 months ago
- A verifiable supercomputer☆69Updated last week
- Circom arithmetic circuits and concepts explained, in depth.☆28Updated last month
- ☆21Updated this week
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.☆20Updated 6 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- ☆38Updated last month
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated 2 years ago
- Verifiable RPC for Ethereum state, in-browser, no node☆45Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- ☆30Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆37Updated last week
- ☆47Updated 2 years ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆21Updated 7 months ago
- 🧾 InterRep Solidity smart contracts.☆30Updated 2 years ago
- ☆31Updated last year
- A language for building boolean circuits based on TypeScript☆33Updated 2 weeks ago
- ☆27Updated last year
- ☆2Updated last year
- A Cryptographic Library for Smooth Blockchain uses☆74Updated 6 months ago
- ☆37Updated 2 months ago
- ⌨️ TypeScript SDK for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆39Updated last week
- Based on https://eprint.iacr.org/2022/1510☆26Updated 8 months ago
- Behold the almighty 🗿totem🗿☆18Updated 9 months ago