EthereumZuri.ch 2025

Enabling standardized onchain executions through zk validation modules
01-30, 11:45–12:05 (Europe/Zurich), Beam Stage

To facilitate the adoption of blockchain based services globally there is a need for standardizing secure, privacy and regulatory-compliant on chain executions to scale. As we move towards a more decentralized future, ensuring cyber security, data minimization from origination to processing, and improving UX in executing on chain operations is crucial.

This work introduces a framework based on the ERC 7579 proposal, which integrates a module to lavage onchain verifiable credentials and zero-knowledge (zk) proofs in the context of modular smart accounts. This framework aims to standardize onchain executions by separating user authentication and transaction authorization while preserving privacy and regulatory requirements throughout the transaction lifecycle.


The core function of the system described involves validating zk proofs generated by VCs to authenticate users and authorize operations. This makes the Validation Module the most appropriate choice, as it is designed to validate user operations before they are executed.

The Validation Module allows for checking the validity and authenticity of zk proofs, ensuring that only legitimate user operations are processed.

The framework leverages the strengths of different proposals to create a robust, secure, and privacy-preserving onchain execution environment.

I list here a high-level overview:

Users issue on chain merklized Verifiable Credentials (VCs) through a contract identifier operated by an issuer. These credentials are stored in the user’s identity wallet (EOA)
Users generate and validate ZK proofs derived from their VCs through a contract verifier to access service apps and compile User Operation objects.
Smart Contract Account entry point perform canonical verification loop according ERC 4337.
The validation module verifies the zk proofs against the VCs in the execution loop and upon successful validation, the module calls the isValidSignature function as defined by ERC 1271 to authorize entry point to executeUserOps.
Smart contract Account entry point executes onchain operations and distributes the fees to the Bundler address.

Head of Growth European Blockchain Association, EU Representative Ethereum Enterprise Alliance

Co-Founder of PrivadoID, Polygon ZKEVM, and iden3