I choose balance. First-level balance. mi pinxe lo crino tcati slatestarcodex.com/2018/09/1…
Earth
- Tweets 21,973
- Following 550
- Followers 7,982,217
- Likes 12,113
vitalik.eth retweeted
Quick updates on the Open Anonymity project (@OpenAnonProject)!
1. OA-chat is live! You can now signup: chat.openanonymity.ai
2. We collaborated with @ethereumfndn (@VitalikButerin, @DavideCrapis, @VittoStack, @curryrasul) to develop zkAPI, a new zero-knowledge protocol for accessing gated / paid APIs with unlinkability. It’s like a generalization of OA unlinkable inference that also abstracts payments away. Now also available on OA-chat!
I'm excited because more infrastructure should exist where privacy and sovereignty is foundational and people are in control.
58
64
400
160,851
Also this thing is done now
vitalik.eth.limo/snowmoon/
607
277
3,029
848,680
vitalik.eth retweeted
Ethereum is both an abstract philosophical concept (the ontological Turing machine) and a practical research and development effort that aims to answer this question that pertains to the nature of Ethereum.
How the nature of "Ethereum" as a protocol comes to be determined through the ACD governance mechanism, how cryptographic truth comes to be defined, and how convergent consensus is reached using majority representation of Ethereum's observers is what reduces the ontology of the world computer down to what we today call the Ethereum network.
Here's how the world computer comes to be defined:
conall.gwei.domains/#/blog/D…
31
36
301
63,210
Lean consensus will be amazing.
One step closer to 4-8x faster Ethereum finality!
It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one.
Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified!
What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed.
The work wasn't limited to just:
Design the protocol -> Formally verify it
Instead, the loop became more like:
Design -> Formal Model -> Find exactly what breaks and why -> Redesign it.
For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process.
A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol.
Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them.
In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.
227
139
1,731
327,769
vitalik.eth retweeted
Glamsterdam with EIP-7928 (Block-Level Access Lists) is approaching the final mile, and things look great:
* Significant throughput increase thanks to parallelism
* Faster and simpler sync via snap v2
* Future-compatible with zkEVMs, partially stateful nodes, inclusion lists, and trie migrations
When we started working on the idea, we saw it as a nice scaling feature and didn’t yet realize that adding state diffs would have a bunch of positive side effects: making tracing faster, improving inclusion list quality under FOCIL (EIP-7805), and helping nodes catch up faster after being offline.
Glamsterdam will be one of the biggest forks we’ve seen, and it took correspondingly long, but the result will be worth it.
Block Access Lists (EIP-7928) is going to be more important for ethereum than a 10 blobs / block target capacity.
17
26
217
74,986
The cryptographic world computer:
vitalik.eth.limo/general/202…
My attempt to express in somewhat concise terms the true meaning of basically everything planned to happen to Ethereum starting from the fork after Hegota. It's really not just a blockchain anymore. It's a hybrid architecture that combines together blockchains and modern cryptography, to enable much more powerful properties.
FOCIL, EIP-8288, Lean consensus, state management, formal verification, advanced mempool improvements (including privacy), and the longer-term specter of obfuscation all mentioned.
582
982
5,625
1,437,040
It's an underappreciated triumph of Ethereum client developers that PeerDAS has now been running for nearly a year with basically no problems.
PeerDAS was a complex task: it's the first large-scale instance of a blockchain that achieves consensus on the availability of data without needing any single node to download the entire block. Decentralized consensus without replication.
And yet, it worked.
276
266
2,635
305,589
vitalik.eth retweeted
Did you know that Clean has a website and a pragmatic introduction to formal verification for zk devs?
clean.zksecurity.xyz
10
23
175
53,366
vitalik.eth retweeted
stateless-pancaketh is a stateless guest of Ethereum in development. It's written in a programming language called Pancake.
8
9
78
41,624
Testing out some of the mobile offline local knowledge apps that people have been trying to build
(see here poidh.xyz/mainnet/bounty/31 )
Definitely getting much better than the one I tried to build myself 2 months ago. But also still much slower and less effective at difficult questions than the models that can run on a laptop.
It's weakest at specialized travel-related queries (eg. my eval is "Tell me the best vegan restaurants in [city I am currently in]", unfortunately none of these performed well on that)
Looking forward to seeing these continue to improve! I hope we can soon get to the point where you can comfortably look up any facts about the world that you care about without needing to access the internet at all.
287
188
1,366
330,258
vitalik.eth retweeted
Glamsterdam will bring snap sync to the next level.
With snap v2, the Block-level Access List, which is basically a state diff, is used to replace the traditional healing phase.
The result, it becomes faster and simpler to sync a node.
Clients are ready with Glamsterdam.
Snycing has never been that smooth.
Reminder: you can now sync an ethereum node within half a day and with aggressive settings the space it takes up on disk can be under half a terabyte.
EIP-4444 and hard work by client teams on optimizing snap sync has improved things *a lot*.
Glamsterdam will improve the sync situation further still (eg. Nimbus's new sync protocol uses it)
19
30
210
62,933
qwen3.8-flash-next
ethereum client
100+ GB of local downloaded wikipedia + gutenberg + science articles
what else?
(Getting rid of the need for centralized pinning services in IPFS is definitely high up the prio list)
I think what's interesting is that the desire for local AI may inadvertently create a lot more local node users. It's a fraction of the actual compute local AI needs and just requires a decent amount of disk space.
167
105
1,116
300,710
Reminder: you can now sync an ethereum node within half a day and with aggressive settings the space it takes up on disk can be under half a terabyte.
EIP-4444 and hard work by client teams on optimizing snap sync has improved things *a lot*.
Glamsterdam will improve the sync situation further still (eg. Nimbus's new sync protocol uses it)
182
222
1,853
277,413
Note: you can repoint your wallet RPC to localhost, though make sure to set your node up so it functions as an RPC. However, many in-browser dapps will not work as effectively this way, and many others hardcoded their RPC to their own server.
I am increasingly becoming a fan of avoiding browser dapps entirely and just doing everything by command line.
Just did a full end-to-end test: updated my ENS record using a local python script reading and sending through my local node.
24
12
258
48,096
Next step is kohaku-cli more properly integrating privacy protocols; some alpha work has already been done, more coming soon!
github.com/kassandraoftroy/k…
37
28
267
43,034
new solidity compiler dropped
firefly.social/post/x/210344…
149
90
762
270,943
HABEMUS TESTNET — DAISUGI v0.1
A post-quantum Ethereum testnet using hash-based SPHINCS signatures with non-native account abstraction.
Big thanks to @riva_labs and @GiulioRebuffo.
Coming next:
• Frame Transactions
• Signature aggregation via LeanSPHINCS
Believe in somETHing. Link ⬇️
27
51
255
67,755
Glad to see that Ethereum L1 will have a new strong prediction market contender that is dedicated to decentralization, and being ethical and not corposlop, and to actually trying to do interesting and meaningful things with this class of economic primitive.
firefly.social/post/x/210212…
403
356
3,043
847,622
There continues to be a lot of quiet dissent against the regime, which expresses itself any time some kind of channel appears (in this case, the "election" taking place right now)
(The goal is not to literally get Putin to politely step off his chair; the election is of course manipulated to hell on multiple levels, and even if he loses he will just ignore it. Rather, the realistic goal is to delegitimize the regime as much as possible, denying it the internal cohesion it needs to pursue the "total war" path so that it has no choice but to take the peace path)
firefly.social/post/x/210173…
193
83
884
251,950