Vitalik Buterin+

vbuterin pushed blog

vbuterin pushed blog

vbuterin pushed blog

My third (and last) post in my series on obfuscation (iO): local mixing https:/

My third (and last) post in my series on obfuscation (iO): local mixing https://vitalik.eth.limo/general/2026/08/21/obfuscation_part_iii_local_mixing.html Local mixing is a very different philosophy from the other two… https://firefly.social/post/ff-6611a094ea4e4b32a388d23b293eda3e?s=bsky

vbuterin pushed blog

vbuterin pushed blog

vbuterin pushed blog

vbuterin pushed blog

vbuterin pushed nixos-example

vbuterin pushed local_mixing

Bitcoiners deserve a lot of credit for pioneering many of these ideas (see Utree

Bitcoiners deserve a lot of credit for pioneering many of these ideas (see Utreexo). But yes, this is what the current proposed Ethereum scaling strategy looks like in action. We want Ethereum to have the best of… https://firefly.social/post/ff-cca00141f0ef426ab019c62a622dd506?s=bsky

vbuterin opened a pull request in local_mixing

vbuterin created a branch

vbuterin forked vbuterin/local_mixing from Local-Mixing/local_mixing

vbuterin pushed nixos-example

Impressive work! For comparison, an H100 can do roughly 100-200 tok/s of Muse 3

Impressive work! For comparison, an H100 can do roughly 100-200 tok/s of Muse 30B for raw inference single-thread, going up to low thousands of tok/s with a large number of threads - and I am sure that for the… https://firefly.social/post/ff-5ca860e59fc74caebe910168158f6f39?s=bsky

Yabloko, Russia's only remaining openly anti-war political party, was just banne

Yabloko, Russia's only remaining openly anti-war political party, was just banned. https://www.bbc.com/news/articles/cy9w1l5jr7lo Also recently, Nadezhdin (from a different party) had to flee to France… https://firefly.social/post/ff-1eabf387706346bcbdcf0cc35ce55317?s=bsky

I updated my 2023 roadmap diagram to overlay where the items that were there sit

I updated my 2023 roadmap diagram to overlay where the items that were there sit in the current Strawmap ( https://strawmap.org/ ). In general, a lot of overlap, but: * Some things got reshuffled in order (eg. quantum… https://firefly.social/post/ff-20089e3c5efe4388a75ea1d2addd87fc?s=bsky

vbuterin pushed EIPs

vbuterin pushed EIPs

vbuterin pushed EIPs

https://x.com/chrislakin/status/2076036439880642614

https://x.com/chrislakin/status/2076036439880642614

Minimax H3 is the first *open* video model I've seen that outperforms HunyuanVid

Minimax H3 is the first *open* video model I've seen that outperforms HunyuanVideo 1.5 - which is actually an impressive accomplishment for @TencentHunyuan to have held that throne for so long. For a while now I've been… https://firefly.social/post/ff-a775e498c8ed46b18d21c640d906ec27?s=bsky

Very welcome recent news from Signal: they are working on letting you register a

Very welcome recent news from Signal: they are working on letting you register an account without a phone number. https://aboutsignal.com/news/signal-is-working-on-registration-without-a-phone-number/ That said, an… https://firefly.social/post/ff-3a2921c1dc0f4ee3ac1abd3c149d05a4?s=bsky

vbuterin pushed nixos-example

https://vitalik.eth.limo/general/2026/07/28/obfuscation_part_ii_diamond_io.html

https://vitalik.eth.limo/general/2026/07/28/obfuscation_part_ii_diamond_io.html The second part of my series on cryptographic obfuscation protocols, this time on diamond iO!

vbuterin pushed blog

vbuterin pushed blog

vbuterin pushed blog

This is quite a good article on how the cubic formula works, and particularly ho

This is quite a good article on how the cubic formula works, and particularly how root-finding is connected to symmetries (key background for understanding the impossibility of a quintic formula) https://hidden-phenomena.com/articles/cubic

A new type of "high-level programming language" that seems really worth trying t

A new type of "high-level programming language" that seems really worth trying to make, is a language that gets compiled to Lean (or HOL, or...) that is specifically about making it as friendly as possible for a human to… https://firefly.social/post/ff-a7c55ab037154cedb89dbd2167813bd0?s=bsky

New lore dropped: Open weights are not the capital of communism anymore, now Cu

New lore dropped: Open weights are not the capital of communism anymore, now Cuba is. So we can all get back to supporting open weights again. https://www.state.gov/cuba-the-capital-of-21st-century-communism/

But here we get to the thing that will confound looking at human and machine as

But here we get to the thing that will confound looking at human and machine as separate units: the possibility of deeper and deeper integration between human and machine. This is the strand of technology that includes… https://firefly.social/post/ff-344c5b1fdac74ec183f1462626e74cc5?s=bsky

But AGI is not the same as ASI (artificial superintelligence). To see the differ

But AGI is not the same as ASI (artificial superintelligence). To see the difference, let us zoom into what things might look like one year before the singularity. We also need to add a third line to the chart: the centaur… https://firefly.social/post/ff-54bc1b9f2fa14ad9859ad8343c9fa939?s=bsky

What do the "last days of human dominance" look like? (This is assuming that a

What do the "last days of human dominance" look like? (This is assuming that a *permanent* global stop to AI development does not happen) First, recall my definition of AGI: AGI is AI that is powerful enough that if you… https://firefly.social/post/ff-8935c1ac8aef4be0bd46b1dfebfe9e47?s=bsky

In the previous wave (calculators and computers), many people thought "well if A

In the previous wave (calculators and computers), many people thought "well if AI can solve hard things like 10x10 digit multiplication and quadratic equations so much better than humans can, then surely it will very soon… https://firefly.social/post/ff-e99deead316c4d7eacd75a2e514a793a?s=bsky

Then, we had a series of three eras of advancement, in which machines rapidly ga

Then, we had a series of three eras of advancement, in which machines rapidly gained areas of capabilities that far exceeded our own: * In the industrial revolution, mass manufacturing, or generally the ability to perform… https://firefly.social/post/ff-7a6275281d3543b59c18672e2d33012c?s=bsky

Thread: how I think about the growth of AI capabilities and what it means for us

Thread: how I think about the growth of AI capabilities and what it means for us as they keep getting stronger. I think the right model for comparing humans and AI is not any single dimension like intelligence or… https://firefly.social/post/ff-47c3ae1478d5430698de681c6e7e15ff?s=bsky

btw it's stage 2

btw it's stage 2

Vibe-coded a toy demo version of the "anon billboard with moderation" idea from

Vibe-coded a toy demo version of the "anon billboard with moderation" idea from https://vitalik.eth.limo/general/2022/06/15/using_snarks.html on aztec github.com/vbuterin/aztec_experiments It's early days but you can already do very interesting nontrivial stuff!

vbuterin pushed aztec_experiments

vbuterin pushed aztec_experiments

vbuterin pushed aztec_experiments

vbuterin pushed nixos-example

One thing I find striking in the discourse between AI 2040 and its detractors is

One thing I find striking in the discourse between AI 2040 and its detractors is that the two seem to be locked in to totally incompatible worldviews of how fast and how much of a big deal AI progress is: * In AI 2040… https://firefly.social/post/ff-7958a6d2d90f42c39c9840e28b7dd56d?s=bsky

They are trying to push Chat Control through again. https://firefly.social/post

They are trying to push Chat Control through again. https://firefly.social/post/x/2074600536213737507

vbuterin pushed nixos-example

Cauchy distributions (and Levy distributions) are very underrated and fun.

Cauchy distributions (and Levy distributions) are very underrated and fun.

And ... we have a winner! My method when writing the post in 2024 was: I wrote

And ... we have a winner! My method when writing the post in 2024 was: I wrote it in Chinese, used qwen2.5 locally to translate it to English, then manually fixed all the bugs in the translation. Notice that the… https://firefly.social/post/ff-d74dc2ed42864155aeb5b7a101604eba?s=bsky

If we want to make the Lean Ethereum consensus chain aggressively more "lean", a

If we want to make the Lean Ethereum consensus chain aggressively more "lean", and add strong validator privacy (ZK-unlink deposit from staking activity from withdrawal, and re-anonymize stakers every day), here is a path: https://ethresear.ch/t/the-extremely-lean-chain/25369

13 days. So far no one has found it. My only hint is that I would encourage pe

13 days. So far no one has found it. My only hint is that I would encourage people to somewhat broaden their search; I've seen quite a few searches and AI scripts that fail to include categories of documents that really should be included. https://firefly.social/post/x/2069080988097876084

Two weeks ago, Ethereum researchers met in Berlin to continue charting the proto

Two weeks ago, Ethereum researchers met in Berlin to continue charting the protocol's long-term trajectory, following along discussions with client teams in Svalbard in April. The updated strawmap is at strawmap.org, and… https://firefly.social/post/ff-7e011098340f43178dc8db81f9315c0e?s=bsky

vbuterin pushed crazy_gsw

vbuterin created a branch

"Pokemon" is short for "pocket monsters". "Digimon" is short for "digital monste

"Pokemon" is short for "pocket monsters". "Digimon" is short for "digital monsters". Therefore, "salmon" is short for "saltwater monsters". (You might object: salmon spend a big part of their life in freshwater. But pokemon spend a big part of their life outside pockets too!)

A ten-thousand word monster post trying to cover the entire tech tree behind the

A ten-thousand word monster post trying to cover the entire tech tree behind the main lineage of obfuscation (iO) protocols: https://vitalik.eth.limo/general/2026/06/29/obfuscation1.html Special thanks to all who helped!

vbuterin pushed blog

This year, the EF is decreasing its budget by roughly 40%, which entails some di

This year, the EF is decreasing its budget by roughly 40%, which entails some difficult decisions. The goal of the decreases was set out in the Treasury Management Policy last year: the EF is transitioning into being a… https://firefly.social/post/ff-0a6c1462518944b6993cff5ffcb195b5?s=bsky

There have recently been claims that AI text analysis will make online anonymity

There have recently been claims that AI text analysis will make online anonymity untenable. So let me cannibalize a piece of my own anonymity to do an experiment. At some point this decade, I wrote a published document… https://firefly.social/post/ff-eb2bbf1133d947959244f83d9c71e59d?s=bsky

Re-posting the idea from the second half of this post a few months ago https://f

Re-posting the idea from the second half of this post a few months ago https://firefly.social/post/x/2022669570788487542: (This is very relevant to the options ideas from yesterday) Question: if we're making a synthetic… https://firefly.social/post/ff-ad57049d13c74a3e99ffe679c75a6bee?s=bsky

See also: the bottom half of this earlier post https://firefly.social/post/x/20

See also: the bottom half of this earlier post https://firefly.social/post/x/2022669570788487542 Moving away from fiat currency, and toward price stability through each person and institution getting their own customized basket.

Building index-tracking assets on top of options instead of debt https://ethres

Building index-tracking assets on top of options instead of debt https://ethresear.ch/t/building-index-tracking-assets-on-top-of-options-instead-of-debt/25036 What if the use options as the base of defi, instead of CDPs… https://firefly.social/post/ff-52a794a7ba204bc193e87f690c911edd?s=bsky

In an ideal world all software and hardware would have "nutrition labels" that p

In an ideal world all software and hardware would have "nutrition labels" that provide a full list of trust dependencies - what math and which actors' honest behavior (and on what time scale) the system is relying on to… https://firefly.social/post/ff-4f4e56562c1948d2ab538be24eaeec0b?s=bsky

In lieu of more of the usual blog posts, decided to try my hand at writing decen

In lieu of more of the usual blog posts, decided to try my hand at writing decentralized governance scifi: https://vitalik.eth.limo/w/

other parts of ethereum. We recognize that many other parts of the ethereum worl

other parts of ethereum. We recognize that many other parts of the ethereum world highly respect CROPS and related values. But highly respecting is not the same as choosing to specialize and totally dedicate to a domain… https://firefly.social/post/ff-ddbb80bcef244dc480bf820647c15249?s=bsky

Some of my perspective on where the @ethereumfndn is going. First of all, this

Some of my perspective on where the @ethereumfndn is going. First of all, this is only my own view. The board is not just me, and I have no extra special powers on the board that the other board members do not… https://firefly.social/post/ff-fd7e0293bd664700b7cb29aa93cf7fcb?s=bsky

ERC 4337: account abstraction without Ethereum protocol changes

Cantor was Wrong: debunking the infinite set hierarchy

Liberation Through Radical Decentralization

Safety Under Dynamic Validator Sets

Minimal Slashing Conditions

The Meaning of Decentralization

Zk-SNARKs: Under the Hood

Exploring Elliptic Curve Pairings

Parametrizing Casper: the decentralization/finality time/overhead tradeoff

A Proof of Stake Design Philosophy