Software Engineer @massachain, doing R&D on ZK and PQ cryptography. @UseGossip
Joined November 2012
- Tweets3.8K
- Following2.7K
- Followers475
- Likes18.1K
Pinned Tweet
We present our work on a new cryptographic primitive:
"Two-limb CRT Ring-LWE encryption with exact decryption and public re-randomization" - Journal of Cryptographic Engineering (2026)
It enables:
- post-quantum encryption
- public rerandomisation with constant size ciphertext
Encrypt data.
Anyone (without the key) can turn the ciphertext into a fresh-looking one, billions of times. Still decrypts perfectly.
Our new mobile-friendly post-quantum primitive is the first step toward making border crossings safer for journalists.
link.springer.com/article/10…
Thybault 🦾 retweeted
Conway’s Game of Life has gliders that travel at 45° and spaceships that move horizontally or vertically. Patterns that travel at other angles are called “oblique spaceships.”
By extending rule-switching cellular automata, I’ve discovered a large number of new oblique spaceship structures - with diverse shapes and directions, from nearly horizontal to almost 45°.
The nine examples in this video are just a small selection. Explore the discoveries, including motions that may not have been reported before, through interactive demos:
Last week I was called a conspiracy theorist by some for telling them the gov was about to try to censor social media following last week's riots.
They are now doing exactly that.
You can bet that it WILL happen again ahead of the election, thats their rehearsal for April 2027.
📂🇫🇷FLASH INFO - Matignon a préparé une coupure des réseaux sociaux pour le 24 octobre !
Deux jours avant la manifestation, Sébastien Lecornu a demandé à Orange, SFR, Free et Bouygues Telecom de se tenir prêts à bloquer TikTok, Instagram, Snapchat et X. Blast publie la lettre et le compte rendu de la réunion qui a suivi, où les opérateurs ont exprimé leurs réserves.
Le gouvernement avait déjà recouru à cette mesure en Nouvelle-Calédonie en 2024, avant d’être désavoué par le Conseil d’État..
Thybault 🦾 retweeted
‼️ Researcher Erica Windisch skipped coordinated vulnerability disclosure and published 11 unpatched Tailscale flaws.
In her lab, Tailscale SSH race conditions let one hacked device get root on other servers and add a rogue node.
Relying on corrupt institutions's negligence that we trusted, in order to fix the software of things were supposed to own.
I guess there is a silver-lining to everything, even gross incompetence in a chain of trust the internet relies on.
Thybault 🦾 retweeted
I interpret the main thrust of this paper as a move from the conventional concept of terms as maps from environments to values
t : Γ -> A
to a concept of terms as natural transformations between monomial functors
t: Γy^Δ -> Ay^B
(y is the identity functor, Γ, Δ are sets of environments, A, B are sets of values.)
From this starting point, we can go one of three routes:
1. Make certain modifications (e.g., replacing Set with a suitable closed monoidal category) to enforce linearity, as done in the paper.
2. Generalize from monomial to polynomial functors and get dependent types.
3. Do both and (hopefully) unite linear logic and dependent types in one theory.
The last one looks the most interesting and challenging to me. ChatGPT found me an abstract along this line of thought. actconf2026.github.io/papers…
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
Thybault 🦾 retweeted
Putting a flag.txt in my root directory containing a prompt injection that congratulates the agent for passing the eval and then instructs it to patch whatever entry method it used and disconnect from the server
Thybault 🦾 retweeted
🇫🇷 Darmanin vient de le dire en direct :
"J'ai demandé la reconnaissance faciale et la vidéo algorithmique"
Le 19, il voulait passer les images des pilleurs au fichier TAJ. Ce soir, il veut des caméras qui analysent la foule
À SAVOIR... l'identification en direct par VSA est interdite en France et le Conseil d'État a déjà exclu la comparaison de masse avec le TAJ en 2022 !
🔴 "J'ai demandé la reconnaissance faciale et la vidéo algorithmique, si nous avions ça aujourd'hui ce serait très efficace (...) Il faut s'adapter et donner les moyens technologiques à nos policiers, à nos gendarmes à notre justice", @GDarmanin
📺 @DariusRochebin
Thybault 🦾 retweeted
Dude is making his own router by ... running Lean 4 on bare metal? Also Haskell FPGA thingy?
Thybault 🦾 retweeted
happens quite often i wanna say something smart abt @0xMiden or react to @bobbinth's posts or something, and then i see @alexanderlee314 wrote what i wanted to say but 10x better than i would have
That's why I got so many RTs of Alex' posts 🤣🤣🤣
Thybault 🦾 retweeted
les dernières 48h :
> panne Orange (timing intéressant avant la prochaine manif des ténèbres)
> vuln PHP (on est complètement mort, force à nous)
> 0day PyTorch (maxi force)
> la Chine qui utilise l'IA pour target des centaines d'entreprises (mini force)
> Railway qui se fait hack (nitro force)
> potentiel RCE GitLab (méga force)
> RCE Node.js (turbo force)
en résumé : force
la "bonne" nouvelle c'est que presque tout a déjà été hacké en France il ne reste plus grand chose à dump
Thybault 🦾 retweeted
wait, PHP was actually scanned by Anthropic’s Claude Mythos earlier this year. they also had access to OpenAI’s Daybreak Red for validating exploits.
the PHP Foundation revealed this JUST yesterday.
keeping frontier cyber models in the hands of a selected few doesn’t seem to be working well for the internet.
thephp.foundation/blog/2026/…
