Kobi Gurkan
@kobigurk
applied crypto, security, experimental things - head of research @BainCapCrypto
When we have quantum computers will we adopt the notation G^-1 for discrete log?
TEEs inherently require trust in operators and manufacturers, but it's also possible to use them in ways that strictly *improve* a system's security without introducing new trust bottlenecks. I wrote about two use cases where this is possible: kohweijie.com/articles/25/re…
Hey @TekGear is there a tutor for Twiddler for iOS that is: 1. Voice directed, so you can train without looking at a screen? 2. Some kind of voice feedback so I can have a feedback experience of how I type in regular apps? I would imagine this exists for other kinds of…
so, fun fact, turns out you can fit exponentially many (normalized) vectors in a list such that the pairwise inner product of any two distinct vectors is ≤ eps
First time covering Local-First on the show and we couldn’t have had better guests to get the lay of the land! Thanks @grjte and @goblinoats ! And thanks @nico_mnbl for co-hosting!
🎙️This week @AnnaRRose and @nico_mnbl chat with @goblinoats from @TonkLabs and @grjte from @BainCapCrypto about local first architecture. They discuss CRDTs, data sovereignty, sync servers, and how ZK shows up in local-first systems. zeroknowledge.fm/podcast/367
New quanta article about our FS attack (with @levs57 and @Khovr)
An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes. Erica Klarreich reports: quantamagazine.org/computer-scien…
looks like a really fun opportunity for students
🚨 ASCrypto 2025 is here! 🗓️ Sept 29–30 | Medellín | Affiliated with Latincrypt 👨🏫 Learn 𝐦𝐨𝐝𝐞𝐫𝐧 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 𝐬𝐲𝐬𝐭𝐞𝐦𝐬 from top experts 💥 2 days, 3 modules: IVC, STARKs, MPC 👥 With @benediktbuenz, Sophia Yakoubov, @aszepieniec 👇
ok a bit embarrassing - I didn't have rust installed on that machine, so the generated code didn't even compile and the benchmarks were estimates, as @MatteoFrig60839 also noticed I prodded more to get it to a better state, but still not a fully working implementation I would…
Could it be that Apple Watch health is the most private there is vs Whoop and Oura?
One of the things I like most about coding agents today is their ability to generate tests on the side to debug problems It doesn’t work amazingly well when it’s a softer ask, like “make the visualization look good on mobile”, it’s less clearly defined and requires some…