applied crypto, security, experimental things. head of research @baincapitalcrypto.comhttps://blacksky.community/profile/kobi.bsky.socialhttps://blacksky.community/profile/kobi.bsky.social/post/3mckvqrreg52xOne 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 models16 Jan 2026 20:10 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3mckvqrreg52xhttps://blacksky.community/profile/kobi.bsky.social/post/3mb63dwtfoa24One 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 proofs30 Dec 2025 00:20 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3mb63dwtfoa24https://blacksky.community/profile/kobi.bsky.social/post/3mb5pe6bp3s2pSubmitted 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 cryptography29 Dec 2025 20:45 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3mb5pe6bp3s2phttps://blacksky.community/profile/kobi.bsky.social/post/3maygkmigcl2nHow 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?27 Dec 2025 18:25 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3maygkmigcl2nhttps://blacksky.community/profile/kobi.bsky.social/post/3maq7yw5ook2s@grjte.sh’s exploration into using Wi-Fi aware for local-first chat on bitchat Wi-Fi aware has large range, simpler authentication and is becoming cross-platform supported @grjte.sh integrated it as an alternative to Bluetooth 1/2 [contains quote post or other embedded content]24 Dec 2025 12:06 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3maq7yw5ook2shttps://blacksky.community/profile/kobi.bsky.social/post/3ma37xeehvp23Being unique can make you strong ❤️ In unique signature schemes, existential unforgeability implies strong unforgeability16 Dec 2025 03:39 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3ma37xeehvp23https://blacksky.community/profile/kobi.bsky.social/post/3m4tlfjs6gu2hThe word of the week is vandermonde04 Nov 2025 22:27 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3m4tlfjs6gu2hhttps://blacksky.community/profile/kobi.bsky.social/post/3m3pz2zowe22bdoing 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 https://kobi.leaflet.pub/3m3pyyctda22i21 Oct 2025 18:56 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3m3pz2zowe22bhttps://blacksky.community/profile/kobi.bsky.social/post/3m2x22xt5zi2tThe word of the week is malleability11 Oct 2025 20:37 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3m2x22xt5zi2thttps://blacksky.community/profile/kobi.bsky.social/post/3m2chcvoegl2vWant 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 :)03 Oct 2025 16:08 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3m2chcvoegl2vhttps://blacksky.community/profile/kobi.bsky.social/post/3lxfeskitii2qSignature 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/227 Aug 2025 15:46 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lxfeskitii2qhttps://blacksky.community/profile/kobi.bsky.social/post/3ltd43wfn652xCame 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/406 Jul 2025 20:24 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3ltd43wfn652xhttps://blacksky.community/profile/kobi.bsky.social/post/3ls76ow3teq2wMemory leaks are going to have a whole different meaning soon22 Jun 2025 13:35 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3ls76ow3teq2whttps://blacksky.community/profile/kobi.bsky.social/post/3lruurjp2na2lYou 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/418 Jun 2025 11:10 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lruurjp2na2lhttps://blacksky.community/profile/kobi.bsky.social/post/3lrc6dghe5s2iWei 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 [contains quote post or other embedded content]11 Jun 2025 00:41 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lrc6dghe5s2ihttps://blacksky.community/profile/kobi.bsky.social/post/3lr6hqeqaw22pI’m on board with nap coding [contains quote post or other embedded content]09 Jun 2025 13:19 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lr6hqeqaw22phttps://blacksky.community/profile/kobi.bsky.social/post/3lqkl7aetix2oOn 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 https://x.com/kobigurk/status/1654382798113832962?s=46&t=YF3kWkl7OH0h7BYXOAJ8eg 1/201 Jun 2025 15:27 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lqkl7aetix2ohttps://blacksky.community/profile/kobi.bsky.social/post/3lqb2gyk7rc2lVideo 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/328 May 2025 20:34 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lqb2gyk7rc2lhttps://blacksky.community/profile/kobi.bsky.social/post/3lpwcehzsks2y“A penny for your thoughts” has a very different meaning now24 May 2025 13:56 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lpwcehzsks2yhttps://blacksky.community/profile/kobi.bsky.social/post/3lpu5jqedb42tanyone trying to do provable image transformation as in eprint.iacr.org/2024/1066 in fast proving zkVMs? It’s one of the cases a bunch of time will pass until you need to compress it for fast verification, if at all https://eprint.iacr.org/2024/106623 May 2025 17:24 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lpu5jqedb42thttps://blacksky.community/profile/kobi.bsky.social/post/3lpruyuhcxc27trying out @leaflet.pub for my recent post, I'm really enjoying the UI a lot: kobi.leaflet.pub/3lpruvjqlhs22 just a question - wen math? would like to use it for my next post :D I also see comments are on horizon, but how does it work with unpublished drafts that I don't want others to see yet 👀 https://kobi.leaflet.pub/3lpruvjqlhs2222 May 2025 19:46 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lpruyuhcxc27https://blacksky.community/profile/kobi.bsky.social/post/3lprbpj34l72nHow are people thinking of tool use with local models? Feels to me qwen 30b a3b gets confused easily, at least when using the OpenAI agents sdk tool infra22 May 2025 14:01 +0000at://did:plc:6ynekzrjhn3r24y5oqhfsp43/app.bsky.feed.post/3lprbpj34l72n