ZK Email Updates

SDK

• Fixed tests and reorganized functions, improving maintainability and clarity.
• Incorporated improved input handling from relayer-utils for enhanced proof verification flows.

View the SDK on GitHub.

Registry

• Introduced persistent storage for blueprint creation, making it easier to resume and complete workflows.
• Disabled the blueprint creation page for unauthorised users.
• Enabled pressing the Enter key to submit prompts in the AI regex generation tool.

Check it out at the Registry.

Email Transaction Builder

• Deployed a self-hosted GitHub Actions runner to improve CI/CD reliability.
• Fixed workflow formatting issues to maintain clean and efficient CI runs.

Visit the repository to learn more.

RISC Zero Integration

• Implemented initial functionality for DKIM verification and regex pattern matching.

Learn more about the implementation on GitHub.

ZK Email Updates

SDK

• Added createCallData function to generate on-chain proof verification calldata.
• Added a new delete blueprint feature and added a star functionality.
• Simplified React and Next.js SDK templates by removing WASM config requirements in latest version.
• Improved external input handling.

View the SDK on GitHub.

Registry

• Improved blueprint creation by adding a new multi-step flow with auto-completion.
• Added a new feature to delete blueprints.
• Added external inputs display in proof generation UI.
• Improved DKIM selector validation and handling.
• Fixed blueprint compilation and proof generation errors.

Check it out at the Registry.

Email Transaction Builder

• Removed the explorer link from the completion email template.
• Deployed new relayer to production and updated the email-tx-builder-template to use the new relayer.
• The email-tx-builder-template now includes a TypeScript CLI to test the generic relayer API.

If you want to learn more and start using the Email Transaction Builder, check out the new quickstart guide.

ZK Email Updates

This week, we've made several improvements to our SDK, JWT Transaction Builder, and Email Transaction Builder. You can read more about them on the docs.

SDK

• Implemented circuit compilation and proof generation backend
• Fixed external input handling in proof generation
• Added WASM build support for any JS bundler including Next.js server and client side.
• Integrated e2e testing with Checkly
• Added React & Next.js templates to docs https://docs.prove.email/zk-email-sdk/setup

JWT Transaction Builder

• Deployed JWT prover on Taceo
• Implemented SHA2-prover in SP1
• Updated JWT verifier contracts
• Added jwt-tx-builder guides to docs https://docs.zk.email/jwt-tx-builder/

Email Transaction Builder

• Refactored relayer to focus solely on email proving
• Removed transaction broadcasting from relayer to simplify architecture and avoid gas reimbursement complexity
• Added database changes and job tracking endpoints

ZK Email Updates

Registry Development

• Improved the blueprint tester with additional cases and better error messages.
• Add responsive design to the Registry UI. https://registry.zk.email/

JWT Transaction Builder

• Added reveal domain feature with support for anonymous domain verification.
• Added documentation with integration guides for the contracts.

Noir Implementation

• Audit for zkemail.nr is ongoing
• zkemail.nr updated to v1.2.3 with improved dependency structure and CI pipeline. https://github.com/zkemail/zkemail.nr
• In zkemail-jwt, introduced RANGE key-value feature in JWT payload validation for efficient, safe, and optimized base64 decoding and substring searching. https://github.com/zkemail/noir-jwt

ZK Email Updates

Registry Development

• Launched new SDK Registry platform with GitHub auth
• Added blueprint management and UI
• Integrated Google login for email fetching
• Implemented Claude-powered API for blueprint field generation

Clave Account Recovery

• Added emergency kill switch functionality
• Implemented UserOverridableDKIMRegistry management scripts
• Updated dependencies and package versions
• Completed audit fixes

JWT Transaction Builder

• Added anonymous domain support with Merkle tree verification
• Optimized domain extraction process

Noir Implementation

• Added quoted-printable decode functionality
• Started code audit
• Added JavaScript circuit simulation
• Enhanced test vector handling

ZK Email Updates

Core Libraries Update v6.2.0 https://github.com/zkemail/zk-email-verify/releases/tag/v6.2.0

Our latest update brings improvements to the ZK Email core libraries:

• Enhanced DNS handling with improved subdomain support
• Optimized regex validation using WebAssembly
• Added customizable header lengths for more flexible pattern matching
• Improved DKIM verification capabilities and public key resolution

We've made progress in our Noir implementation (v0.3.2) https://github.com/zkemail/zkemail.nr

• Added masking features
• Added test coverage including negative testing scenarios
• Implemented variable length interstitial partial hash for more flexible email processing

Generic Relayer Testnet Launch

The generic relayer is now live on Sepolia! The generic relayer allows to integrate email-driven actions into applications by interacting with a specific API endpoint and it handles the email verification process automatically. https://docs.zk.email/email-tx-builder

SDK Development

We've been working on the new ZK Email SDK implementation, with a focus on enhancing developer experience and expanding the capabilities of our core protocols. We have added:

• GitHub authentication support
• Blueprint versioning
• Type definitions

ZK Email Updates

We’ve released v6.1.6 of zk-email’s core libraries! This adds:

• DKIM public keys now work on DNS over HTTPS, which allows more consistent browser fetching for sites like proton.me
• constrained regex reveal more tightly to address concerns from our Zellic audit
• added header masking to make masking/whistleblowing applications more robust
• added substring matching, allowing for more efficient matches where regex is not needed

We also have very beta Noir zk-email circuits with Mach34: https://github.com/zkemail/zkemail.nr

• Note that the Noir compiler used is completely unaudited and has several critical bugs, so we recommend usage only in fast client-side proving prototypes!

Our beta registry has more features, but is still in unstable beta (sdk.prove.email):

• The downloaded project now includes the generated zkeys and .sol files
• Execution now occurs entirely on modal.com, meaning operations can happen in parallel
• Proving defaults to GPU, making proofs ~3x faster

DKIM Archive:

• We have a draft blog post up explaining it at prove.email/blog/archive
• We now support domains with dashes in their DKIM urls, such as pse.dev, and searching a string includes prefixes instead of exact matches now

Account Recovery on Safe:

• The main website now supports the new 1.4.1 safes, via both the UI and the permissionless.js burner wallet flow! Try them out at recovery.prove.email and look at our guide at zk.email/blog/account-recovery