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

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 :)

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

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

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

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

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

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

“A penny for your thoughts” has a very different meaning now

anyone 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

Leaflet Publications: blogging on Bluesky — version 0.1 is here! ✅ now: make publications, add posts, publish to Bluesky 🗓️ soon: subscribing, commenting & other social features Try it: leaflet.pub/home We'd love your feedback & ideas for how we can make this great!

trying 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 👀

How 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 infra

real time proving on pretty complex statements on the server side is here same developer experience on client side would be huge for experimentation (delegation is helpful but interested to see what we can do without)

Some thoughts about how verifications in Bluesky can be extended to ZK-based methods, to achieve Verifiable Verifications This builds on ideas from the recent verification protocol, and explores both direct integrations and lightweight ones, with different points in the tradeoff space of trust 1/2

Another way to think about is adding some generic external code execution mechanism to enable arbitrary verifiers

How do people think about new verifications mechanisms in a way that don’t complicate the protocol? E.g. automated verification that can be verified completely using cryptography, lets say about emails Would a good way be: 1. Use the current mechanism with an automated user as the verifier 1/2

It’s a weird point in time where the easiest way to connect remotely from Mac to Linux is through the Windows app

Annnyoing observation about fiat shamir: there are known ways on how to use the hash functions securely (e.g. SAFE), there are reasonable type-based methods to make sure you include everything that’s needed from the protocol description (maybe post incoming?), but 1/2

🧵 The AT Protocol shows the power of a personal data store. All of our public atproto data is easy to find and access. We can interact with it flexibly in myriad ways and combinations. Wouldn't it be nice to do the same for our private and collaborative data? 👇

I've been working on a network-local ATProtocol dev environment that gives me end-to-end production functionality for Smoke Signal, including handle resolution and repository access. Here’s how I put it together. 🧵

ZK provers on mobile? some thoughts on what needs to change to uphold the security guarantees we work so hard to get tl;dr - the deployment supply chain, at least, should be better www.kobi.one/The-Lies-Our...

On the lookout again in 2025 for an editor that has the following: 1. good iOS support, or at least a reasonable mobile friendly web editor 2. able to share a draft article for comments 3. math support must, embedding support optional Bonus - publish directly from the app 1/2

@graze.social (and I) just open sourced AIP, a small but powerful service to ease OAuth session handling in the ATmosphere. It supports both did:plc and did:web identities and simplifies session management for apps using ATProtocol.

The real AGI test has always been handling python dependencies

🧵 The AT Protocol (atproto), which underlies Bluesky, lets us to interface with the same data in as many ways as we can conceive of through AppViews that each provide a different "view" of the network. Can we make our local-first software as interoperable as the AT Protocol? 👇

What are the best tools to develop full backend or web apps completely on your phone? I know at least one person doing that successfully

🧵 I've been experimenting with combining local-first software and the AT Protocol (atproto) to play with the design space of apps that live at both ends of the privacy spectrum - maximally private AND maximally public, without some of the downsides of the modern web.  Why? 👇

In 10,000 years, the life form composed of many units of humans engulfed in computers will laugh at the single human existence of today

Is there an OpenRouter equivalent with flexible and pay-per-use but for other AI tools for voice, video, etc? An end to end flexible payment stack

The “two diseases” diagnosis in House is equivalent to “It’s the compiler” moment for a developer

What if the real pmf of cryptography is verifying correctly cited case law in llm output

When Andrija and @lmao.bsky.social told me they're writing an extremely fast cryptography library in Julia I didn't know what to think... And then they showed me the following cool stuff: baincapitalcrypto.com/releasing-c... 1/4

Used Gemini 2.5 to generate a game based on the “On Proving Pairings” paper by Andrija and Liam Zap the non-residues 😂 kobigurk.github.io/zap-non-resi... H/t to @emollick.bsky.social for the prompt

zk - uses only verifiability zkzk - verifiability and zero knowledge zkzkzk - recursive verifiability of zkps zkzkzkzk - zero knowledge recursive verifiability of zkps zkzkzkzkzk - …

No one transacts in the same blockchain twice, for it is not the same blockchain and they are not the same person

Does a local first Oura ring exist?

Fun fact: co-snarks are obtained from reversing the arrows on normal snarks

ZODA Joint work with @nicomnbl.bsky.social and @lmao.bsky.social (with help from our friends Nash, Sanaz, and John at @celestiaorg.bsky.social) A minor tweak to the encoding procedure makes data squares like Celestia's provably correct Paper: bit.ly/zoda2 Blog: bit.ly/zoda1

Very excited for these puzzles to come out. I think they have huge teaching potential. Join us for this weekly online event! ZK Hack is a great way to learn about advanced cryptography and meet the cryptography-in-web3 community

New benchmark for papers: if you give it an image of an algorithm, can an LLM implement it

ZK Hack V starts next week on Nov 26th! Andrija, @nicomnbl.bsky.social and I have been brewing a few puzzles that would challenge what you know about the security of widely used systems today🤭 Stay tuned 🫡 zkhack.dev/zkhackV/

“We model our adversary such that it has computational power N, and for any attack against the system (with required computational power M), we have N < M”

A proof a day keeps the hacker away

Decentralization is a stage and we are all actors