Cryptography engineering. https://xitter.gq/t.co/kg3n1Vqy0F Love to study cryptography and mathematics. prev. @0xPARC @AragonProject @vocdoni @identhree
Joined September 2016
- Tweets523
- Following505
- Followers1.1K
- Likes1.8K
arnaucube retweeted
using flock, we just shipped post quantum tornado cash proofs on sha256 with 30ms proving time!
privacy has a bright future on ethereum
ethresear.ch/t/faster-aggreg…
arnaucube retweeted
1/ Today we’re releasing Aerie: fast post-quantum signature aggregation, using lattice-based SNARKs for lattice-based Falcon signatures. On a laptop (CPU only), it aggregates roughly a full Ethereum slot’s worth of signatures (32,768) in 0.65 seconds.
arnaucube retweeted
Introducing Magnetar from Microsoft Research, the first zkVM that is: (1) general-purpose (RV64), (2) post-quantum from standard hashes alone (no curves, no lattices, no Poseidon), and (3) built for recursion.
Despite its conservative security, it is the fastest zkVM: 7.2–8.7 MHz on a laptop, 10–39× faster than existing zkVMs across 15 workloads! An optimized version reaches 9.5–12.8 MHz.
Links in the thread below.
arnaucube retweeted
Read a very short note about this here: hackmd.io/@huitseeker/rJi549…
If you're in Barcelona next Thursday, this will be fun!
Will go over some of the math behind lattices and how they are used to build post-quantum cryptography.
📡Save the date, new Ethereum Engineering Barcelona meetup luma.com/i95pdcdc Sep 17th at @AKASHAworldBCN
⊢ Quantum computing by Albert Solana (@qilimanjaro, builders of quantum computers)
⊢ Intro to Lattices by @arnaucube
⊢ A post-quantum ethereum by @adria0
arnaucube retweeted
6/ Lattice-based cryptography is here, and it's here to stay. Post-quantum encryption has no hash-based option — provably so — and lattice-based signatures (ML-DSA) will authenticate the software the world runs on. The very machine that runs your SNARK will rely on lattices.
arnaucube retweeted
KYC is a bullshit scam that endangers millions of innocent people so that regulators can feel as if they're providing value to the world
153,000,000 American driver licenses leaked in KYC hack
This is 63% of all American driver licenses
In US driver licenses function as valid government-issues photo IDs
krebsonsecurity.com/2026/09/…
arnaucube retweeted
I just discovered an awesome compression algorithm: your 4000 word blog post can be compressed down to the prompt you gave Claude to write it.
arnaucube retweeted
I'm hosting USDC/USDT token balance PIR locally beside my dappnode. Try it at pir.phantom.zone.
Please be gentle :)
Only the addresses that were active after 20th August 2026 are included.
These past days I've been reading this pdf, and it is really interesting (I had no prior idea on LLMs).
Really recommended. Don't ask an LLM for an overview, read it through, it's only 16 pages. Afterwards you can do a quick impl to see the compnnts in action,really interesting!
"The Simple Mathematics of Large Language Models" is a concise free paper if you want to understand the mathematics behind modern LLMs and systems such as ChatGPT and Claude.
I have shared several resources in the past that explain the mathematics behind these systems in detail, but they are often quite long. This paper is only about 20 pages, so I think it is a useful resource if you want a compact introduction without starting from a much larger textbook.
It covers token representations, context, attention as learned weighted averaging, projections and bilinear forms, multi-head attention, normalization, positional information, softmax, maximum likelihood, cross-entropy, and gradient descent. Together, these topics give a concise mathematical picture of how a language model works.
Save it to your bookmarks. It can be useful as a quick reference.
crc.business-school.ed.ac.uk…
arnaucube retweeted
Proving standard hashes matters for the post-quantum transition of blockchains, so: what's the simplest proof system to reach the "escape velocity"? Turns out old techniques can get you past both Ethereum's and Bitcoin's requirements!
In eprint queue from a few days!
arnaucube retweeted
proof of 0 = 1 in Lean, exploiting a hash collision (weak 32-bit hash Expr.hash/mixhash) github.com/endrazine/lean-cv…
arnaucube retweeted
Remember to treat your body like a data center.
Consume as much literature and water as possible.
arnaucube retweeted
We won’t be able to avoid Chat Control and government/corporate surveillance in the future.
But we can render that surveillance worthless.
A censor’s database is only valuable if what’s in it actually means something.
An AI agent nullifies the evidentiary value of everything they’ve collected about you.
Let’s contaminate the censors!
The new privacy rule for the AI era is:
Any intercepted communication must always be AI-generated.
contaminatecensors.org/
In the coming weeks, I’ll be publishing a set of AI prompts on notme.chat/ that will replace all of your (Chat Control) potentially spied-on communications with AI agents who will explain to your friends and acquaintances that they can only reach you via a secure messenger.
If it’s not end-to-end encrypted, it’s not you.
arnaucube retweeted
📡Save the date, new Ethereum Engineering Barcelona meetup luma.com/i95pdcdc Sep 17th at @AKASHAworldBCN
⊢ Quantum computing by Albert Solana (@qilimanjaro, builders of quantum computers)
⊢ Intro to Lattices by @arnaucube
⊢ A post-quantum ethereum by @adria0
I was curious on how (post-quantum) lattice-based SNARKs work. I've been reading the LaBRADOR paper.
This post tries to explain the intuition and steps not explicitly shown in the paper, which helped me understanding it.
arnaucube.com/blog/labrador.…
