🔥🔥🔥 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? twitter.com/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.

Jak to jest możliwe, że można tutaj legalnie pisać takie rzeczy pod informacją o czyimś samobójstwie?

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.

Maybe I’m a bit dummy, but why anyone talks about Kraken in the context of FTX crisis?

startup idea: therapy but for crypto people

Don’t agree with majority, but agree about Nordics

Today in web3

New theory: As more and more L1s role out, EVM compatibility will become: A) less important B) a negative signal Why such a radical change of opinion? When I previously thought EVM compatibility was critical for a blockchain success? A mini thread-

personal update: 10th oct was my last day at rainbow. probably gonna try indie hacking for a while.