Justin Drake Amazing initiative, Justin Drake — we have no doubt that it will result in many successful projects that will substantially increase the security of our ecosystem! The Nethermind Formal Verification team, led by Julian Sutherland (Julian Sutherland) and supported by Petar Maksimovic

ZKsync is building Web3 without compromise. The 2025 technical roadmap for the elastic network is now live — let's get into it 🧵👇

Deutsche Bank Developing Ethereum L2

What makes the Elastic Network unique is its native interoperability layer, which makes the network feel like one unified chain. Today, we’re sharing a sneak peek of what it will look like. This demo is live. Try it out yourself below 👇🏻 zksync-interop.web.app

NEW POD with Luca Netz 🐧✳️ 🐐🐧 - Real thoughts on the airdrop - What's next for Pudgies and PENGU holders - Abstract airdrop - Why Solana - Pudgy Penguins in 2025 - PENGU strategy One wild insight: Luca decided to do the airdrop on election day, it was an all out sprint Enjoy!

Tradable brings $1.7B in tokenized assets to @ZKsync. Tradable, now the third-largest RWA platform, provides asset managers access to on-chain private credit. Powered by @ZKsync, Tradable offers secure, cost-effective, and compliant migration of investments on-chain.

For 2025, the @ZKsync technical roadmap is focused on ensuring that ZK rollups become the clear, superior choice for developers, and delivering on the vision of a highly performant, interoperable, user-friendly, and secure ecosystem.

All sorrows can be borne if you put them into a story or tell a story about them. (I. Dinesen)

Who verifies the (zk) verifier? Nethermind! The Formal Verification team at Nethermind Security, led by Julian Sutherland, just made history by formally verifying the honesty of @ZKSync’s on‑chain zk verifier using EasyCrypt. This is the first time formal verification has been applied to a

EVM Equivalence on @ZKsync was just the beginning. For years, we’ve been quietly building toward a better future for all of @Ethereum. Introducing ⚡️ solx — a powerful new Solidity-to-EVM compiler 🧵

Hegelian Spirit minus telos and consciousness plus darwinian thinking is quite similar to a special case of meta system transition, as described by Turchin. I think there was an inspiration there.

effectfully big fan of the Unix philosophy, wish Unix embraced the Unix philosophy

Ready to prove Ethereum in seconds on a single GPU? Introducing ZKsync Airbender: The world’s fastest open-source RISC-V zkVM ⚡️

⚡️ Solidity turns 10—huge congrats to the Solidity team! ⁣ ⁣ To celebrate we’re shipping 𝐬𝐨𝐥𝐱 𝐛𝐞𝐭𝐚 — a new Solidity compiler built on LLVM designed for efficiency that fixes “𝘴𝘵𝘢𝘤𝘬-𝘵𝘰𝘰-𝘥𝘦𝘦𝘱,” trims gas, and keeps original Solidity semantics.⁣ ⁣ 🧵⬇️

solx beta finally fixes “stack-too-deep” — with no semantic changes. In this post: – How the spill-to-memory fix works – Runtime gas benchmarks – Network-wide savings estimates – Our approach to compiler safety 📖 zksync.mirror.xyz/2e9iV3D4gTVKgN…

We threw 20 major Ethereum projects — Aave, Uniswap, OpenZeppelin, Solady… — at solc and solx 0.1.1. The result? 8–13× faster than previous versions on heavy builds, beats solc by 5–10× in compile time with via-ir — and cuts gas usage. Let’s dig into the benchmarks 🧵

Cracks me every time

I'm convinced that if you're building a large piece of commercial software, the only good way to use AI coding agents is as a power tool, without forsaking your ability to understand the code. On the other hand, if you're building disposable software — for personal use, for a

The Claude C Compiler is the first AI-generated compiler that builds complex C code, built by Anthropic. Reactions ranged from dismissal as "AI nonsense" to "SW is over": both takes miss the point. As a compiler🐉 expert and experienced SW leader, I see a lot to learn: 👇

Why Solidity compilation is much harder than it looks: gas is part of program behavior, “correctness” is underspecified and one-size-fits-all, and every extra compiler or target makes the problem worse. rubber-duck-typing.com/posts/2026-03-…