Vitalik Buterin pfp

Vitalik Buterin

@vitalik.eth

110 Following
288492 Followers


Vitalik Buterin pfp
24 replies
25 recasts
172 reactions

Vitalik Buterin pfp
11 replies
24 recasts
182 reactions

Vitalik Buterin pfp
77 replies
52 recasts
404 reactions

Vitalik Buterin pfp
48 replies
61 recasts
404 reactions

Vitalik Buterin pfp
170 replies
559 recasts
2734 reactions

Vitalik Buterin pfp
76 replies
133 recasts
1068 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
16 replies
30 recasts
269 reactions

Vitalik Buterin pfp
44 replies
23 recasts
334 reactions

Vitalik Buterin pfp
19 replies
76 recasts
401 reactions

Vitalik Buterin pfp
26 replies
108 recasts
541 reactions

Vitalik Buterin pfp
28 replies
157 recasts
724 reactions

Vitalik Buterin pfp
12 replies
56 recasts
314 reactions

Vitalik Buterin pfp
7 replies
41 recasts
203 reactions

Vitalik Buterin pfp
23 replies
38 recasts
327 reactions

Vitalik Buterin pfp
13 replies
81 recasts
376 reactions

Vitalik Buterin pfp
6 replies
14 recasts
148 reactions

Vitalik Buterin pfp
1 reply
3 recasts
56 reactions

Vitalik Buterin pfp
16 replies
91 recasts
345 reactions

Vitalik Buterin pfp
4 replies
7 recasts
63 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)
26 replies
38 recasts
226 reactions