Igor Zhirkov (∎, ∆) @rub_duck_type

Programmer, researcher, writer. Author of 'Low-Level Programming: C, assembly and program execution' Compiler team, @the_matter_labs rubber-duck-typing.com Warsaw/Nantes Joined May 2010

Tweets

258
Followers

281
Following

363
Likes

203

Igor Zhirkov (∎, ∆) @rub_duck_type

2 weeks ago

Cracks me every time

0 0 0 67 0

Download Image

Solx @solx_compiler

3 weeks ago

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 🧵

5 11 99 55K 6

Download Image

Solx @solx_compiler

2 months ago

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…

0 5 21 1K 1

Solx @solx_compiler

2 months ago

⚡️ Solidity turns 10—huge congrats to the @solidity_lang 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.⁣ ⁣ 🧵⬇️

8 24 101 35K 24

ZKsync (∎, ∆) @zksync

2 months ago

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

389 897 2K 704K 204

Download Video

undefined behavior @undebeha

3 months ago

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

11 73 2K 26K 36

Igor Zhirkov (∎, ∆) @rub_duck_type

4 months ago

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.

0 0 0 85 0

ZKsync (∎, ∆) @zksync

4 months ago

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 🧵

81 234 1K 422K 85

Download Image

Nethermind Security @NethermindSec

7 months ago

Who verifies the (zk) verifier? Nethermind! The Formal Verification team at @NethermindSec, led by @JulekSU, 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…

2 20 107 56K 15

Download Image

Igor Zhirkov (∎, ∆) @rub_duck_type

7 months ago

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

0 0 0 113 0

ZKsync (∎, ∆) @zksync

8 months ago

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.

30 80 430 28K 16

Download Image

ZKsync (∎, ∆) @zksync

8 months ago

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.

64 133 658 208K 36

Download Video

ZKsync (∎, ∆) @zksync

9 months ago

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

40 127 515 89K 65

Download Video

Yano 🟪 @JasonYanowitz

9 months ago

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

31 78 466 97K 225

Download Video

matthew sigel, recovering CFA @matthew_sigel

9 months ago

Deutsche Bank Developing Ethereum L2

Wu Blockchain @WuBlockchain

9 months ago

Deutsche Bank Developing Ethereum L2

17 39 211 64K 11

24 8 197 10K 6

ZKsync (∎, ∆) @zksync

9 months ago

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

319 990 2K 577K 112

Download Image

Nethermind Security @NethermindSec

9 months ago

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

0 7 15 1K 3

Igor Zhirkov (∎, ∆) @rub_duck_type

10 months ago

I did not realize it at first, but what Darwin brought to us is not just a theory of evolution, but an idea that a design does not have to come from a mind -- it may emerge from orderly operations, time, and chance alone. It destroys a big part of pre-Darwinian cosmology.

0 0 3 131 0

ZKsync (∎, ∆) @zksync

11 months ago

ZKsync continues to be the go-to chain for financial institutions after participating in an industry-wide initiative, led by @chainlink. 🔖 TL:DR An initiative, led by Chainlink, Euroclear, Swift and 6 financial institutions showcases how AI, decentralized oracles, and…

Chainlink @chainlink

11 months ago

144 823 5K 2.0M 275

Download Image

44 111 612 61K 15

ZKsync Developers (∎, ∆) @zkSyncDevs

11 months ago

🏆 New release alert! 🏆 v1.5.6 of the Solidity compiler for ZKsync Era! This release focuses on solc v0.8.28 support and performance improvements. If you’re on v1.5.5 or earlier, now’s the time to update! Check out the complete release notes and download the binaries for your…