Pinned Tweet
SPV for Surplus Human Capital Mining:
Flash Organization: Flashmob w/ phase transition b/t open community & value-capturing temp constructs👷
Application Specific Task Force: ASIC of heterogeneous capital formation w/ a count-down timer🏴☠️
MicroDAO: microbrewery of DAOs🐄
There.Is.Now.Alternative⚡🤖 retweeted
I am leaving Cambridge after a few days spent for a workshop on fast finality, concurrent with other workshops on post-quantum crypto and formal verification. Quick takeaways
- Faster finality is coming, the research is mature, even as new ideas have come in during the week, the handoff to specifiers and implementers feels well underway. Next catalyst event will be at devcon in a few weeks, with core devs
- The performance numbers for post-quantum finality are improving massively, and this is the worst that they’ll ever be. This is significant, it means the penalty from moving to more complex crypto would not require, in my opinion, if the numbers hold up, a deep rearchitecting to move to PQ-secure consensus, in particular when it comes to incentives
- The biggest opportunity imo remains networking. Simulations and live experiments are exploring both the current pre-PQ setting, where networking is clearly the bottleneck, and the post-PQ setting, where compute remains the bottleneck. But with PQ compute numbers improving, I wouldn’t be surprised if once again networking becomes the bottleneck
All of this is making me extremely bullish that we’ll achieve PQ-secure and faster finality even faster.
Many thanks to @yannvon @benjaminion_xyz and @robsaltini for the workshop, and to @corcoranwill and @drakefjustin for hosting us in Cambridge!
AI is making Ethereum more ambitious.
You might have heard about the challenges that blockchains face in a post-AI world, and while security assumptions will surely be stress-tested in the coming months and years, there is another side to it. I believe AI will let us speedrun towards a world that's both more secure and feature-rich.
As we look towards Ethereum's first post-AI upgrade, Hegotá, the R&D community is asking itself what increasingly powerful tools could help us do differently:
> How far can we push both security and iteration speed?
> How much of the design space can we examine before committing to one?
> How easily can we test the interactions between complex features?
My recent formal verification work @ethlabs_org has given me some reasons to be optimistic about these, as work that would have previously not even been attempted is now being done by agents in days. In September, I posted about using formal verification as part of designing a new consensus protocol. This time, I want to tell you about formally verifying something already fully specified and in production: Ethereum's Fast Confirmation Rule (FCR).
If you are not familiar with FCR, it lets applications confirm Ethereum blocks in seconds, roughly 30x faster than waiting for finality, under additional assumptions (from waiting 13 minutes to 24 seconds!). It also further solidifies Ethereum L1's case as an asset hub and center of gravity for the onchain economy. FCR now has a safety proof in Lean, closely modeling the rule in the consensus specs, which is the source of truth for Ethereum's consensus clients.
Some takeaways:
> FCR is safe! Under its assumptions, confirmed blocks remain canonical. On top of the manual proofs from the paper, we now have Lean proofs of this for the actual spec, additional evidence for applications considering FCR!
> The bulk of the formal verification work took just a 4-5 days (check out the animation!), with agents working mostly unsupervised. We should be very ambitious about using this as a tool at scale.
> After verifying the current rule, it was easy to adapt the model to the upcoming Gloas changes. Immediately, this surfaced a subtle bug caused by changes to fork choice. The problem was in the spec itself and not a gap in the model. The safety proof would not go through, and the agents could precisely pinpoint what was causing it to fail. The bug is now fixed, and formal verification of the corrected protocol goes through.
Iteration is never quite over, even for "finished" features like FCR, because the protocol keeps evolving around them. A formal model lets us ensure that key properties keep holding throughout the evolution of the protocol. With these capabilities, Ethereum can and should keep upgrading faster, tightening fork timelines and exploring more ambitious features, while still raising the security bar.
This picture has been getting much clearer over the past few months, and the past week confirmed it for me, as @drakefjustin and @corcoranwill brought together 100+ Ethereum researchers, cryptographers and formal verification experts in Cambridge for six days of workshops on post-quantum cryptography, formal verification and fast finality. Beyond its own workshop, formal verification was the omnipresent star of the week: everyone is using Lean and doing amazing things with it! Piece by piece, Ethereum's technological core is being rebuilt for the post-AI age.
The excitement was palpable, the sense of optimism was pervasive, and every talk and conversation carried a level of ambition I'd never seen before. The Ethereum R&D machine is upgrading itself, and we will see the outcome of that on the network sooner than you think.
There.Is.Now.Alternative⚡🤖 retweeted
In July we open-sourced a dynamic graph of everything a child learns in primary school. 1,590 concepts, 3,221 dependencies.
Now we’re turning every concept into interactive experiments kids can play and learn from.
First one, age 7: heat and water.
Everything that used to be a boring textbook can now be an engaging experience, potentially tailored to every child.
Kids education just got a massive upgrade.
There.Is.Now.Alternative⚡🤖 retweeted
Sometimes a demo is simply to remind the world that your competition has no desire to dream -- and no ability to evolve.
There.Is.Now.Alternative⚡🤖 retweeted
Unreal. Satoshi prob chose secp256k1 instead of NSA's P-256 because of this mystery - its a lot easier to just trust the number 7 (coefficient in secp256k1) than the mysterious possibly backdoored monster coefficient in P-256
now we know where the monster came from! its benign!
Claude figured out the origin of the NIST curve parameters. Turns out to have been timestamps!
anthropic.com/research/ecdsa…
There.Is.Now.Alternative⚡🤖 retweeted
CLAUDE FOUND THE SEEDS
anthropic.com/research/ecdsa…
There.Is.Now.Alternative⚡🤖 retweeted
Wrapped zkAPI + Tor + extra cover traffic + local LLM prompt rewriting in an open-AI compatible daemon, and made a "paranoid mode" wrapper for my agent harness (pi):
Each conversation gets assigned a separate Tor circuit, your requests are masked with random cover traffic, zkAPI ensures you don't leak your identity through payments, and all prompts are locally rewritten (bring-your-own-local-model; I'm using qwen3.8-flash-next)
github.com/vbuterin/zkapi/tr…
My agent harness is wrapped with a bwrap sandbox (also experimenting with MicroVM) and wrapped again with torsocks, so everything it does goes through Tor.
Here's what me asking it to do a simple research task looks like.
It's getting quite usable! Though you definitely still pay quite a bit in increased latency, especially when starting a new conversation.
Also, Tor is far from optimal here for privacy; the cover traffic mechanism is okay against passive adversaries but much weaker if the LLM provider is colluding with the guard and actively manipulating timing. This kind of task really requires a more specialized mixnet, probably take the tradeoff of a higher bandwidth multiplier and built-in constant cover traffic.
Also also, much cheaper zkAPI deposit and withdraw gas costs are coming to mainnet soon.
There.Is.Now.Alternative⚡🤖 retweeted
People are not ready for how much of a one man army I am in the process of becoming. Bet on your cyborg friends, they’re the only hope against the centralization of AI.
In an industry that prides itself on "don't trust, verify", herd mentality is ironically prevalent.
May have to do with individuals self selection for tribalism.
There.Is.Now.Alternative⚡🤖 retweeted
Since leaving X, I decided to try a new challenge. Could I make a chicken sandwich No. 1 on the App Store?
Well, guess what.
I have spent over a year now thinking about and building coding factories every single day. We are now hours away from releasing Smithers 1.0.0 the most powerful framework for building and self hosting your own coding factory. Fully open source. And easily the dankest thing I have ever built.
1. I am available to give your team a presentation about Smithers
2. Are you interested in building your team’s coding factory? I am looking for design partners to be added to the first cohort of Smithers factory users
3. If you were an early Smithers 0.x.x adopter I would like to whitelist you for an exciting new application built on top of Smithers I am releasing alongside the new Smithers
There.Is.Now.Alternative⚡🤖 retweeted
no comments, no deps, no docs, no tests (except e2e ones), no PRs, very little CI, a lot of CD - this might be the uncomfortable future we're headed to
There.Is.Now.Alternative⚡🤖 retweeted
This is also what will happen to Ethereum - the pace of changes will be beyond human governance abilities and the chain will start behaving like an adaptive system with hierarchies defined by the value of signal and infrastructure shape in the given region.
New on our Engineering blog: Creating in-house source control.
In May, we merged around 2,500 code changes per day. In September, we merged more than 30,000 per day. As a result, we became bottlenecked by developer infrastructure built for human (rather than agent) scale.
Here, we share how we built a new version control system—and fully migrated our monorepo from git—in five months: anthropic.com/engineering/re…
There.Is.Now.Alternative⚡🤖 retweeted
“OpenAI in talks to buy Trail of Bits” 👀 theinformation.com/articles/…
There.Is.Now.Alternative⚡🤖 retweeted
people keep asking me what the optimal topology for a swarm of agents is, so we tested six in our lab. we scattered the clues to a hidden map across 50 AI agents and changed how they were organized: who can message whom, who writes roads onto the map, who answers the routes ⬇️

