TRAUMA MONAD (Ø,G)👽
@projectbrave
0 reply
0 recast
0 reaction
26 replies
29 recasts
283 reactions
242 replies
660 recasts
2199 reactions
0 reply
0 recast
0 reaction
0 reply
0 recast
0 reaction
346 replies
1510 recasts
3937 reactions
5 replies
3 recasts
33 reactions
0 reply
0 recast
0 reaction
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 20 replies
24 recasts
243 reactions
49 replies
147 recasts
610 reactions
0 reply
0 recast
0 reaction
69 replies
329 recasts
1165 reactions
933 replies
1700 recasts
4697 reactions
49 replies
234 recasts
725 reactions
0 reply
0 recast
0 reaction
38 replies
125 recasts
582 reactions
0 reply
0 recast
4 reactions
2 replies
25 recasts
131 reactions
47 replies
143 recasts
741 reactions
For my personal use, crypto is in a great place. Fees, speeds, wallet UX, applications are perfectly fine for my usecases, and they'll keep getting better. However, I'd like to see some things significantly improved, in order of importance:
- CRITICAL: Configurable withdrawal rate limiting in Safe & smart wallets and indeed, in all smart contracts, should be a standard. Without this, I significantly limit my usage of crypto
- Custodial standards for smart wallets
- Stage 2+ decentralisation for L2s, complete overhaul for Tron (normies receive USDT on Tron)
- EUR stables w/ liquidity
- Better frontends & standards
- More competition & options for minimal hardware wallets
- Range order management for Uniswap V4
- Significantly less volatile, reliable, long-term sustainable and high liquidity SoVs (BTC and ETH are far too erratic)
- Integration into widely adopted payment networks, both global and domestic
- Some inaccessible assets tokenised as RWAs
- Farcaster with bustling non-crypto content/discussions 70 replies
349 recasts
1709 reactions
