David Wong
@cryptodavidw
load bearing @zksecurityXYZ & AI @zkaol, author of Real-World Cryptography, prev: architect @Mina, sec lead Libra (@Facebook), crypto @NCCGroup
3.1K Following 18.2K Followers
zkao v3 is coming out soon (our AI bugfinder for cryptographic code)! If you haven't been approved on the platform ( shoot me a message. We are opening up applications to more projects as we continue our slow roll out.
Show more
btw it might not be clear but to participate in you really don't need to understand any of it, just download the llms.txt and ask your agent to beat the record, that's it.
If you do, you'll get added to the leaderboard and you'll be part of history! We're trying to find the most optimized circuits for SHA-256 and RSA right now, and it's only been a few hours so it's probably easy to get in there :D
Show more
3 years ago when we started zkSecurity, we reviewed a number of RSA circuits.
they're not easy to review.
If you had told me then that 3 years later we wouldn't have to understand how these circuits work for them to be secure, there's no way I would have believed you.
The work that the clean team has managed to achieve is really insane. Props to @mitschabaude @pirapira @g_dellimmagine and rot256
Show more
really shows that finding the right abstraction is 99% of the work
