load bearing @zksecurityXYZ & AI @zkaol, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
New York
Joined June 2011
- Tweets37K
- Following3.1K
- Followers18.2K
- Likes50.4K
We need to redefine intelligence
I think at this point I disagree that AI is not showing true signs of intelligence, or that AI is incapable of producing “new” things. I think similar to how we learned that we’re not at the center of the universe, or that we’re not at the center of the solar system, or that we have common ancestors with monkeys, we’re learning that there’s nothing special with our “intelligence”, and many people are in complete denial. This will be followed by acceptance.
This is so insane how you can just buy elections in the US, and how it’s done in the open 🤣
JUST IN: 🇺🇸 Elon Musk spends $446 million on US midterm elections, becoming the largest individual political donor in modern American history.
I think at this point I disagree that AI is not showing true signs of intelligence, or that AI is incapable of producing “new” things. I think similar to how we learned that we’re not at the center of the universe, or that we’re not at the center of the solar system, or that we have common ancestors with monkeys, we’re learning that there’s nothing special with our “intelligence”, and many people are in complete denial. This will be followed by acceptance.
What powers zkao? How is it different from running a model over your code? What does an audit cost?
A thread on how we approach AI security auditing, what you’re paying for, and where the limits are. 🧵
For frozen code, we recommend aiming for 3–10 Deep Audit runs in a row without a new bug.
That builds assurance. It doesn’t prove the code is bug-free.
Beyond that, we recommend putting additional budget toward Continuous Audit.
We still find bugs manually that zkao cannot find today. Those discoveries guide what we teach it next.
The goal is to bring more of our audit experience into every scan, and keep improving the coverage.
zkao.io