Drop the ego and then curiosity, exploration, and discovery emerge. The best part of technology. "What if?" It's better now than ever before.

LaBinius: Lattice-based Polynomial Commitment Scheme over a Binary Field. Excited to present LaBinius, my recent work with @gregor_seiler. We show how to instantiate an Ajtai commitment over extremely efficient cyclotomic power-of-three rings and then connect it with a polynomial opening mod 2, so that R/2R is a binary field. Such a PCS is bridged with SOTA frontends, including Flock and Binius, to obtain end-to-end proofs of standard hashes with throughput of tens of thousands per second. osdnk.me/blog/labinius

🗣️ Can we evaluate the process of intellectual production rather than just the final text? Can we creatively design approaches to filter unaccountable research and nudge researchers and students toward genuine ownership of their work? Yes. 1/11 🧵

Many papers these days acknowledge that chatGPT-6 found the proof, but the authors later simplified the argument. Wondering whether this was through an additional prompt: "make sure the proof is as simple as possible". This is actually quite effective, from what I can see.

I don't think people realize just how much AI's latest breakthroughs in math have shocked mathematicians, myself included. The main thing that leaves me and many mathematicians shocked is what AI is solving: Early on – till about 4 months ago – AI was good at: (i) solving problems that humans already solved, like Math Olympiad problems (ii) finding out that a problem in field A was already solved by an obscure work in field B, using a different terminology (or language). But starting with the shocking work on the Erdos Unit Distance Problem, and up till the recent advance on Navier–Stokes, a totally different AI is seen. It is innovating. It's bringing a new set of tools to the problem, and then proceeding to using those tools very delicately and accurately to achieve the result. It's a bit like how a brain surgeon delicately operates on the exact region that needs fixing. This is absolutely shocking and unexpected. It raises the question of what exactly constitutes mathematical intuition and brilliance. Many a mathematician have written about it (I love Henri Poincare's treatise "Mathematical Creation"). But we don't understand how mathematicians reach their breakthroughs. Now, it's the same with AI, we don't understand how it goes about reaching these proofs but the end result is objectively new, and powerful. This creativity, insight, ingenuity, is what's shocking to me.

RoKoko works with regular SIS! RoKoko is a succinct lattice-based SNARK/PCS obtaining state-of-the-art runtime efficiency across all metrics 🐎 with small proof sizes (ePrint 2026/575). Originally, it was instantiated with a vSIS-based commitment, which particularly benefited verifier runtime. This places our protocol in the world of non-standard assumptions, which may not be acceptable in some applications. In my recent blog post, I show how to instantiate Rokoko with standard assumptions with only little efficiency loss! osdnk.me/blog/rokoko-standar… Thanks to my co-authors ✨ for their work on the original paper: @russell_wf_lai, @KhanhCrypto, Michael & Lorenzo!

Thanks to my amazing co-authors ✨ for their efforts on the original paper: @russell_wf_lai, @KhanhCrypto, Michael & Lorenzo!

I wrote some thoughts about AI, research and crypto. osdnk.me/blog/personal-knowl…

🔥🔥🔥 Get ready for #ZKProof 2026! Speaker: Michał Osadnik @mosdnk from @AaltoUniversity Join us in Rome, May 9-10 to discuss the latest in ZKPs and applications, the Quantum threat, formal verification in ArkLib, IOPs & more. For more details - link in the first comment.

Introducing Zinc+, where we tackle the problem of arithmetizing and proving computations unfriendly to finite fields. Examples: classic hashes, hash + signature, lattice ops., etc. We prove 7 SHA-256 compressions followed by the ECDSA MSM with:

I published a blog post on how to design a more efficient lattice-based folding scheme based on LatticeFold+ and SNARKs-inspired tricks. osdnk.me/blog/l2-folding-sch… I relied on the work of @Charles_Chen533, @danboneh, @russell_wf_lai ,@KhanhCrypto & myself (& authors w/o x account)

Have you tried React Navigation 7's static API yet? It aims to solve 2 major pain points: 🤖 Simpler TypeScript types 🔗 Easier deep linking To try it, install next tag of the React Navigation packages: yarn add @react-navigation/native@next @react-navigation/native-stack@next

The journey of startup no. 1 has come to an end. (Sadly, it's not because we have been acquired 😅) Learned a lot of new things, about tech and also about people. Maybe in the future I will try once again, with some other ideas I have in my head :3

Pod choinką wśród prezentów leżał komplet pościeli " angry birds". Myślałem, że to dla mojego 6 l. chrześniaka, okazało się że dla mnie.

Do I know someone who's looking for a React/RN developer for ~20h/w? Looking for a gig 🫶

Just wrote a post about the approach I used to build react-simple-code-editor. It's a very lightweight editor that we use on snack.expo.dev embeds. satya164.page/posts/how-to-w…

PSA: @Google is quietly killing 3rd party appointment booking services like @Calendly in favor of their own newly launched competitor... And of course this "spam prevention" measure doesn't apply to meetings booked through their own new competitive software, which naturally doesn't support any video meetings options but Meet... 🙄 What changed: Google recently auto-opt-in'd most user's to default to NOT show 3rd party invites in calendar UNLESS the booker has previously emailed the host (defeats the point of booking software) or they explicitly accept the invite in email (massively more friction). It's causing major issues for us @GrainHQ where users book time and assume all is well, but accidentally miss meetings b/c it never appeared on their calendar. It still shows as normal on the booking owner's end... These moves are so blatantly anti-competitive and anti-consumer... all under the guise of "spam prevention"... which they could easily manage for google accounts using 3rd party booking software. Any chance @FTC / @TheJusticeDept gets involved to protect consumers? nitter.net/rachel_l_woods/s…

Very proud to be part of this story and to work on the unique intersection of cryptography, blockchain, and mobile/front-end engineering. I deeply believe that MPC and AA will be the two wings elevating EVM chains to the top.

Morning in Ukraine starts with an air raid alarm for the entire country because of the 60+ russian missiles in our air space flying to destroy our electricity infrastructure to make sure we all freeze to death this winter. They're incapable of anything, but pure terrorism.

startup idea: therapy but for crypto people