Co-founder @DrongoLabs | Formal Verification ⇌ AI ✨ | ZK, Privacy & Security 💫 | @Zcash 🛡️ | Sherpa @Kheldotfun 🎮 | Early contributor @Starknet
Joined May 2013
- Tweets6K
- Following1.9K
- Followers2.4K
- Likes22.1K
Pinned Tweet
Privacy is the alpha 💫
Mumbai is privacy/ZK-pilled 🛡️ Hitting 4,000+ registrations is a huge milestone and a testament to the growing privacy movement. Thanks to @web3privacy for making it happen 🫡
Huge thanks to @robdotrego for bringing me onto this incredible volunteer team 💜 It's an honor to contribute to the Ethereum Cypherpunk Congress, bringing together some of the best minds in ZK and privacy from around the world in Aamchi Mumbai, India 🇮🇳
Such a pleasure reconnecting with @Nitashaberry almost 2 years after we last met at @Zebu_live in London, UK, and watching her run the show. When it comes to event management, she's truly the best in the business 👏
Great to meet @VitalikButerin and chat about @ethereum 🔮 Last but not least, feeling very humbled to finally meet so many of you cypherpunks IRL after years of conversations online 🤝
ZFG 🔥
ZKryptosaurus retweeted
been working on this for a while now and its something im really proud of
AxiomStory is an AI studio that turns your ideas and stories into wikis, pictures and videos, and checks that it all matches whats written!!!
axiomstory.com/?ref=x
ZKryptosaurus retweeted
At Intrinsic, we apply AI to scale formal verification for software.
As a first result, we end-to-end formally verified @openvm_org, a production zero-knowledge proof system using @leanprover. Our verification shows OpenVM's cryptography is sound and matches its implementation.
ZKryptosaurus retweeted
⚡️ JUST IN: Elon Musk says it “would be an honor” to hire Nvidia CEO Jensen Huang.
ZKryptosaurus retweeted
These people. Each of them. Heroes behind our events.
And many of those behind the camera.
ZKryptosaurus retweeted
I'm hiring the security GOAT.
I believe your freedom ends where someone else's begins. If you believe the same and want to protect people from NK hackers, come join NEAR Intents — the biggest cross-chain protocol.
DM me what you think about security in the post-AI world and two of your most impressive achievements.
Maybe we can join forces and make crypto a safer place.
ZKryptosaurus retweeted
Meet Zcash Lab's newest Member of Technical Staff: Ryan Ford @distractedm1nd!
Ryan made splash in Zcash by building zstreamer, a blazing fast Zcash indexer for light wallets that syncs in about 90s instead of hours: github.com/distractedm1nd/zt…
He also added custom p2pv2 services and embedded node support to @ZakuraZcash, to help bring the network closer to users in the future.
Ryan developed his deep expertise in p2p networking and cryptographer as a protocol engineer at Celestia and other open source contributions.
Ryan says, "I am most excited to work on the protocols, interfaces, and infrastructure directly serving users, for Tachyon and beyond."
Welcome to Zcash Labs @distractedm1nd!
ZKryptosaurus retweeted
BREAKING: Nvidia, $NVDA, is preparing to fire Jensen Huang, its founder and CEO, after allegations of a second affair have surfaced, per WSJ.
The board is preparing to meet as soon as today to determine his future.
ZKryptosaurus retweeted
We've come a long way in a short time for formal verification—one of our strongest tools for putting the S in CROPS—to become a new normal. Here, verity formally verified EIP-8282 and in doing so found real discrepancies for researchers to address.
Thanks for the work @Veritylab
We formally verified EIP-8282 for the @ethereumfndn.
Proved directly on the bytecode, checked by Lean.
veritylabs.dev/our-work/eip-…
ZKryptosaurus retweeted
We’re blazing a trail in formal verification and auditing for complex cryptography, so we can ship Tachyon safely. The assistance of @zksecurityXYZ has been crucial for our team.
ZKryptosaurus retweeted
We formally verified EIP-8282 for the @ethereumfndn.
Proved directly on the bytecode, checked by Lean.
veritylabs.dev/our-work/eip-…
ZKryptosaurus retweeted
Any Telegram message can now become an app.
⚡ Downloads instantly (less than 4 KB)
🎨 Interactive and natively rendered
💸 Payments and viral mechanics built in
🛠️ Build your own. More info and docs for devs: t.me/BotNews/122
ZKryptosaurus retweeted
𝐋𝐞𝐚𝐧 𝐅𝐑𝐎 𝐢𝐬 𝐡𝐢𝐫𝐢𝐧𝐠 𝐚 𝐓𝐞𝐜𝐡𝐧𝐢𝐜𝐚𝐥 𝐂𝐨𝐦𝐦𝐮𝐧𝐢𝐜𝐚𝐭𝐢𝐨𝐧𝐬 & 𝐂𝐨𝐧𝐭𝐞𝐧𝐭 𝐋𝐞𝐚𝐝
We are looking for a hands-on communicator and content creator to own Lean FRO’s external communications. The role is full-time and remote, working directly with Lean developers and leadership.
We expect the successful candidate to turn technical developments into clear, engaging stories, build a consistent public presence, and help audiences understand Lean accurately. They do not need to be a Lean expert when they join, but must be eager and able to learn enough to communicate accurately.
This is a chance to turn substantive technical work into content people understand, and to take ownership of a communications function whose direction you can help shape.
𝐅𝐮𝐥𝐥 𝐣𝐨𝐛 𝐩𝐨𝐬𝐭𝐢𝐧𝐠 𝐚𝐧𝐝 𝐚𝐩𝐩𝐥𝐢𝐜𝐚𝐭𝐢𝐨𝐧: jobs.lever.co/convergentrese…
#LeanLang #LeanProver
ZKryptosaurus retweeted
Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the first time the actual production code of a widely deployed protocol has been formally verified – by any method, with or without AI – and at this depth.
More than a research breakthrough, it’s a prime example of how frontier AI can be a force multiplier to counter the speed and scale of modern cyber threats.
Formal verification offers a higher standard of security; however, it’s extremely complex and time consuming, which is why in many cases it’s considered to be impractical. Similar efforts could take teams decades of combined effort. We did it in a month’s time.
Using AlphaProof Code, Google DeepMind's new agentic framework for formal verification that runs on LLMs including Gemini Carbon, we verified the Signal protocol down to the actual code running on devices. This milestone lays the groundwork for a future in which vital systems, from medical device firmware to power grid software, ship with mathematical proof that their protections work.
Reaching that future will take continued research from our community. In that spirit, we're open-sourcing our formal specifications and verification artifacts so others can build on this work.
On a personal note, this moment is of deep significance to me. I started my own research journey more than two decades ago as an intern working on checking the consistency of complex software systems. Seeing this grand challenge made practical with modern AI is extraordinary.
I'm extremely proud of my team members: Swarat Chaudhuri, Andrew Ferraiuolo, Anton Kovsharov, Tej Chajed, Sam Schlesinger, Karn Seth, Jonathan Katz, and Charles Sutton for taking on this grand challenge and delivering, and grateful to the Signal team for their partnership.
deepmind.google/blog/formal-…
ZKryptosaurus retweeted
I am flying Polish airlines from India to Poland. They served potatoes and everyone is happy.
ZKryptosaurus retweeted
Bloomberg’s headline is blunt, so here’s the context.
For over a decade, Ledger has had one mission: protecting what people own. That hasn’t changed, and neither has our job. People are quite terrified by what is happening, and we feel it personally every day.
AI is accelerating the speed and sophistication of attacks on individuals and institutions. From AI-generated phishing and deepfakes to autonomous agents acting without verified human oversight, attackers now operate at machine speed. Today, you can’t be sure that what you’re looking at on your phone is true. Cybersecurity has never faced so many new challenges so quickly, with frontier AI models and the looming threat of quantum. The devices we use every day were not built for this. We need something purpose-built.
Attackers will keep coming. What matters is what we build to meet them.
Device tampering risks affect the whole industry. This is an ongoing threat that reaches well beyond one company, and no one solves it alone. We’re calling on others in the space to work with us on shared standards for how devices are built, shipped and verified, so users can trust what they hold.
AI can defend too. At the Ledger Donjon, Cerberus works like an AI-powered guard dog, scanning around the clock to catch and patch vulnerabilities before attackers do.
Hardware is the great protector: a root of trust you can verify from the factory to your hands, and a human who approves what moves. Security has to run all the way to the screen, because an approval only means something if what you see is what happens. That is why we built Ledger Atom with a secure screen. The revenge of the atom has come.
We will keep leading on security, and we will keep communicating only facts we can validate through authorized channels.
bloomberg.com/news/videos/20…
ZKryptosaurus retweeted
JUST IN: Crypto wallet company Ledger CEO says "everybody will be hacked at some point."
ZKryptosaurus retweeted
Huge congrats to the Free Society Hack Privacy track winners.
Real tools for real problems: safer first payments, less linkage, better exits, private bookkeeping.
Builders in Mumbai are expanding the private money stack. 🛡️ $ZEC
The Free Society Hack Privacy track winners are IN.
Builders spent a day in Mumbai shipping privacy tools on @Zcash.
Here's who took the podium. 🏆
