Inside Ethereum's Engine: How the Execution Layer Actually Works
Build securely on ZKsync
with OpenZeppelin
OpenZeppelin equips developers on ZKsync with audited contract libraries, upgrade plugins, and security tooling to build applications that inherit Ethereum’s security while taking advantage of zk-rollup speed and scalability.
OpenZeppelin Solidity Contracts
A suite of audited contracts and utilities for ZKsync, providing secure, modular components to accelerate development on the zk-rollup. By building on proven standards, developers can minimize risk, optimize for low-cost transactions, and scale confidently with Ethereum’s security guarantees.
Docs → Github →More than
$82 billion
Total Value Transferred through OpenZeppelin Contracts on ZKsync
More than
129 million
Transactions executed with OpenZeppelin Contracts on ZKsync
Contracts Wizard
Quickly configure and generate secure ZKsync smart contracts. Select the modules you need, preview the code, and export directly into your development workflow.
Try Wizard →
Upgrades Plugins
Deploy and manage upgradeable contracts on ZKsync with confidence using Hardhat and Foundry plugins. Automate proxy deployments, run security checks, and integrate onchain verification to streamline upgrades in a zk-rollup environment.
Explore Upgrades Plugins →
Contracts MCP
Integrate OpenZeppelin’s audited libraries into AI development environments for ZKsync. Generate and deploy secure Solidity contracts with proven standards, guided by AI tooling.
Try Contracts MCP →
Open Source Tools
UI Builder
Spin up a ready-to-use interface for any ZKsync contract in seconds. Choose the function, auto-generate a React UI with wallet connection and multinetwork support, and export a complete application.
Try UI Builder →
Safe Utils
Verify every multisig transaction before signing. Safe Utils ensures transaction hashes on ZKsync can be checked with confidence, protecting teams from malicious or unexpected actions.
Try Safe Utils →
Access Control
Define role-based permissions with flexible hierarchies and granular admin rights. A key tool for DAOs, multisigs, and governance frameworks on ZKsync.
Try Access Control →
Join the Community
Contribute on Github →Enterprise-grade security and compliance for institutional adoption
Professional Services
Smart Contract Security Audit
Secure your ZKsync smart contracts with thorough code audits that identify vulnerabilities and enhance code architecture for secure mainnet deployment.
Talk to an Expert → Read More →
Blockchain Infrastructure Audit
Secure your ZK Stack rollup infrastructure with thorough security reviews of critical components such as sequencers and cross-chain bridge mechanisms.
Talk to an Expert → Read More →
ZKP Audit
Validate the cryptographic foundations of your zero-knowledge systems on ZKsync through rigorous circuit analysis, prover verification, and verifier contract reviews that ensure mathematical soundness and implementation security.
Talk to an Expert → Read More →
The Notorious Bug Digest #5: Post EIP-7702 Pitfalls, JIT Penalty Rebates, and Manipulation of Recursive Functions
Beyond Zero Knowledge: How Fully Homomorphic Encryption Enables Private Shared State
The Notorious Bug Digest #4
Inside ZKStack's Crosschain Architecture — Part II: Gateway Settlement & Recursive Proofs
Inside ZKStack's Crosschain Architecture — Part I: A Deep Dive into Merkle Tree Hierarchies
The Notorious Bug Digest #3
Beyond Smart Contracts: A Deep Dive into Blockchain Infrastructure Security Auditing
ERC-4626 Tokens in DeFi: Exchange Rate Manipulation Risks
The Notorious Bug Digest #2
The Notorious Bug Digest #1
From Stage 0 to Stage 1: Security Council Best Practices in Rollup Governance
What is a Smart Contract Audit: Lessons from OpenZeppelin’s 700+ Audits
Explore other networks
