repos
84
ecosystems
26
languages
11
commits
2,620
─── top repos · by commits
─── repositories
84 totalVerify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
The V0 rust IMAP + SMTP server that reads email via imap, generates a zk proofs either locally or on an on-demand AWS machine with modal, then replies and sends on-chain. **DEPRECATED** in favor of V1 relayer in email-wallet.
Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email addresses, and multisig signers.
Main website describing zk email and its functionalities.
Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
Landing page for ZK Email
ZK-regex DFA generator. Forked from cyberzhg's toolbox of encoding and parsing tools.
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.
Anonymous Airdrops using ZK-SNARKs
A library to do regex verification, adapted from the original zk-email. It additionally generates lookup tables.
A library to do regex verification, adapted from the original zk-email. It additionally generates lookup tables.
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex.
A repository to store historical, timestamped DKIM keys; and for anyone to upload their own. Basically https://archive.org for public key registries.
V1 of an online registry of regexes needed for certain ZK Email proofs, that can be imported into any frontend in one line. This is now deprecated in favor of our V2 at https://registry.zk.email.
Email verification circuit in halo2
Email verification circuit in halo2
A smart contract wallet controlled using email
The ZKEmail Authenticator
Verifies Ethereum account balances with a given blockhash on Ethereum, in solidity
Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.
Base64 decoding circuit in halo2
Old website describing the wallet flow. View https://github.com/zkemail/sendeth.org for updates.
Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.
An online playground for zero knowledge circuits
new frontend for https://twitter.prove.email/
Our docs.
Library and gadget to do regex string matches in halo2
UI to generate regex circom circuits
Hit a webhook anytime a signer is added to a Gnosis Safe. Note that in production, we use the fork in zk-email/email-wallet/packages
On-chain RPG-style sandbox game where every tile is a player-made contract!
On-chain RPG-style sandbox game where every tile is a player-made contract!
A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity how you want to string parse the emails.
JWT verification with zero knowledge proofs
V2 of the ZK Email Proof Registry that lets anyone easily define and run new proof types.
OpenAI JWT verification with zero knowledge proofs (originally from nozee's circuits)
Welcome to the Prove.email Documentation Hub, the central repository for comprehensive documentation on the zk email project suite.
Symbolic and concrete EVM execution engine
Dapp, Seth, Hevm, and more
Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-cases database & many more. Feel free to collaborate.
Demo of login with zk email, with specified oauth scopes.
Javascript SDK for the Blueprint Registry
Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-cases database & many more. Feel free to collaborate.
Benchmark arbitrary WASM that runs 100x in parallel on independent cloud machines, and reports mean and variance. Useful especially for high variance halo2 circuits, but generic enough for any WASM.
DNS archival services do not archive DKIM, so this is our archival dkim registry. This repo runs a DNS scaper on a cron job and updates a local postgresql database, which is queryable by a simple website.
Dapp, Seth, Hevm, and more
Monorepo of halo2 crates
ZK Email in Noir
Use ZK Email to do account recovery for any smart wallet, including 7579 and 4337 support.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
An observatory fork of SP1
A curated list of awesome ZK resources, libraries, tools and more.
A monorepo of ZkEmail library written in Rust and using different ZkVM solutions
halo2 with secq256k1 curve in the IPA backend for efficient ZK proofs of secp256k1 ECDSA operations
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
Frontend for prove.email/recovery to do zk email-based account recovery for Gnosis Safes and 7579 wallets.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
Implementation of Poseidon2 precompile and SHA2 constraints optimizations
Docs for ERC-7579
The fastest, most feature-complete zkVM for developers.
─── peer developers
─── ecosystems
─── languages
- Rust24
- TypeScript22
- JavaScript4
- Circom4
- Solidity3
- Haskell3
- MDX2
- HTML1
- Python1
- Noir1
─── subscriber view
Unlock the full view of Divide-By-0
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.