10x Faster Sumcheck Prover over Binary Tower Field
22:59
The Dome Paradox: A Loophole in Newton's Laws
9:44
What is mathematical thinking actually like?
31:51
Powdr, a Modular Stack for zkVMs
28:23
push0: robust, distributed, and prover-agnostic proof orchestrator
9:59
Intuition behind K nearest neighbors algorithm KNN
58:57
The art of computing the inverse By Guoyu
16:30
Insights and Learnings from My Experience with STWO
20:57