
engineering @zama | formerly cofounder @kakarotzkevm
Paris
Joined May 2016
- Tweets8.3K
- Following757
- Followers4K
- Likes46.3K
🚨CLOSED SOURCE SOFTWARE IS DEAD
... especially in web3. Security researchers are now achieving hash-perfect recompilation of Rust projects' source code, using AI. And then they find Critical vulnerabilities.
Insanely cool work by @osec_io, love it👏
osec.io/blog/goonfi-decompil…
elias tazartes 🥕🧑🌾 retweeted
one of us
Linus Torvalds to the anti-AI crowd: stop using compilers if you want to prove they’re REAL programmers. LOL.
“you had better not use an editor to write that commit message either.
The kind of expectations *I* have is that people do their best and I expect people to understand what they are doing.
But that understanding has very little to do with what tools they use.
And quite honestly, in my experience, the people I respect and call intelligent are not the ones that shy away from using new and interesting tools.”
elias tazartes 🥕🧑🌾 retweeted
working on a product that reaches 100M TVL so fast is fucking amazing
A confidentiality milestone for onchain credit
$100M+ is now earning yield from Morpho Vaults via @zama, with positions and earnings kept in confidence.
I can now publish some results so I'm starting with our Verity FV bench. It is somewhat niche, which has the advantage of measuring the models' on kind of problem that is not part of their training set
github.com/lfglabs-dev/ether…
Thanks to the kind people at @GoogleDeepMind I got early access to Gemini 4 for the past week. So far it's the best model I've ever used:
- excellent at formal verification
- very consistent
Also the first model whose writing doesn't seem "ai"
elias tazartes 🥕🧑🌾 retweeted
js was built in 10 days, what's the flex /s
elias tazartes 🥕🧑🌾 retweeted
There seem to be two groups:
1. Better-is-better group believes that agents finally make the better-is-better solutions happen. Formal methods, static types, Nix, ...
2. Worse-is-better group believes agents will make worse-is-better solution happen because with agents they're no longer worse. Dynamic type systems, bash scripts over neat DSLs, agents running tests dynamically, ...
Quite funny to see
The setup I want:
- Always-on Mac at home
- Coding agent with computer use
- MacBook that syncs my sessions
- iOS app + voice agent paired with my Mac
So I can voice control everything on my machine through the mobile app
And work on those same session when I’m at my desk
i feel like swe interviews could probably collapse into just 2 technical rounds:
• system design (how well can you articulate your ideas, do you actually know how to engineer something)
• onsite project to build a real thing with agents (can you translate your intent into high quality outcomes)
everything else we used to ask is no longer necessary
🗞️ if your team is too busy doing their 'normal job' to experiment with AI, you're preparing them to be replaced
ghuntley.com/replaced/
In this post, I guess this's the last time I'll say it. AI use is no longer optional if you wish to be employed. What follows is advice for current employees and hiring managers on how to hire in 2026 to source AI-first candidates.
elias tazartes 🥕🧑🌾 retweeted
A few people yesterday asked how AI could impact FHE / @zama, so here is a quick tldr:
1. There is no evidence that lattices / FHE can be broken by AI, SI or quantum. If anything, there is a growing consensus that fully breaking lattices might imply P = NP.
2. However, it's almost certain that better attacks will be discovered, which would require increasing parameter size and taking a short-term hit on performance. The Zama protocol is modular, so we can increase parameters size or swap out any component quickly, without changing the UX or rotating user keys.
3. Zama uses FHE only for privacy, so breaking FHE would not allow stealing funds that are shielded, it would only allow seeing balances and amounts. This is unlike ZK, where breaking the cryptography means you can steal funds and mint infinite tokens.
4. We do a lot of work on cryptanalysis and improving the security of FHE. We spend millions a year on audits (AI and human), research grants, bounties, have 30 PhDs in the team, etc. We have a plan A (the current thing we do), but also a plan B and a plan C if things go wrong. Whatever the future throws at us, we will have a way to adapt to offer the same service.
5. Hashes have been broken in the past, many times (MD5, SHA1, etc), so saying they are more secure than lattices, which have been extensively studied for decades is a stretch to say the least. Not saying its impossible, but history is on the side of lattices here.
Lets also remember that if indeed lattices and elliptic curves are broken and there is no public-key encryption anymore, then hiding your balances onchain is the least of your worries, because the world as we know it would be over: no private communications, no online banking, your AI prompts would be public, etc.
😻😻😻
Meet Mistral Large 4, aka Le Chonk.
• 1T parameters, natively multimodal. 49B active.
It is the best open weights model from US or Europe on aggregated benchmarks.
• State-of-the-art on critical workloads, including cyber defense, manufacturing and finance and it surpasses closed frontier models on visual grounding.
• Forged in Europe end-to-end and is deployable from Europe via our own Mistral Cloud infrastructure.
• Available to all via API today. Working with cybersecurity partners privately.
Open weights release end of October.
elias tazartes 🥕🧑🌾 retweeted
Mistral Large 4 was trained on 4,000 GPUs and Astra was trained on 100,000 of them.
We'll see what the kitten can pull off, but the disparity is pretty stark
Frontier scale, built in Europe.
Nearly 4,000 NVIDIA Grace Blackwell Superchips powered the training of Mistral Large 4, now in public preview.
Congrats to the @MistralAI team 🙌
The Zama team is kicking off @token2049 week in Singapore 🇸🇬
We're co-hosting @Yield_Summit today: a full day of keynotes, panels and roundtables on confidential onchain finance.
Grab a copy of the latest Privacy Paper, or just say hi if you're around.
elias tazartes 🥕🧑🌾 retweeted
Excellent agentic coding interview.
Key points:
Build a “trust ladder”. The more you can constrain the agent’s output, the more you can trust it.
Instead of a mere “software factory”, try to create a “Michelin restaurant”. Create processes and tools that make beautiful code automatically.
Think about code reviews like sampling. You can’t afford to taste every dish, but you should spot check.
Ask “where am I the bottleneck? How can I get the agent to answer its own questions?”
Create inner loops and outer loops. Inner loops accomplish tasks. Outer loops coordinate inner loops and analyze the big picture.
Your skills should get smaller over time as agents improve.. Focus on workflows, not implementation details.
Connectors trigger new work. Connect your bots to Jira, GitHub issues, etc so they begin work automatically.
Make it easy for agents to verify their work. Create a CLI for your app and a skill that calls the CLI. Then agents can verify their work consistently and efficiently.
A good code base is easy to change.
elias tazartes 🥕🧑🌾 retweeted
My job no longer involves writing code.
My job:
- Choose and prioritize tasks
- Decide how to prompt
- Use instructions, skills, and tools to guide the AI
- Create verifiers so the AI can validate its work.
- Validate the results and iterate
I tracked down the exact bug that drained Payy. Easy to miss in the noise, but particularly scary because of how it happened.
TLDR; the code was correct, yet was drained anyway. Details below...
elias tazartes 🥕🧑🌾 retweeted
Just dropped a new DJ set, 30 mins of pure delight to blast in your living room
soundcloud.com/user2211512/b…
incredible example of the new elasticity of users and vibes
a month ago i felt frustration at anthropic because:
- slopus 5 was D tier
- hit fable weekly limits in 2 days
- reviewing a smart contract PR would sometimes demote my fable thread to slopus 4.x
now: i love opus5.5
Damn, im in love with Opus 5.5. Its the best model ive ever used, has such a good taste, is comparatively quickly, smart and finally precise instead of verbose.
As good as Opus 5.5 is, I'm incredibly excited for Fable 5.5. After switching completely to Codex, I now have to go back to Anthropic.
oh and btw. its crazy how fast the vibe has changed.
Now all I read on X are posts about how great Opus tastes and how OpenAI absolutely has to catch up.
One day that changed everything.





