ALT Figure titled six ways to organize 50 agents, six network diagrams with a one-line label each. Amber dots are the agents that write roads onto the map, a teal ring marks the agent that answers the routes, lines show who can message whom. Five hubs, one writer: five teams of ten joined through their leads, one amber writer. Public board, one writer: 50 agents around one board, one amber writer. Five leads each write a region: the five leads are amber. One writes, a second does routes: one amber writer, a second agent ringed. Leads write, a second does routes: leads amber, a second agent ringed. Everyone writes: all 50 around the board are amber.
There.Is.Now.Alternative⚡🤖 retweeted
After reading millie's tweet i was fascinated enough to clear up last weekend to fully read all 32 chapters of snowmoon end to end
I remember vitalik's point from a talk earlier that too many crypto bros fantasize about having their own country but not enough think about what would actually be different in it
snowmoon is his answer to that question
The geopolitical setting of the novel is three primary groups: the arctic empire (a mix of russian expansionism with american exceptionalism), veridia (european equality with a cryptographic bureaucracy) and dzego (ukrainian resistance with asian ingenuity).
i see a large impact of his novel as hyperstitioning the world we should create with the tech we've developed, so the rest of the post (spoilers ahead) summarizes the technology, institutions and ideology strands in his narrative
A. Technology
1. Warfare has shifted almost entirely to drones.
We get introduced to our Dzego protagonist zei when he is competing at a game that secretly doubles up as military recruitment strategy
After all, war is just computer screens with human handlers like zei working with AI to wipe out enemy dots (drones) on the screen using their own dots
2. Zk, zk everywhere: A stranger walks up to Seila, the wife of Veridian protagonist Gladias, and says he works with her husband. Naturally suspicious, she asks for evidence and he gives a zk proof showing that he spends a lot of time in proximity to him.
The book is rife with zk proliferation, for example entering some buildings simply requires a zk proof of a certain reputation score
the best one was the freetown economics institute, where you are charged the square root of every minute you are in the building, but the price per minute is cheaper if your academic reputation score is high
3. Voice AI and personal agents feature prominently in the book. Any character can access LLMs at any time by simply moving throat muscles in a barely audible whisper.
AIs are also linked to people, so when the Veridian protagonists wife calls him in an agitated state, the call shows up in red to indicate her emotional mood at the time of calling
4. Defi gets a mention as the protagonist forgets to transfer funds into his wallet, so he simply takes out a loan against his reputation score to pay the vendor
To secure a meeting with senators, characters sometimes burn zipcoin to show that they wont waste the persons time
5. There are 2 social media platforms in snowmoon, bluewhale which is proprietary and silverchat which is fully cryptographic.
Civic technology is much more advanced in his world, so towards the end they run a cryptographic poll on silverchat asking what the citizens of Veridia desire as a response to the arctic empires encroachment of their territory, with results used to establish legitimacy for declaring a military emergency.
The AI bots on silverchat access confidential military information and provide forecasts on likelihood of success for each option to inform voters on likely consequences of their vote
The technology theme in the book is a useful guide for us, as we now just need to work backwards from snowmoon to work at their integration in daily life
B. Institutions
This segment is really interesting in how Vitalik sees cryptographic institutions (called the steering) operating in the world.
far from replacing parliament and other democratic structures, they instead work in parallel.
The Steering has primarily 5 bureaucratic roles;
1. keepers design rubrics that incentivize certain behaviors or actions. for example, if a music concert has violent themes, they fit into a category that pays a greater tax
almost nothing is banned in veridia, it is simply taxed more or less depending on how good it is for society
2. sentinels enforce these rubrics, performing spot checks by going to the concert and assigning a tax category to it
One of the other great examples was on how land tax is assessed, where citizens walking down the road may be randomly polled to give their rating on the aesthetics of a building, which determines its band
hilariously, citizens in veridia end up choosing the highest tax slab on plum harbor for reasons other than aesthetics as they dont like its ideology
3. Next up are acolytes who train to be sentinels or keepers. their exam is performing the same spot checks as sentinels and getting judged on how closely their own assessments match with the sentinels
All 3 of the organs above are anons, with a bounty paid to any citizen who uncovers the identity of steering members & the job they are working on
Becoming part of the steering from an acolyte requires confirmation by parliament
4. Heralds are members of the steering that have relinquished all their responsibility so that they can be a public face of the steering
its interesting that a public presence is perceived as incompatible with impartially carrying out duties
5. finally, the funding organs are quadratic funding and graph funding.
QF is attacked in the book by closed social media giant bluewhale (and later the arctic empire) by paying out extra money to donors for giving money to a bad project. their goal is simply ensuring the matching funds do not go to genuine good projects that threaten their dominance.
Graph funding is the more interesting organ, where some money may be allocated to a category like "airborne disease resistance".
the category then divides into nodes such as air quality, detection, prevention, treatment, etc
each category has a cryptographic committee that sets a % split and removes or adds nodes. however, committees can easily separate the good from the bad but not the great from the good, so the top 10% all having equal chance of selection
Another interesting tradeoff discussed is between randomized spot checkers who have less knowledge about an issue vs expert committee members who have abiliy to assess but special interests can end up capturing
the other interesting point was how lower down talent needs accountability to perform well while the top ones should have freedom from optimizing for the game
Overall this segment read like a blueprint for how bureaucracy should be reformed today, without having to overthrow existing institutions.
Maybe the main idea was the tradeoff between accountability and transparency, as the steering turns out to be less corruptible by the arctic empire than democratic structures since their identities are secret and it is difficult to threaten or cajole them (although an attempt is made).
after all, accountability also means accountability to powerful interest groups who push on the weakest link, so some privacy in public affairs is required for its effective functioning
C. Ideology
This was maybe my favorite part of the book, what i loved was how the strongest version of arguments were presented instead of a strawman
1. the arctic empire argues for maximization of economic growth over all other objectives. the reason?
other goals keep changing according to the winds of preferences, but compounding economic growth is a base that helps in pursuit of anything else which becomes the fashion of the day.
so stop accelerating things that go in circles and focus on increasing economic output
in my view none of the counters offered in the book invalidate the argument;
a. health and education make people more productive and are also compounding across generations, so focusing on that is equally important
b. in reality, people do not want to maximize economic output so much as increase their relative growth. in the novel, the arctic empire suppresses other countries science and technology, which goes against the ideology of increasing economic growth
c. technological dominance can close off entire paths to humanity, so maximization of economic growth can lock us in to a certain path for decades.
for eg becoming richer while reducing freedom thru lock into global imperial rule via mass surveillance and robots is negative
2. the other big strand was veridia's belief in equality of all and love unconditional on achievement
the arctic empire argues against this belief by showing that it goes against the very idea of self improvement
for example, if you are a better version today than you were yesterday, then surely equality is impossible?
the counters here are;
a. rewarding excellence usually ends up protecting hierarchy of supposedly superior people
In the novel, a character defects to the arctic empire. however she soon loses her enthusiasm for their meritocratic ideals after being thrown in detention for challenging the instructor
b. excellence can come from curiosity more than it does from greed for appreciation or resentment at others. the winner of the national game zei is motivated by curiousity, compared to the runner up that cared about the achievement
c. affection when someone is struggling helps them thrive more than condemnation upon failure and adulation upon success
so being countercyclical in our encouragements brings out the best, in one instance a hug to Gladias made the difference in giving him the motivation to continue
at the same time, there is a concession that Veridia needs more ambition and recognition of achievement in their society
my favorite moment in the book was when the dzegoban protagonist zei has a game against a girl he has grown up with, bai
she asks whether they should spend the day at the mall instead of practicing drills. He goes on a long thought around game theory and how if they both dont practice neither has an advantage over the other, so its a good idea, while she simply replies that she'd like the economic surplus of spending time with him
overall definitely worth the weekend read, hope we see printed copies of it soon!
Maybe the biggest underexplored theme in the book which i'd have liked to see more of was around how the future of work changes in a world of LLMs
Last Sunday, Vitalik released the full version of Snowmoon.
An underpinning concept to many of the ideas in the story is something V calls “Coordination Quotient.”
Coordination Quotient is his invention, there’s no pre-existing literature on that exact idea!
In simple terms, CQ is a cure for the prisoner’s dilemma or tragedy of the commons.
A community with high CQ is capable of defying its respective social or economic nash equilibrium.
High CQ basically says that even if we are individually incentivized to act selfishly, we are effective at *choosing* to act in the collective interest without external forces pressuring us to.
My personal analogy is that a society with a perfect Coordination Quotient wouldn’t need formal laws or a governing body to function at scale because it would be so good at acting in good faith and achieving sophisticated positive-sum goals.
Do the labs have better algorithms for breaking crypto?
Independent of the answer, the most important thing is to have crypto agility. Zcash has proven this, with 3 upgrades happening in 6 months, and Tachyon planned for January. The protocol design has plans for how to turn off features to enable safe protocol upgrades. This is what Quantum Recoverability is, and it applies equally well if there's a non-quantum ECDLP attack.
We're equipped on multiple fronts to protect against future bugs. In the next cryptography upgrade, coming January, already slated features are:
- PQ transparent
- Switching to Tachyon
What people don't realize about Tachyon is it switches us to R1CS, and enables far more crypto agility away from elliptic curves. The nullifier derivation no longer depend on elliptic curves. We get far greater SNARK agility and can very quickly move to STARKs when any crisis comes.
Today's Zcash transparent UTXO's give a better security guarantee than an ETH address. @ZakuraZcash has solved the privacy and performance problem that were blocking rotating T-Addresses natively in the wallet. This is done using PIR to fetch balances, and its already live in Vizor. So its a short UX leap to get this backup plan.
In January, the Transparent pool will be upgraded to support hash based sigs, that can later be STARK aggregated.


































