Real-time Ethereum proving, still on a single machine with 4 GPUs, and now with:
✅ 128-bit provable security
✅ final proofs under 300 KB
✅ a fully open-source stack, CPU and GPU
Pico 3.1 is live. 🧵
Show more
People used to leave unfinished work in desk drawers. Drafts, sketches, notes in the margins. Now it lives in closed tabs and session folders you'll never open again.
The difference is that this drawer is full, and it's worth something.
Learn more:
Show more
Introducing Arca: turn wasted vibes into income.
Every AI session you've thrown away is still sitting on your drive. Arca pays you for the ones worth something.
Early access opens today, in small batches.
Show more
First look at Arca. It finds the AI sessions already on your machine. You decide what happens next.
Introducing Arca: turn wasted vibes into income.
Every AI session you've thrown away is still sitting on your drive. Arca pays you for the ones worth something.
Early access opens today, in small batches.
Show more
Ever wish all that work was worth something?
Tomorrow, it is. 1 day 👀
Ever notice how much of that work disappears the moment you close the tab?
We’re about to change that.
2 days.
Ever notice how much of that work disappears the moment you close the tab?
We’re about to change that.
2 days.
Do you work with AI? Code, research, writing, anything?
We have something new for you coming soon
Do you work with AI? Code, research, writing, anything?
We have something new for you coming soon
We've been cooking something. Almost ready 👀
What a night 🇸🇬
Thank you
@BNBCHAIN for having us at #
BNBSG#. ZKat is still recovering, but would do it all again tomorrow 🐈⬛💛
From
@no89thkey dropping wisdom on stage to a packed booth full of Zkats and great questions 🐈⬛
Thank you Singapore, and
@BNBCHAIN for an unforgettable SG Super Meetup 💛
Seoul ✅
Singapore ✅
ZKat will finally get some rest 😴
#
BNBSG#
Show more
ZKat got to the BNB Chain SG Super Meetup early and already made some new friends 🐈⬛💛
Booth's set up at CHIJMES. Come find us tonight, 6 to 10 PM SGT 🇸🇬 #
BNBSG#
Show more
We've been cooking something. Almost ready 👀
gm. finally figured out how to touch grass and still ship🌱
📗 verifiable (adj.)
SYNONYMS
checkable · provable · auditable
OFTEN CONFUSED WITH
▶️decentralized — a claim about who's in charge
▶️transparent — you can see it. Seeing and checking are different jobs.
▶️open-source — the code is public, the execution isn't
ANTONYM
"trust me"
USAGE
"The result is verifiable" means you can check it yourself, rather than being told.
Show more
gm. every strong chain starts with someone patient enough to build it.
Explaining how ZK improves Ethereum to that one "But Why?" friend:
Ethereum could fit far more into every block than it currently does.
🤔"But why doesn't it?"
Because every computer on the network re-runs every transaction in that block.
🤔"But why do they all re-run it?"
Because that's the only way each one knows the block is valid.
🤔"But why can't they just believe whoever made it?"
Because then you're trusting whoever made it, and not having to trust anyone is the entire reason Ethereum exists.
🤔"But why not raise the limit anyway?"
Because a bigger block is more work for every machine that has to redo it. Raise it far enough and running a node needs serious hardware.
🤔"But why does that matter?"
Because everyone who can't afford that hardware stops being able to check anything for themselves. Capacity goes up, the network gets narrower.
🤔"But why or how would ZK help with that?"
One machine executes the block and produces a proof it did so correctly. Every other machine checks the proof.
🤔"But why is checking a proof any different?"
Because it takes roughly the same effort no matter what's inside. Ten transactions or ten thousand, the check barely moves.
🤔"But why does that change the picture?"
Because the heavy work happens once on the whole network instead of thousands of times over. Blocks can carry far more, fees hold steadier when things get busy, and verifying gets cheaper rather than harder.
🤔"But why—"
Because Ethereum can finally get bigger and easier to check in the same move. Every scaling decision before this had to pick one.
🤯 "I get it now!"
Show more
gm. crack open the ordinary and find something rare. 💎
Did you know that zero-knowledge proofs have fascinating applications outside of blockchain? 🤔
Let's go over some:
☢️Imagine two countries sit down to dismantle a nuclear warhead. Each needs to confirm the other is destroying a real one rather than a decoy. Neither will allow an inspection, because the design of the thing is the secret they're protecting.
Princeton researchers published a protocol in Nature ( for exactly this. It confirms a warhead matches a known authentic template while revealing nothing whatsoever about what's inside it.
And of course, there are many more examples past crypto:
🪪 Government ID
Europe's digital identity wallet is rolling out with zero-knowledge techniques built in, so a check can confirm the one fact it needs about you without the verifier collecting everything else printed on the document.
📷 Journalism
Confirming a published photograph came from a real camera, and was edited only in ways anyone can check, without the newsroom handing over the original file (that's what Brevis Vera does).
🤖 AI
Confirming that the model which answered you is the one you paid for, and that it ran the way it claims. Early, and moving quickly.
Underneath all of it sits the same problem. Somebody has to be convinced of one specific thing, and the evidence itself is the part that can't be handed over.
Show more
gm. peel back the night and let a new day unfold. ✨