@0xteddavi
iAccount based inEurope!
About this account
- Account based in
- Europe
- Connected via
- Europe App Store
! X says this location may be affected by a proxy or VPN.
Account-level information from X, not a live location or the device used for a specific post.
security & cryptography @zksecurityXYZ | @yAuditDAO
Joined April 2012
- Tweets1.6K
- Following5.4K
- Followers1.1K
- Likes36.4K
teddav retweeted
Imagine putting all the passengers through security scanners then hiring a radical Muslim copilot to sit upfront.
teddav retweeted
The hijacker (and co-pilot) on board FZ1073 stabbed Cpt Smit Machchhar, an Indian national during the flight, but the Captain heroically managed to open the cockpit door before collapsing.
His quick thinking saved over 170 lives today and enabled the passengers to subdue the terrorist as he was attempting to crash the plane.
Wishing him a full recovery and sending our thanks on behalf of Israel!
teddav retweeted
This hijacking story is INSANE but I’m looking forward to hearing the terrorists side of the story on Miss Rachel today.
teddav retweeted
NYT: Israeli Passengers Genocide Innocent Muslim Pilot on Flydubai Flight From Dubai to Tel Aviv
teddav retweeted
Following situation assessments and passenger testimonies, Israel is treating the incident as a full-fledged terrorist attack. It appears that the co-pilot repeatedly stabbed the captain. Once the attack began, several crew members and passengers managed to break through the cockpit door and subdue the attacker.
According to one senior official, the co-pilot is currently being questioned, and indications are mounting that he intended to take control of the plane and crash it with the passengers on board.
teddav retweeted
Ursula making a phone call to block Binance from Mica, Netherlands 37% unrealized gain tax on crypto, Spain rent control, Berlin real estate asset seizure, Norway 37% exit tax on unrealized gains, Chat Control, digital EUR, if you don’t see where this is going and you are not prepared you deserve to lose everything
teddav retweeted
Mark my words:
In the next year, someone is going to buy a substantial fraction of a public company via Base tokenized stocks (which confer full voting and dividend rights), and 'DiamondPepe69' is going to dial into the shareholder meeting and absolute hilarity will ensue.
teddav retweeted
Post mortem for the September 24th, 2026 exploit of Payy's bridge contract.
Based on our investigation, it appears that an attacker submitted an invalid burn proof that Payy’s deployed Noir/Barretenberg verifier accepted.
The first burn released 1,828,589.378132 USDC from the Payy rollup even though it appears that the transaction was invalid. A second burn of 1 USDC was paid early by a burn substitutor and later reimbursed. The second transaction released 90,202.820016 USDC to the same receiving wallet.
It appears there was a proving-system vulnerability in the Noir/Barretenberg verifier, developed by Aztec.
Full report: polybase.notion.site/Payy-US…
Today at 4:21 UTC Payy’s bridge contract on Ethereum was exploited and drained of its full balance.
Investigation is ongoing and we are following incident response guidelines.
While we investigate, all Payy Network transactions are paused including deposits, withdrawals, transfers and card transactions.
We will continue to communicate updates here.
teddav retweeted
I’m slowly cleaning up the suburbs with Muse.
Saw this mess of wires on a pole. Took a picture and asked Muse to contact Verizon to get them cleaned up.
It went to their website and got to work.
There is a 0% chance I would’ve sat in a Verizon support chat over this. I would’ve just been mildly annoyed every time I walked past it for the next five years.
“Someone should do something about that” is now a prompt.
🤝 @alexandr_wang
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...
teddav retweeted
The official IDA MCP Server is here. It's free, open source, and works with any LLM.
Your agent writes IDAPython, uses ~20% fewer tokens, and can share an IDB with you in real time.
𝚞𝚟𝚡 𝚒𝚍𝚊-𝚑𝚌𝚕𝚒 𝚖𝚌𝚙 𝚒𝚗𝚜𝚝𝚊𝚕𝚕
hex-rays.com/blog/hex-rays-i…
(copy-paste: uvx ida-hcli mcp install)
teddav retweeted
The cryptographic world computer:
vitalik.eth.limo/general/202…
My attempt to express in somewhat concise terms the true meaning of basically everything planned to happen to Ethereum starting from the fork after Hegota. It's really not just a blockchain anymore. It's a hybrid architecture that combines together blockchains and modern cryptography, to enable much more powerful properties.
FOCIL, EIP-8288, Lean consensus, state management, formal verification, advanced mempool improvements (including privacy), and the longer-term specter of obfuscation all mentioned.
teddav retweeted
Very proud of this work and honoured that it is receiving an Outstanding Paper Award at TCC'26! H/t to my co-authors and huge thanks to @zksecurityXYZ for the support
FRI is a fundamental protocol yet few people confidently say they understand the security proof. This ends today
Congratulations to @0xAlbertG (Nethermind), @nico_mnbl (zkSecurity), and Benedikt Wagner (Ethereum Foundation) on winning one of three Outstanding Paper Awards at TCC 2026, the Theory of Cryptography Conference, for "A Simplified Round-by-round Soundness Proof of FRI."
FRI sits at the core of most STARK-based proof systems, including Starknet's. Its existing soundness proofs are long and hard to check. This paper gives a much simpler one, which is a step toward formally verifying the systems built on it. eprint.iacr.org/2025/1993
teddav retweeted
We found bugs in @Zcash.
Not in circuits or cryptography, but in the implementation of Zebra, the Rust full node.
Caching, error handling and peer attribution bugs led to multiple ways to stall or crash a node, giving $93,750 in bounties.
Here’s how we poisoned Zcash’s state.
teddav retweeted
Researchers built an AI that doxes any "anonymous" reddit account in under a minutes for $2.
eth zurich and anthropic published a terrifying paper proving that "practical anonymity" on the internet is officially dead.
they built a fully autonomous ai pipeline that takes your pseudonymous posts, extracts your identity signals, searches the web, and figures out exactly who you are. no human investigator needed.
the numbers are actually mindblowing..
- 67% of hacker news users identified correctly
- when the system makes a guess, it is right 90% of the time
- it even unmasked scientists whose interview transcripts were explicitly redacted for privacy
the scariest part? even time doesn't protect you.. they tested users who took a full year break and changed their interests. the ai still matched their old and new profiles with 90% precision. it sees through your persona changes like they aren't even there.
there is no defense against this. the agent splits the work into tiny, benign tasks like "summarizing a profile" or "ranking candidates." no api safety guardrail is going to flag it because no single step looks malicious..
every throwaway account. every "nobody will connect this to me" comment. it’s all just searchable micro-data now.
Readers added context they thought people might want to know
Paper shows LLM agents re-ID 67% of tested HN users (LinkedIn-linked then stripped) at 90% precision for $1-4 in minutes. Authors note these easier than typical pseudonymous accounts; lower for careful/Reddit users. Not "any" account.
arxiv.org/abs/2602.16800
decrypt.co/379228/ai-can-…
teddav retweeted
Today we announced the Claude-led discovery of a molecular machine that we suspect could represent a new gene editing mechanism. Its precise function, biotechnological utility (if any), or level of significance is not yet clear, but at minimum it is work I would have been proud to do as a PhD student. The work was done mostly, though not entirely, by Claude: our life sciences team suggested a broad area of research, Claude read through the literature and a bunch of genome data and discovered something interesting, then Claude proposed experiments to verify the discovery and our team carried them out.
It’s easy to dismiss this as a one-off or curiosity, but we’ve repeatedly seen a pattern where AI performance in new intellectual domains goes from weak to superhuman in a matter of a few years. In 2023 models struggled to do math at the level of an average high-school student. In 2024 they started to do well on math competitions for the best high-schoolers in the country, in 2025 they started to solve minor open problems, in early 2026 more significant open problems, and in late 2026 they are beginning to solve the top few open problems in all of mathematics. We believe AI for biology is on a similar exponential trend.
The main difference between biology and mathematics, of course, is that math can be done purely theoretically, while biology requires experimentation. Some have used this to draw the conclusion that AI’s utility in biology will be limited. We think this is wrong. As we’ve demonstrated today, humans can collaborate with AI to perform the experiments, validate key results in a few weeks and, if necessary, work with the AI to iterate on what they find. Eventually it may even be possible for Claude itself to safely perform the experiments by autonomously controlling lab equipment, with appropriate safeguards in place, but we aren’t doing that today (our lab is also a BSL1/BSL2 facility that doesn't handle materials dangerous to humans).
More broadly, biomedical advancement has many stages — from fundamental biology discoveries, to translational research, to drug discovery, clinical trials, and finally the actual delivery of medicines and health care to patients. We are also interested in these later stages, but even simply accelerating the first stage of fundamental biological discoveries has the potential to speed up and broaden the entire pipeline. Improving our understanding of biology and sharpening biologists’ tools can drive forward all of the later stages, for example by identifying new drug targets, finding new therapeutic modalities, allowing for more precise measurement, and speeding up the experimental loop which itself further accelerates our understanding of biology. This will not in itself speed up clinical trial times, but if it succeeds it could greatly increase the number of promising candidates that go into the pipeline — an increase in throughput even though latency remains.
In Machines of Loving Grace, I wrote about AI’s potential to “cure most diseases in 5-10 years” — a goal that sounds impossible, but one I believe is just barely possible if AI is applied to every stage of the pipeline. The first step is showing that AI can first help with, and then drive, biological discoveries.
Claude’s discovery is the latest in a line of related prior work that goes back decades, beginning with systems like CRISPR, and continuing with discoveries like the bridge recombinase and VIPR in the past few years. Recently, there has been heightened interest in systems based on reverse transcriptase (RT) enzymes, the enzyme underlying the system Claude identified. And most recently, a Stanford team working independently described a novel RT system with an associated non-coding array that is in some ways similar to the one Claude found, though they are distinct systems that evolved independently from each other. I believe that we’re at the very beginning of finding such systems and developing them into powerful tools for biotechnology.
I’m proud of the resources Anthropic has invested in accelerating the public benefits of AI through the life sciences, and we’re aiming both to grow our life sciences team and to work with other scientists to extend this approach to a broad range of problems. If you have a proposal for a research collaboration or are interested in joining our life sciences team, please reach out.
Claude has discovered a previously unknown enzyme system hidden in the DNA of bacteriophages. Beside the enzyme’s gene sits a long array of repeating DNA—a structure that looks somewhat similar to CRISPR.
We don’t yet understand what this system does, but only a handful of known systems share its features, and all of them are able to cut, copy, and paste DNA. Historically, the discovery of such programmable systems has helped revolutionize medicine. CRISPR, for instance, is now the foundation of genetic medicines. But it will take much more work to learn what this system does, and whether it can be put to similar use.
Read more: anthropic.com/news/claude-di…
teddav retweeted
Ah ah ah, Philippe Claudel, président de l'académie Goncourt en juin dernier, vent debout contre l'IA et les auteurs qui l'utilisent, et Philippe Claudel quand l'auteur est noir et que le livre est pro-migrant. 😂 (cc @bouliboulibouli) #ThélysonOrélien
teddav retweeted
We asked GPT 5.6-Cyber to escape a VM used to sandbox agents. It broke out three times.
In its final escape, the agent found three 0-days on its own and chained them into a working exploit. blog.trailofbits.com/2026/08…