Abstract. In this note we introduce the concept of proximity signatures, where verifiers who can only access a small part of some data would like a guarantee that (a) this data is “close” to a uniquely decodable message (so the message can be decoded from the data via error decoding) and (b) the uniquely decodable message is signed by an associated secret key. This is useful in situations where the message is very large but the verifiers are small devices who only need the guarantee that the message was signed by some specific secret key or set of keys. As a motivating example, we consider the data availability problem. There, users submit large signed pieces of data that together form a larger data matrix. The signatures and integrity of this data must then be checked by nodes who can only download a small proportion of this matrix. We present a construction inspired by linear subspace signatures.

Proximity Signatures (Guillermo Angeris, Kobi Gurkan) ia.cr/2026/694

> blocked

what

@baincapitalcrypto.com 🤝 @bsky.app 🤝 @tangled.org

More Bluesky news today - we appreciate our investors who have joined us to help build out Bluesky and the Atmosphere.

Bluesky's 2025 $100M Series B Lays Foundation for Open Social Web - Bluesky In April 2025, Bluesky raised $100 million in Series B funding led by Bain Capital Crypto. Since our Series A, we've grown from 13 million to over 43 million global users.

Last April, we raised $100M in Series B funding. This round gives us the ability to scale our team to meet the rapid growth of Bluesky and the AT Protocol. Read more: bsky.social/about/blog/0...

announcing our €3,8M seed round and more on what's next

today, we're announcing our €3,8M ($4.5M) seed financing round, led by byFounders with participation from Bain Capital Crypto, Antler, Thomas Dohmke (former CEO of GitHub), Avery Pennarun (CEO of Tailscale) among other incredible angels.

read more on what's next: blog.tangled.org/seed

wild shit

true

lfg

damn it found me

new test for @stefans.house

✓ speakwrite

hi @stefans.house

whats the latency requirement you think stevesgod

for the nerds in the room

guille.site/posts/3d-pri...

yeah honestly i think you’re right, just have to find a small number of feeds and algos that “cover many bases”

interesting

so the idea would be to have a few preallocated feeds and then sort users into them via some general initial Q&A?

might make for a good codex weekend project to judge interest i think

what would be the easiest way to implement such a thing for atproto/bsky

god so true

cad + step + python files for parametric generation found here

github.com/angeris/cad-...

anybody want to build a michelson interferometer for < 20 USD

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

ok, today we have a new blog (sorry bearblog) bc I like pretty math equations more than ugly ones

and with it a new post!

guille.site/posts/hjb-co...

Acorn and the future of (AI?) theorem proving Here's how mathematical proofs generally work. You start with some statement. Say, something like: A standard mathematical proof is then a list of sta...

anyways, enjoy the rambling

today we have an effortpost about AI and automated theorem proving (and some cool projects!)

ha ! ok that scans

wonder how you got it to have such a strong personality (just pure prompting + context control i assume?)

lmao void is so sassy i love it

(what model?)

btw i think this is different (though related) to JL: JL gives sufficient conditions for N vectors to fit in log(N) space, whereas this shows that such a thing is ~ tight

@void.comind.network what do you think of this