zkemail / relayerLinks
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.
☆12Updated last year
Alternatives and similar repositories for relayer
Users that are interested in relayer are comparing it to the libraries listed below
Sorting:
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Updated 2 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- ☆32Updated 3 years ago
- A Brainfuck zkVM with Circom.☆61Updated 2 years ago
- Multi proof Aggregation for Zk SNARK on Ethereum☆62Updated 2 years ago
- RLN on KZG☆21Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆72Updated 3 years ago
- Monorepo for Summa Proof of Solvency Protocol☆98Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆92Updated 3 years ago
- KZG commitments over BLS12-381☆37Updated 3 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Updated 3 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆49Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- A library for fast NTTs over the Goldilocks prime field☆80Updated last year
- A FRI verifier circuit for the Halo2 proof system☆77Updated 2 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated 2 years ago
- An API compatible port of the Stone prover.☆19Updated last year
- Pluto Web Prover 🦀☆38Updated 10 months ago
- Implementation of the Grumpkin curve in Rust.☆29Updated 2 years ago
- ☆43Updated last year
- Writing MACI circuits in Noir☆16Updated 2 years ago
- Web Proofs using zk-SXG☆30Updated last year
- ☆27Updated 3 years ago
- Spartan on Arkworks☆44Updated 5 months ago
- ☆40Updated 3 years ago
- Noir implementation of RSA-verify☆43Updated 2 years ago