Siddharth Vaderaa
@SiddharthVader3
Followers
38
Following
595
Media
1
Statuses
53
Joined July 2022
Before we start this Zero-Base Physics Challenge, you need one core concept: Physics isn’t hard. It’s stacked. Miss the lower layers → the upper layers feel impossible. So this is not a “24-week deadline course.” This is 24 layers (an academic roadmap). Learn in the right
42
87
622
what a year :)
0
3
21
lowercase snarks Words like laser, scuba, radar began uppercase. LASER — Light Amplification by Stimulated Emission of Radiation SCUBA — Self-Contained Underwater Breathing Apparatus RADAR — RAdio Detection And Ranging When a technology matures and becomes reliable, trusted,
160
184
986
Ethproofs call 6 just wrapped! Over 200 joined a deep dive into proximity gaps, the mathematical core of modern hash-based SNARKs. 6 new papers in 6 days reshaped our understanding of these gaps - both breakthroughs and refutations that sharpen what’s provable and what remains
5
10
48
[New] On ReedSolomon Proximity Gaps Conjectures (Elizabeth Crites and Alistair Stewart)
4
5
61
In new work with @AngusGruen, we show that the 𝘶𝘱-𝘵𝘰-𝘤𝘢𝘱𝘢𝘤𝘪𝘵𝘺 proximity gaps conjecture (Ben-Sasson–Carmon–Ishai–Kopparty–Saraf) is not true. This affects the security analysis of most zkVMs deployed today.
19
54
228
Progress toward real-time proving for Ethereum L1 is nothing short of extraordinary. In May, SP1 Hypercube proved 94% of L1 blocks in under 12 seconds using 160 RTX 4090s. Five months later Pico Prism proves 99.9% of the same blocks in under 12 seconds, with just 64 RTX 5090s.
Announcing Pico Prism, the state-of-the-art zkVM for Ethereum real-time proving. 99.6% of blocks proven under 12 seconds, 6.9s average with 64 RTX 5090 GPUs. This marks a major step toward scaling Ethereum by 100x and a future where you can validate the chain from a phone.
221
489
2K
At MIT, the only course I ever dropped was signal processing. The DFT math was too intimidating. It’s so easy to just type fft() in MATLAB and move on. Years later, I finally did DFT by hand. ✍️ If you are also afraid of DFT, I hope this helps! ⬇️ Download:
51
294
3K
A spectacular example of Orwellian doublespeak from the UK Home Secretary: "Just because you have a freedom doesn’t mean you have to use it at every moment of every day." In fact the ability do something whenever you want is practically the definition of a freedom.
146
778
8K
lean ethereum thread: PQ workshop (Cambridge, UK) started hours ago. this thread will be updated with presentation recordings (and slides) as they occur 🧵
59
65
371
if you want to catch up with all the progress on native rollups, go watch the recording of my *1 hour* presentation for ethproofs #5 !!
Ethproofs call 5 just wrapped. The headliner, @donnoh_eth gave a fantastic deep dive into native rollups. This was preceded by lots of exciting updates and alpha from around the zk-proving ecosystem. Link to the recording and slides below 👇
7
7
56
Low-risk defi can be for Ethereum what search was for Google https://t.co/6xIxCrOToQ
vitalik.eth.limo
735
854
5K
The Verifier is House of ZK’s flagship editorial, focusing on the human and ethical side of technology. We interrogate incentives, surface externalities, and ask not just how our digital systems work or whether they'll be adopted - but whether or not they should even exist at
14
8
81
What's an ideal future world? 1. We limit how much we share with centralized entities. 2. We contribute to models that are built on infra capable of proving (somehow) that they are not secretly training private models on our full data, while leaving out some of our submitted
Here is one way to look at AI and the future with AI. ----------- What are humanity's current biggest primary leverages: 1. time 2. knowledge 3. money (There are secondary ones like influence, etc. but they can be derivatives of the above three.) Now bring AI into the
5
3
26