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

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

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

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

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!

🫡

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

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

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

👀👀👀 forum.celestia.org/t/making-cel...

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

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

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

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

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

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

👀👀👀 lmao.bearblog.dev/a-new-blog/

hell yeah

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

may the vibes be ever in your favor

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.

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.

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.

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

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

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

in God we trust; all others must bring zk proofs

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

the People request The Tiny Model on Their Devices

the 5 to 9

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

This week's ZK Podcast episode was on ZODA & The Accidental Computer from @baincapitalcrypto.com research team, with the trio @alexhevans.bsky.social @guilleangeris.bsky.social @nicomnbl.bsky.social chatting with @arro.bsky.social about these innovations. Ep: https://zeroknowledge.fm/podcast/349/

oh boy the llm responders have hit bsky

sigh

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

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.

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

many such cases

it's funny, for a long time, i always assumed that computation was this very sacred, brittle, difficult thing: so many things need to work "exactly" right to get an output but i’ve realized that it’s actually much *harder* to make a thing that doesn't accidentally enable ~ arbitrary computation!

like magic bsky.app/profile/flas...

anyways unfortunately the shitposting here isn’t quite as fruitful (yet) as Other Places but i will 100% be subjecting all follows to my shitty side projects probably

"cringe is client-side"

ideally also bluesky what with atproto and all

ZODA w/ @alexhevans.bsky.social and @nicomnbl.bsky.social : now up on eprint! (with a few updates and smol changes to the appendix)

"game theory" is insane because it appears to be one of the most legitimately dangerous fields with the potential to gigafry your brain but is exclusively taken by literal turbonormies who unironically want to like "find a good strategy for life" and basically get oneshotted by it

ZodaFS @alexhevans.bsky.social @lmao.bsky.social

if you were redoing zfs today why stop at checksums. why not make the whole thing provable