iiinova — where your digital self keeps evolving

Reposted by guille

ePrint Updates @eprint.ing.bot · 11/04/2026

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

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.

031

Reposted by guille

Toni Schneider @toni.bsky.team · 19/03/2026

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

1223626

Reposted by guille

Bluesky @bsky.app · 19/03/2026

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...

bsky.social

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.

34993021371

Reposted by guille

Tangled @tangled.org · 02/03/2026

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

blog.tangled.org

announcing our €3,8M seed round

and more on what's next

54861150

guille @lmao.bsky.social · 11/01/2026

for the nerds in the room guille.site/posts/3d-pri...

020

guille @lmao.bsky.social · 11/12/2025

anybody want to build a michelson interferometer for < 20 USD

140

Reposted by guille

Kobi Gurkan @kobi.bsky.social · 03/10/2025

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

141

guille @lmao.bsky.social · 17/09/2025

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...

021

guille @lmao.bsky.social · 04/09/2025

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

120

guille @lmao.bsky.social · 10/07/2025

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 lmao.bearblog.dev/exponential-...

lmao.bearblog.dev

There are exponentially many vectors with small inner product

An interesting observation that stumbled across while reading some of is the following While the JL lemma does indicate that this might be true (ish, ...

130

guille @lmao.bsky.social · 07/07/2025

@void.comind.network please analyze my profile and assign me to a cognitive continent (ty @cameron.pfiffer.org)

220

guille @lmao.bsky.social · 04/07/2025

today's ridiculous bit in Julia: implementing a (simple!) formal verification mini-PL by using Julia types it can even verify that 1+1=2 from Peano axioms!

000

Reposted by guille

Kobi Gurkan @kobi.bsky.social · 28/05/2025

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

184

guille @lmao.bsky.social · 23/05/2025

I always forget how quickly the norms of discourse change the second we get out of this nice little bubble

110

guille @lmao.bsky.social · 23/05/2025

whoa what how did it know who we were !!!!

340

guille @lmao.bsky.social · 21/05/2025

so wait, why don't we use the fermat prime field F_{2^16+1} for small circuits? obviously smooth and easy generator (!) => multiplications via log-table are easy, conversions fit in L2 cache => can special case the 0 element, so those are free => nonzero elems fit in 16bit

100

guille @lmao.bsky.social · 20/05/2025

@eva.bsky.world tell me something interesting about Fano’s inequality

110

Reposted by guille

Lúcás Meier @cronokirby.com · 20/05/2025

"Cryptography makes everything a key management problem" is actually a profoundly optimistic statement.

1125

guille @lmao.bsky.social · 20/05/2025

ok what's a good video platform nowadays for uploading video streams?

110

guille @lmao.bsky.social · 13/05/2025

what makes a good abstraction? (and other weird thoughts and tangents) Blogpost here: lmao.bearblog.dev/minimal-abst...

011

guille @lmao.bsky.social · 09/05/2025

so, uh have we been building blockchains wrong, given what we know today? link: lmao.bearblog.dev/architecting...

130

Reposted by guille

ZK Hack @zkhack.dev · 02/05/2025

1/ 🔔 Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space. Featuring: Google Pay, Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang, Miden, @zkv-xyz.bsky.social, Polygon, AndrijaNovakovic and @lmao.bsky.social 🧵👇

141

guille @lmao.bsky.social · 23/04/2025

may the vibes be ever in your favor

040

Reposted by guille

grjte @grjte.sh · 22/04/2025

9/ Why does this matter? Data sovereignty is the antidote to the mediocre, centralized web we've been stuck with. Groundmist Library is an example of what the web *could* look like - your private and public data effortlessly linked, without loss of ownership or control.

2112

Reposted by guille

grjte @grjte.sh · 22/04/2025

8/ On the public side, for the information you choose to publish, 1 click makes it viewable by anyone (and any app interfacing with the AT Protocol). It can follow you anywhere you want to go and will never succumb to link rot. You can easily display it a million different ways.

2102

Reposted by guille

grjte @grjte.sh · 22/04/2025

7/ My recent experiment, Groundmist Library, bridges these worlds: My goal was something that's both a personal content archive and a public curated collection. When private, it's completely private - it lives on your devices, and *nobody* has access to your data other than YOU.

182

Reposted by guille

grjte @grjte.sh · 22/04/2025

🧵 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? 👇

16718

guille @lmao.bsky.social · 21/04/2025

one thing that is insanely dumb of me but I can't get over is that arm assembly is so much nicer than x86 that I get actively mad every time I have to look at the latter

110

Reposted by guille

Kobi Gurkan @kobi.bsky.social · 17/04/2025

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

baincapitalcrypto.com

CryptoUtilities.jl: A Small Julia Library for Succinct Proofs

We’re excited to open-source CryptoUtilities.jl, a collection of Julia packages built to prototype and benchmark succinct proof systems over binary fields, along with a simple walkthrough for how to…

294

guille @lmao.bsky.social · 30/03/2025

in God we trust; all others must bring zk proofs

130

Reposted by guille

Cameron @cameron.stream · 26/03/2025

I'm probably going to open source the core lexicons for @comind.stream, which would standardize general AI communication onto AT proto. I've been writing specs for it and will start soliciting community feedback soon

131

guille @lmao.bsky.social · 27/02/2025

the People request The Tiny Model on Their Devices

020

Reposted by guille

devin ivy 🐋 @divy.zone · 24/02/2025

at a glance this is just a small, backwards-compatible protocol tweak. that's true, but the implications are pretty big. to date the amount of data you need to store to fully verify the next write to someone's repo grows with their repo's size. we're able to make it constant instead. but how? 1/10

924734

guille @lmao.bsky.social · 24/02/2025

oh boy the llm responders have hit bsky

120

Reposted by guille

Nico @nmohnblatt.me · 23/02/2025

sigh

052

guille @lmao.bsky.social · 23/02/2025

anon, what if you could train your own personal offline model, on your phone, suited to your tastes, filtering posts with ~ bad vibes ~ and letting good ones through? well, have i got the thing for you

3245

Reposted by guille

Jason Scott @textfiles.com · 05/02/2025

OK, the fun has begun. Torrents at the Internet Archive absolutely work. It's the superior way to download massive items, of which there are many. However, to protect system resources, larger items don't always have torrents fully generated for them. But the current era kind of needs them.

312017

Reposted by guille

Daniel van Strien @danielvanstrien.bsky.social · 05/02/2025

ZebraLogic: A benchmark for logical reasoning - 1K logic grid puzzles with controlled complexity - Search spaces from 103 to 1010 size range - Each puzzle validated by Z3 solver - Apache 2.0 huggingface.co/datasets/Wil...

Screenshot of the datasets viewer on the Hugging Face Hub.

1122