convoluted_code's profile picture. A technology executive, Computer scientist, Professor.   A decade at Microsoft Research, executive roles at Brave, ZKSync, Eclipse.

Ben Livshits

@convoluted_code

A technology executive, Computer scientist, Professor. A decade at Microsoft Research, executive roles at Brave, ZKSync, Eclipse.

置頂

While I'm no longer at Eclipse Labs, I wanted to reflect on some of the remarkable work recently accomplished. Much of our focus was on achieving technical superiority, particularly on the performance front—made possible by the freedom of L2 innovation 🧵


I am planning to be in San Francisco next week. Please message directly if you’d like to connect in person.


Ben Livshits 已轉發

Research is key to building a strong OP Stack and a robust rollup ecosystem. We recently implemented key fixes and paid out a $20K bounty reward for the following report.

New Paper w/ @YourBuddyConner, @spilehchiha, @nico_mnbl, @convoluted_code, Akis Kattis. Mispricing issues in major rollups enable practical DoS and finality attacks. All major rollups have made adjustments in production and we were awarded multiple bug bounties. 1/🧵

schaliasosvons's tweet image. New Paper w/ @YourBuddyConner, @spilehchiha, @nico_mnbl, @convoluted_code, Akis Kattis.
Mispricing issues in major rollups enable practical DoS and finality attacks. All major rollups have made adjustments in production and we were awarded multiple bug bounties. 1/🧵


Ben Livshits 已轉發

Bull case for Ethereum L2s from @Decentralisedco Well written. Well argued. 👏👏👏 decentralised.co/p/will-all-l1s…

RyanSAdams's tweet image. Bull case for Ethereum L2s from @Decentralisedco 

Well written. Well argued. 👏👏👏

decentralised.co/p/will-all-l1s…

Interesting discussion of the value of parallel transaction execution and the role hotspots/contentious state has

I wrote about it on my account a lot since I was doing EVM performance tuning and actual parallel execution for our MEV searcher on BSC back in 2021-2022. The short answer is that in the real world scenarios, most txs use contentious state and cannot be parallelized, so you're…



This is how I see it as well

No, Tempo (in its current form) will not contribute to ETH value accrual but it will contribute to the tech



I would not jump to conclusions here @fede_intern — the night is young. There is space for alternative clients and there is space for stable-focused chains like what @tempo is. Where it takes away from Ethereum proper depends on what Ethereum does.

I’ve been saying for the past two years that the influence of @paradigm within Ethereum could become a relevant tail risk for the ecosystem. I believe this will become increasingly clear to everyone in the months ahead. Some people think I have a personal issue with them. I…



Rollup stages and respective security properties matter

此推文已無法使用。

Strongly agree — seemed nearly impossible two years ago

Progress toward real-time proving for Ethereum L1 is nothing short of extraordinary. In May, SP1 Hypercube proved 94% of L1 blocks in under 12 seconds using 160 RTX 4090s. Five months later Pico Prism proves 99.9% of the same blocks in under 12 seconds, with just 64 RTX 5090s.…



This is quite a lot of GPUs

Announcing Pico Prism, the state-of-the-art zkVM for Ethereum real-time proving. 99.6% of blocks proven under 12 seconds, 6.9s average with 64 RTX 5090 GPUs. This marks a major step toward scaling Ethereum by 100x and a future where you can validate the chain from a phone.

brevis_zk's tweet image. Announcing Pico Prism, the state-of-the-art zkVM for Ethereum real-time proving. 99.6% of blocks proven under 12 seconds, 6.9s average with 64 RTX 5090 GPUs.

This marks a major step toward scaling Ethereum by 100x and a future where you can validate the chain from a phone.


Ben Livshits 已轉發

1/2 As always, tons of great research seminars last summer @a16zcrypto, with topics ranging from consensus protocols to mechanism design to zk/TEEs/MPC to governance to MEV. And as always, we're making them publicly available. First two, by @jneu_net and Ling Ren, just posted!


While "inheriting" L1 security sounds like a nice idea, rollup security properties can be surprisingly tricky. Ours is the first paper to formalize these properties. If you are at CCS in Taipei, come to see our work presented! @schaliasosvons @dfirsov arxiv.org/abs/2406.16219

convoluted_code's tweet image. While "inheriting" L1 security sounds like a nice idea, rollup security properties can be surprisingly tricky. Ours is the first paper to formalize these properties. If you are at CCS in Taipei, come to see our work presented! @schaliasosvons @dfirsov arxiv.org/abs/2406.16219

