Millions of robots 🤖 live for milli-seconds⚡to make the markets turing complete , who will be the last human 👥 standing? I live till I decentralize. ⚓🏴‍☠️

Decentralized
Joined January 2009
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🐄
44
13
3
180
There.Is.Now.Alternative⚡🤖 retweeted
My contribution to the #slopcore genre. Made with a bunch of models, made easy with @Sogni_Protocol.
15
15
7
94
8,875
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!
14
28
5
206
9,538
There.Is.Now.Alternative⚡🤖 retweeted
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.
22
60
26
310
104,330
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.
209
835
103
8,012
424,927
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.
363
1,372
137
21,653
405,351
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…
16
25
5
297
25,266
There.Is.Now.Alternative⚡🤖 retweeted
Replying to @matthew_d_green
Heh, right on cue 😅
1
1
6
520
There.Is.Now.Alternative⚡🤖 retweeted
the final boss in crypto is identity identity ≠ identifiers [ ]
the final boss in crypto is identity - after we cracked privacy, wallet UX/DX, security, and performance, we are finally going to have a shot on goal after the most interesting topic that ive wanted to crack open for the longest time
16
6
120
5,358
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.
491
231
123
1,984
284,598
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.
1
2
26
1,012
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.
7
15
855
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.
Muse was just knocked out of the top App Store spot for the first time since it launched. Dave’s Hot Chicken is the new hot app. Unsure which models it uses.
468
123
69
5,979
1,290,810
There.Is.Now.Alternative⚡🤖 retweeted
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
3
2
1
24
1,399
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
34
12
6
204
18,389
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…
11
16
2
254
15,182
There.Is.Now.Alternative⚡🤖 retweeted
“OpenAI in talks to buy Trail of Bits” 👀 theinformation.com/articles/…
19
57
23
438
47,426
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 ⬇️
6
6
3
46
3,857
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.
7
2
2
33
2,427
There.Is.Now.Alternative⚡🤖 retweeted
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.
24
50
20
293
58,098