zkemail

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

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.

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.

Use ZK Email to do account recovery for any smart wallet, including 7579 and 4337 support.

Library and gadget to do regex string matches in halo2

Use zk proofs of JWTs to authorize arbitrary transactions on chain. Soon to have scoped oauth'd session keys as well.

A repository to store historical, timestamped DKIM keys; and for anyone to upload their own. Basically https://archive.org for public key registries.

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.

SP1 Implementation of ZKEmail Circuits

V2 of the ZK Email Proof Registry that lets anyone easily define and run new proof types.

Landing page for ZK Email

Demo of using the typescript zk-email sdk

Common relayer-related code, in Rust and WASM.