Psst! 🤫 We also have two stealth-mode fuzzers that found 16 additional bugs in two classes of systems that are critical for the web3 ecosystem. We'll share more details in the coming months! 🤐🔜
Show more
📢 April-July update on fuzzing efforts at @ConsensysAudits (w/ colleagues at @tu_wien): found 6 bugs (2 soundness, 4 completeness) in 4 projects (gnark, SP1, Pico, Ziren)! 🔥
Glad to help! 🙌 @Consensys @gnark_team @LineaBuild @brevis_zk @ProjectZKM @SuccinctLabs!
Show more
SOMEONE CODED A WEBSITE THAT SHOWS THE #BITCOIN# PRICE AS AN ACTUAL BATTLEFIELD
BULLS FIGHTING BEARS
WATCH NUMBER GO UP IN REAL TIME 🚀
Reporting back: it's so good, I'm keeping it
One of the things that used to annoy me was all this fake gaslighting language ("this is the smoking gun")
Or verbose, waffling technical prose that is hard to parse
And now it's gone 🧘♂️
Show more
AI creates a lot of opportunities in security, but it also forces us to adapt our processes.
I wrote a short blog post about how I see Ethereum Security and Responsible Disclosure evolve with the advent of AI.
Give it a read 👇👇👇
Show more
come join Protocol!
One of the best teams in Ethereum is looking for more people.
Join us in securing the biggest smart contract platform in the world!
🚨 The @ethereumfndn Protocol Security team is hiring!
Come help secure Ethereum mainnet and the next generation of protocol upgrades.
Apply:
Lost my phone at the office and spent 30 minutes turning the place over. Find My was disabled by MDM.
Out of ideas, I asked Claude how I could find it. It suggested tracking the Bluetooth signal strength, then wrote me a meter in about a minute.
I walked around watching the number climb. Found it.
Apparently you can just make the tool you need now.
Code:
Show more
Multitasking vs focus
Excited the EF Protocol July 2026 update:
AI is increasingly discovering new ways to attack cryptographic algorithms
today, I spoke with Ethereum researcher @drakefjustin on what this means for the future
0:35 HAWK signature scheme flaw
2:08 security risks
4:13 Ethereum's post-quantum roadmap
7:29 why verification is expensive
11:12 formal verification
11:59 Ethereum in a post-AI world
14:03 attackers vs. defenders
16:32 inside the Ethereum Foundation
18:15 what AI labs should prioritize
Show more
I literally can not keep track of all the CVEs our AI is earning right now on hard public targets.
Comment an open-source GitHub repo you want us to point @octane_security at.
I’m significantly older than you. I started coding in the late 60s. My current strategy is to not read any of the code written by my agents. That’s the only way I can take advantage of their productivity. What I do instead is to surround the agents with extreme constraints. Unit tests, gherkin tests, QA procedures, quality metrics, mutation testing, test coverage, and a plethora of others. In the end, I have very high confidence in the code they produce because they’ve had to run the gauntlet of all of my constraints and tests.
Show more
Driverless semi trucks are beginning to reshape freight transportation in China.
These autonomous big rigs are hauling cargo on public highways without a driver behind the wheel, using advanced sensors and AI to navigate long-distance routes.
Show more
This is what entrepreneurialism feels like.
