ZKsync — The elastic chain network: an ever expanding verifiable blockchain network, secured by math. Previous posts: https://blog.matter-labs.io

Introducing the ZK Stack's Atlas upgrade: beyond 15K TPS with one-second ZK finality.

Today, the ZKsync team is excited to share details of the Atlas upgrade for the ZK Stack, which provides a major step forward towards the vision of a network of sovereign chains, secured by cryptography and powering the global economy. This release delivers a high-performance, low-latency sequencer, support for multiple VM configurations (including full EVM equivalence), and integration with Airbender, the world’s most performant open source RISC-V proof system, for one-second finality with Z...

solx 0.1.2 - Smaller Binary Size When It Matters Most

solx 0.1.2 targets binary size — cutting deployment costs and fitting more contracts under Ethereum’s 24 kB limit — without sacrificing gas efficiency or compile time. That focus turns into:Smaller binaries without losing gas efficiency. Contracts compiled with --via-ir are 13% smaller on median vs 0.1.1, and about 22% smaller than solc 0.8.30 –via-ir.More often under the 24 KB limit. If a contract would exceed the cap, solx 0.1.2 optimizes for size more aggressively to make a contract deploy...

Diving Deep into the Stack — But Not Too Deep

Solidity developers have long dreaded the infamous “Stack too deep” error. To work around it, they often split functions, pack variables into structs, or manually offload values to memory — just to get the code to compile. It’s been a persistent pain point, with prominent Ethereum engineers openly questioning why it remains unresolved. One partial solution is the --via-ir flag, which allows the compiler to automatically move excess variables to memory instead of relying solely on DUP and SWAP...

solx Beta: No stack too deep. No semantic changes.

With the new release, solx fixes solc’s notorious stack-too-deep failure without altering contract semantics — your contract behaves exactly as if compiled with solc, just cheaper and with fewer compilation failures. It now reliably eliminates stack-too-deep and, since our first release in May, has tightened the byte-code-size and compile-time gap while further reducing runtime gas consumption. With that, we believe solx is ready for mainnet deployment of non-critical, well-tested contracts. ...

Introducing ZKsync Airbender: the World’s Fastest Open-Source RISC-V zkVM

Today we are proud to unveil ZKsync Airbender, a high-performance, general-purpose ZK prover designed to meet the real-world demands of interoperability, decentralization, and scalability without compromise. Airbender isn’t just fast. It’s the fastest open-source RISC-V zkVM we have seen. In benchmark tests, Airbender outperforms other leading systems by wide margins. It has achieved:sub-second proofs for ZKsync blocks, and ~3 second proofs using a single commodity GPU~4-6x faster speedup tha...

Introducing ZKsync Prividium: Private Blockchain Infra Built for Institutions

In the race to modernize financial infrastructure, enterprises face a difficult choice: either move fast and risk compliance, or stay compliant and fall behind. With the launch of ZKsync Prividium, they no longer have to choose. Prividium is a new product from ZKsync that delivers something no other blockchain platform can today: enterprise-grade privacy, built-in compliance, and seamless connection to Ethereum, all in a fully customizable, production-ready stack. Today we are proud to launch...

solx: The New Solidity Compiler - For Toolchain Builders

For Toolchain Builders — Ship More, Maintain LessThis part is for tooling developers — those building new languages, compilers, debuggers, or targeting alternate EVMs and virtual machines. If you're only looking to use solx to compile smart contracts, Part 1 should cover everything you need. If you're working on compilers, debuggers, or alternate VMs, we recommend starting with Part 1 for context, then continuing here.With 2 man-years of engineering effort, solx has already reached ...

solx: The New Solidity Compiler - Why It Matters to You

For Solidity Developers - Write Clean Code, Spend Less Gassolx is a new optimizing compiler for Ethereum smart-contracts that could change the way you write and optimize Solidity code. Built on LLVM, solx focuses on improving runtime gas efficiency while reducing the need for manual workarounds. If you're a smart-contracts developer and gas costs matter to you, solx could help - some low-level tweaks you’re used to making might already be unnecessary, and more improvements are on the way...

Incident Report: Compromised admin key to unclaimed airdrop tokens

Incident SummaryOn April 13th, a compromised admin account minted the remaining unclaimed tokens from the ZK token Merkle distributors used for the ZKsync June 17th 2024 airdrop. The hacker successfully took control of 111,881,122 ZK tokens (equivalent to ~$5M at the moment of the initial transaction). The transaction can be viewed here. On the morning of April 15th, Matter Labs engineering team identified the scope of the compromise. Together with the ZKsync Association and ZKsync Foundation...

EVM Bytecode Compatibility Is Now Live on ZKsync Era

ZKsync has achieved EVM equivalence with EVM Interpreter:Developers can run unmodified EVM bytecode.This means tools like Foundry and Hardhat just work out of the box.EVM bytecode interpreter features:Deploy Solidity & Vyper contracts without recompilation — just like on Ethereum.Works with Foundry, Hardhat, and Remix natively, no plugins needed.Same address derivation (create, create2) as Ethereum.Pre-deployed contracts (Create2 Proxy, Safe Factory, Multicall3…) for seamless onboarding.Some ...