Excited to share that our paper has been accepted at CCS’25! Towards a Formal Foundation for Blockchain ZK Rollups (w/ @dfirsov and @convoluted_code) A critical question we want to answer is what it means for a rollup to be secure. Here's what we did on formalizing ZK rollup…

schaliasosvons's tweet image. Excited to share that our paper has been accepted at CCS’25!
Towards a Formal Foundation for Blockchain ZK Rollups (w/ @dfirsov  and @convoluted_code)
A critical question we want to answer is what it means for a rollup to be secure.
Here's what we did on formalizing ZK rollup…


Ben Livshits 已轉發

Excited to share our new paper: eprint.iacr.org/2025/1897! We made Groth16 dynamic - proofs can now be efficiently updated when the witness changes slightly. Amazing that after 10 years, we still have new insights of Groth16 and Pinocchio. Joint work with two brilliant new students


The interplay between custom hardware and (custom) zero-knowledge use cases is an exciting place to watch

Custom chips for ZK are key to scaling, both in terms of supply and economics. That's why we built the VPU at @FabricCrypto: so great builders can do what they do best, without worrying about hardware limits. Part of our early vision & why @vnovakovski is an investor. We'll be…

gaoist's tweet image. Custom chips for ZK are key to scaling, both in terms of supply and economics. That's why we built the VPU at @FabricCrypto: so great builders can do what they do best, without worrying about hardware limits. Part of our early vision & why @vnovakovski is an investor. 

We'll be…


Ben Livshits 已轉發

Exciting news for the ZK Stack builders! We’re looking forward to seeing Atlas on mainnets ⚡️ Soon after, Airbender will make its way to the ZK Catalog!

Incorruptible Finance is now real-time. Introducing the Atlas upgrade for the ZK Stack: ✦ 15K+ TPS sequencer ✦ 1-second ZK finality via Airbender ✦ $0.0001 proving cost per transfer



We are finally making the work we’ve kept under wraps for a while public — see the thread below. RT for visibility.

New Paper w/ @YourBuddyConner, @spilehchiha, @nico_mnbl, @convoluted_code, Akis Kattis. Mispricing issues in major rollups enable practical DoS and finality attacks. All major rollups have made adjustments in production and we were awarded multiple bug bounties. 1/🧵

schaliasosvons's tweet image. New Paper w/ @YourBuddyConner, @spilehchiha, @nico_mnbl, @convoluted_code, Akis Kattis.
Mispricing issues in major rollups enable practical DoS and finality attacks. All major rollups have made adjustments in production and we were awarded multiple bug bounties. 1/🧵


Good opportunity to get a much broader viewpoint of the Ethereum ecosystem

🚨 L2BEAT is hiring! 🚨 We’re looking for a Sr Software Engineer / Tech Lead to help build the future of onchain transparency. Lead a small team, ship new features and make L2 data accessible & reliable. More details ⬇️



Ben Livshits 已轉發

Mod 2 of the ZK Whiteboard Sessions S3 is LIVE! High-Performance Engineering for SNARKs, w/ @jimpo_potamus from @IrreducibleHW & @nico_mnbl You can watch Module 2 and gain access to all the resources mentioned in the session here. This season is supported by @BainCapCrypto

__zkhack__'s tweet image. Mod 2 of the ZK Whiteboard Sessions S3 is LIVE!

High-Performance Engineering for SNARKs, w/ @jimpo_potamus from @IrreducibleHW & @nico_mnbl 

You can watch Module 2 and gain access to all the resources mentioned in the session here.

This season is supported by @BainCapCrypto…

Ben Livshits 已轉發

Just read "SoK: What Don’t We Know? Understanding Security Vulnerabilities in SNARKs." by @cryptodavidw @schaliasosvons @0xSerious @MMJahanara @convoluted_code Turns out: SNARKs aren’t “just math.” 141 real-world bugs show why end-to-end security and better tooling are critical…

Sabanaku77's tweet image. Just read "SoK: What Don’t We Know? Understanding Security Vulnerabilities in SNARKs." by @cryptodavidw @schaliasosvons @0xSerious @MMJahanara @convoluted_code 
Turns out: SNARKs aren’t “just math.” 141 real-world bugs show why end-to-end security and better tooling are critical…

Loading...

Something went wrong.


Something went wrong.