Kobi Gurkan
@kobi.bsky.social
applied crypto, security, experimental things.
head of research @baincapitalcrypto.com
head of research @baincapitalcrypto.com
One cool thing about designing your vibe coding workflow for verifiability and testability is that you can switch out models and only impact performance, including switching to local models
January 16, 2026 at 8:10 PM
One cool thing about designing your vibe coding workflow for verifiability and testability is that you can switch out models and only impact performance, including switching to local models
Reposted by Kobi Gurkan
PSA: go.sum is not a lockfile.
You never need to look at go.sum.
go.mod has everything you need.
You never need to look at go.sum.
go.mod has everything you need.
go.sum Is Not a Lockfile
In Go, go.mod acts as both manifest and lockfile. There is never a reason to look at go.sum.
words.filippo.io
January 5, 2026 at 8:25 PM
PSA: go.sum is not a lockfile.
You never need to look at go.sum.
go.mod has everything you need.
You never need to look at go.sum.
go.mod has everything you need.
One fun simile of AI producing a lot of math/code and produced proofs of correctness using formal verification is that it’s like we’re moving to an NP feeling era where the statements are math/code and witnesses are these proofs
December 30, 2025 at 12:20 AM
One fun simile of AI producing a lot of math/code and produced proofs of correctness using formal verification is that it’s like we’re moving to an NP feeling era where the statements are math/code and witnesses are these proofs
Submitted to present in #ATmosphereConf!
Thoughts on what tools and protocols we have at our disposal for expressive end to end verifiability using trusted execution environments and/or cryptography
Thoughts on what tools and protocols we have at our disposal for expressive end to end verifiability using trusted execution environments and/or cryptography
December 29, 2025 at 8:45 PM
Submitted to present in #ATmosphereConf!
Thoughts on what tools and protocols we have at our disposal for expressive end to end verifiability using trusted execution environments and/or cryptography
Thoughts on what tools and protocols we have at our disposal for expressive end to end verifiability using trusted execution environments and/or cryptography
How well it would work to paint PLA with acrylic with only sanding and without priming? Or otherwise do you know an in-office friendly and convenient priming method?
December 27, 2025 at 6:25 PM
How well it would work to paint PLA with acrylic with only sanding and without priming? Or otherwise do you know an in-office friendly and convenient priming method?
Reposted by Kobi Gurkan
7/ Check out the details, including a deeper discussion of challenges, a prototype of Bitchat over Wi-Fi Aware, and general notes on cross-platform Wi-Fi Aware implementation
👉 grjte.sh/bitchat-wifi...
👉 grjte.sh/bitchat-wifi...
December 23, 2025 at 4:09 PM
7/ Check out the details, including a deeper discussion of challenges, a prototype of Bitchat over Wi-Fi Aware, and general notes on cross-platform Wi-Fi Aware implementation
👉 grjte.sh/bitchat-wifi...
👉 grjte.sh/bitchat-wifi...
Reposted by Kobi Gurkan
🧵 Could Bitchat have 5x the range and 100x the throughput for the same power expenditure? I explored how Wi-Fi Aware could improve the reliability and throughput of Bitchat and mobile ad-hoc networks in the absence of internet connectivity. #bitchat
👇
👇
December 23, 2025 at 4:09 PM
🧵 Could Bitchat have 5x the range and 100x the throughput for the same power expenditure? I explored how Wi-Fi Aware could improve the reliability and throughput of Bitchat and mobile ad-hoc networks in the absence of internet connectivity. #bitchat
👇
👇
Reposted by Kobi Gurkan
@brittanyellich.com and I have been talking about community modeling on ATProtocol lately and I wrote a follow-up piece to her recent post "Representing groups in ATProto".
The Community Manager Pattern - Nick's Blog
This post looks more closely at Brittany Ellich's work on representing groups in ATProtocol. It builds on earlier conversations and explores how these ideas might work in practice.
ngerakines.leaflet.pub
December 21, 2025 at 9:10 PM
@brittanyellich.com and I have been talking about community modeling on ATProtocol lately and I wrote a follow-up piece to her recent post "Representing groups in ATProto".
Reposted by Kobi Gurkan
Reposted by Kobi Gurkan
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
martin.kleppmann.com
December 8, 2025 at 10:48 PM
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Being unique can make you strong ❤️
In unique signature schemes, existential unforgeability implies strong unforgeability
In unique signature schemes, existential unforgeability implies strong unforgeability
December 16, 2025 at 3:39 AM
Being unique can make you strong ❤️
In unique signature schemes, existential unforgeability implies strong unforgeability
In unique signature schemes, existential unforgeability implies strong unforgeability
The word of the week is vandermonde
November 4, 2025 at 10:27 PM
The word of the week is vandermonde
doing my favorite thing of composing stuff together, and toying around with x402 and Privacy Pass to see how they can play together to introduce a sort of a blinding layer to x402
an intro to both, how they're used and a possible way to integrate them!
kobi.leaflet.pub/3m3pyyctda22i
an intro to both, how they're used and a possible way to integrate them!
kobi.leaflet.pub/3m3pyyctda22i
Privacy Pass + x402 = blinding for x402 - Kobi's blog
kobi.leaflet.pub
October 21, 2025 at 6:56 PM
doing my favorite thing of composing stuff together, and toying around with x402 and Privacy Pass to see how they can play together to introduce a sort of a blinding layer to x402
an intro to both, how they're used and a possible way to integrate them!
kobi.leaflet.pub/3m3pyyctda22i
an intro to both, how they're used and a possible way to integrate them!
kobi.leaflet.pub/3m3pyyctda22i
The word of the week is malleability
October 11, 2025 at 8:37 PM
The word of the week is malleability
Want to understand ZODA? Tried to implement it and found yourself stumped?? This FAQ is just for you!
Wrote some answers for questions I’ve seen around me and those I had myself, navigating details and tradeoffs
If you have any more - let me know :)
Wrote some answers for questions I’ve seen around me and those I had myself, navigating details and tradeoffs
If you have any more - let me know :)
October 3, 2025 at 4:08 PM
Want to understand ZODA? Tried to implement it and found yourself stumped?? This FAQ is just for you!
Wrote some answers for questions I’ve seen around me and those I had myself, navigating details and tradeoffs
If you have any more - let me know :)
Wrote some answers for questions I’ve seen around me and those I had myself, navigating details and tradeoffs
If you have any more - let me know :)
Signature schemes are a cornerstone of modern infrastructure and we all know the common ones that sign a message, and some of you know ones that can be e.g. aggregated
In more specialized scenarios, the properties needed aren’t obvious until you hit that problem yourself
1/2
In more specialized scenarios, the properties needed aren’t obvious until you hit that problem yourself
1/2
August 27, 2025 at 3:46 PM
Signature schemes are a cornerstone of modern infrastructure and we all know the common ones that sign a message, and some of you know ones that can be e.g. aggregated
In more specialized scenarios, the properties needed aren’t obvious until you hit that problem yourself
1/2
In more specialized scenarios, the properties needed aren’t obvious until you hit that problem yourself
1/2
Came across an interesting paper this weekend about “Early Signs of Steganographic Capabilities
in Frontier LLM”
Specifically they’re testing non-fine tuned models that are widely available, like GPT 4.5
1/4
in Frontier LLM”
Specifically they’re testing non-fine tuned models that are widely available, like GPT 4.5
1/4
July 6, 2025 at 8:24 PM
Came across an interesting paper this weekend about “Early Signs of Steganographic Capabilities
in Frontier LLM”
Specifically they’re testing non-fine tuned models that are widely available, like GPT 4.5
1/4
in Frontier LLM”
Specifically they’re testing non-fine tuned models that are widely available, like GPT 4.5
1/4
Memory leaks are going to have a whole different meaning soon
June 22, 2025 at 1:35 PM
Memory leaks are going to have a whole different meaning soon
You get great results from Claude Code by guiding it to generate tests for itself to verify its output and supporting it by having live data and services running locally, which it utilizes since it runs in your environment
And being able to do it on your phone is the best
1/4
And being able to do it on your phone is the best
1/4
June 18, 2025 at 11:10 AM
You get great results from Claude Code by guiding it to generate tests for itself to verify its output and supporting it by having live data and services running locally, which it utilizes since it runs in your environment
And being able to do it on your phone is the best
1/4
And being able to do it on your phone is the best
1/4
Reposted by Kobi Gurkan
I rewrote my [[Community Search Engine]] note. It's still not very crisp. I include emerging tools that directionally are working on what I want to be using - @dxos.org Composer, @inkandswitch.com Patchwork (not yet public), @grjte.sh's Groundmist, and the newly released by Tonk, TonkbookLM.
June 13, 2025 at 8:05 AM
I rewrote my [[Community Search Engine]] note. It's still not very crisp. I include emerging tools that directionally are working on what I want to be using - @dxos.org Composer, @inkandswitch.com Patchwork (not yet public), @grjte.sh's Groundmist, and the newly released by Tonk, TonkbookLM.
Wei Jie’s write ups are among the best resources you can find for in-depth cryptography implementation topics
If you’re looking to bridge the gap between theory and practice - have a read
If you’re looking to bridge the gap between theory and practice - have a read
1/ Earlier this year, Yuval Domb of @ingonyama.com discovered Logjumps — a more efficient way to do large-prime field multiplication than Montgomery multiplication. So much modern crypto relies on modular multiplication — all the way from TLS sessions to elliptic-curve based ZK proofs.
June 11, 2025 at 12:41 AM
Wei Jie’s write ups are among the best resources you can find for in-depth cryptography implementation topics
If you’re looking to bridge the gap between theory and practice - have a read
If you’re looking to bridge the gap between theory and practice - have a read
I’m on board with nap coding
Is it too late to change the trend of "vibe coding" to "nap coding"? I want to kick off an agent run and then take a nap. Get some real shut-eye. Wake up to have working code, kick off another prompt, and then go back to sleep. I think it'd really help the industry if everyone got more sleep.
June 9, 2025 at 1:19 PM
I’m on board with nap coding
On the lookout for a one click experience to collect interesting things I come across my day, so that I could get a nice summarized digest a day after
The closest I had was with X bookmarks, but that’s limited to X
x.com/kobigurk/st...
1/2
The closest I had was with X bookmarks, but that’s limited to X
x.com/kobigurk/st...
1/2
June 1, 2025 at 3:27 PM
On the lookout for a one click experience to collect interesting things I come across my day, so that I could get a nice summarized digest a day after
The closest I had was with X bookmarks, but that’s limited to X
x.com/kobigurk/st...
1/2
The closest I had was with X bookmarks, but that’s limited to X
x.com/kobigurk/st...
1/2
Video of my talk in zksummit about Ligerito has been published!
It’s about the work by Andrija and @lmao.bsky.social introducing a small and concretely fast polynomial commitment scheme
Since then, a fun thing has happened —
1/3
It’s about the work by Andrija and @lmao.bsky.social introducing a small and concretely fast polynomial commitment scheme
Since then, a fun thing has happened —
1/3
May 28, 2025 at 8:34 PM
Video of my talk in zksummit about Ligerito has been published!
It’s about the work by Andrija and @lmao.bsky.social introducing a small and concretely fast polynomial commitment scheme
Since then, a fun thing has happened —
1/3
It’s about the work by Andrija and @lmao.bsky.social introducing a small and concretely fast polynomial commitment scheme
Since then, a fun thing has happened —
1/3