Vitalik Buterin pfp

Vitalik Buterin

@vitalik.eth

110 Following
321845 Followers


Vitalik Buterin pfp
76 replies
84 recasts
746 reactions

Vitalik Buterin pfp
A fun math aside, on the idea of splitting a large zk proving workload between multiple provers. Suppose you have N provers, and you have a proving workload that you split into N parts (so, one part per prover). You require provers to pre-register, but registration is open-access. Suppose you have a constant fault rate (eg. 1/5 of registered provers fail). Provers expect to complete in one round (eg. 3s). If one prover fails, other provers have to come in and re-prove that load. How many rounds does it take for the entire workload to get proven? Answer: log*(N) (yes, that's the iterated-log function) Why: In the first round, you go from N unproven workloads to N/5 unproven workloads In the second round, each remaining workload gets assigned 5 provers, so per-workload failure rate becomes 1 in 5^5. So you go to N / 5 / 5^5 unproven workloads In the third round, each remaining workload gets assigned ~5^5 provers, so failure rate is 1 in 5^(5^5). So you go to N / 5 / 5^5 / 5^(5^5) unproven workloads
22 replies
22 recasts
235 reactions

Vitalik Buterin pfp
48 replies
28 recasts
310 reactions

Vitalik Buterin pfp
23 replies
76 recasts
482 reactions

Vitalik Buterin pfp
38 replies
114 recasts
590 reactions

Vitalik Buterin pfp
45 replies
177 recasts
865 reactions

Vitalik Buterin pfp
26 replies
59 recasts
345 reactions

Vitalik Buterin pfp
11 replies
45 recasts
232 reactions

Vitalik Buterin pfp
27 replies
48 recasts
399 reactions

Vitalik Buterin pfp
20 replies
91 recasts
448 reactions

Vitalik Buterin pfp
9 replies
18 recasts
163 reactions

Vitalik Buterin pfp
3 replies
7 recasts
66 reactions

Vitalik Buterin pfp
18 replies
97 recasts
400 reactions

Vitalik Buterin pfp
4 replies
9 recasts
72 reactions

Vitalik Buterin pfp
And my personal focuses for 2025: 1. Ethereum, particularly: (i) L1 long-term roadmap (eg. single-slot finality, long-term VM, statelessness, security / resilience / decentralization) (ii) full-stack security, open source and privacy: ensuring Ethereum is usable in a way that is highly secure, free of centralized intermediaries and privacy-friendly, incl higher up the stack (apps, wallets...) 2. Big-picture d/acc (see https://vitalik.eth.limo/general/2025/01/05/dacc2.html ): * comms tools, info and social layer, mechanism design eg. governance, pubgoods/open source funding * cryptography, OS, hardware, physical infra, bio defense Meanwhile areas that are important but where I am relatively less involved (and others excel): * @gakonst @ansgar.eth @dankrad and others are taking on practicals of short-term scaling (eg. 10x the L1 gaslimit within 2026) * p2p, block construction, other research areas * @hww @tkstanczak are leading many EF matters * proven app layer categories (eg. defi, payments/savings)
28 replies
46 recasts
254 reactions

Vitalik Buterin pfp
37 replies
203 recasts
766 reactions

Vitalik Buterin pfp
51 replies
109 recasts
583 reactions

Vitalik Buterin pfp
32 replies
80 recasts
378 reactions

Vitalik Buterin pfp
12 replies
45 recasts
221 reactions

Vitalik Buterin pfp
I actually think the growth of app layer is exactly the time that good social philosophy is needed *most*. Analogy: imagine that C++ had been made by a totalitarian racist fascist. Would it be a worse language? Probably not. C++ is general purpose, there isn't much surface for bad social philosophy to wreck it (or good social philosophy to improve it). Ethereum L1 is not quite in that position: someone who doesn't believe in decentralization would not add light clients, or FOCIL, or (good forms of) account abstraction; someone who doesn't mind energy waste would not spend half a decade moving to PoS... But the EVM opcodes might have been roughly the same either way. So Ethereum is perhaps 50% general-purpose. Apps are ~80% special purpose. What apps you build depends heavily on what ideas you have of what ethereum apps (and ethereum as a whole) are there to do for the world. And so having good ideas on this topic out there becomes crucially important. https://x.com/owocki/status/1911160442728419681
22 replies
79 recasts
333 reactions