Co-founder @DrongoLabs | Formal Verification ⇌ AI ✨ | ZK, Privacy & Security 💫 | @Zcash 🛡️ | Sherpa @Kheldotfun 🎮 | Early contributor @Starknet
Joined May 2013
- Tweets5.9K
- Following1.8K
- Followers2.4K
- Likes22K
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
Personal take on the Zcash vs Bitcoin debate.
Zcash is great tech but it can never challenge Bitcoin as a neutral, global asset. Whether you consider Bitcoin currency or digital gold - all the same.
Zcash is closer to Ethereum in terms of organization and history. That is both good and bad. Good - meaning that it has a chance to be run as a business. Bad because it could be/is controlled by people.
The original Zcash creators were / are Bitcoin OGs. The tech and vision is amazing. Execution and operation, biased incentives etc. is what makes the difference here.
I do hope that people shilling Zcash will still be around when the price falls. Bullish Zcash tech, unsure about execution and biased incentives.
ZKryptosaurus retweeted
Finally we can breath out & go through a round of apprecitation to incredible people on who's shoulders all Cypherpunk Congresses has been built - volunteers.
@robdotrego made a wonderful job of nurturing people from around the world (Romania, Ukraine, Canada, New Zealand, UK, Czech Republic, Cyprus, somewhere in Africa [non specified] etc etc etc)
thank you @MissPurrple_, @0xSkas, @LisVikkk, @KeenOfCoin, @SimonaSerban_, @BobSummerwill, @Cyph3rVae, @unhappyben, @FryCookVC, @turoslav, @_devisha, @alexandrakrjck, @haochizzle, @ZKryptosaurus & many many more.
ZKryptosaurus retweeted
We have received reports of unauthorized transactions on some Keplr accounts created with Google or Apple login. We flagged this to the @Web3Auth team and have been working with them on the investigation since.
Based on our initial assessment: if you created your Keplr wallet with a recovery phrase or a hardware wallet, you are NOT affected.
If you created your Keplr account with Google or Apple login, your account may be affected. While we investigate:
– Do not send new funds to that account.
– Do not re-import or recreate it anywhere.
– Google/Apple login is paused for now.
– Trust updates only from this account. Ignore DMs or links offering “recovery”.
We will share verified details and next steps here as soon as we have them.
ZKryptosaurus retweeted
🚨 BREAKING: 🇮🇳India's CERT-In gains access to Anthropic's Claude Mythos AI model to detect cybersecurity vulnerabilities.
ZKryptosaurus retweeted
I want to up my spicy Indian cooking game, so I bought a cookbook from the excellent London restaurant group Gunpowder. Expect fire next time you come for dinner.
ZKryptosaurus retweeted
Even a private transaction can reveal who sent it as access layer traffic can leak network metadata. Nym's SDK runs the mixnet in the browser with no install and no config, so wallets and dapps can tunnel their traffic through it and hide who's sending.
At DEVCON India @_wjth "The Nym Mixnet works today. With over 700 Independent node operators. "
Wallets can intergrate the Nym Mixnet into their wallet giving users strong network security seamlessly via our SDK.
ZKryptosaurus retweeted
At DEVCON India @_wjth "The Nym Mixnet works today. With over 700 Independent node operators. "
Wallets can intergrate the Nym Mixnet into their wallet giving users strong network security seamlessly via our SDK.
ZKryptosaurus retweeted
This thread contains links to Aristotle formal verification reports for a systolic array matrix multiplier at sizes 4x4, 8x8, 16x16, 32x32 and 64x64 for FP16 values. You can read the properties that were formally verified in Lean 4, see the SystemVerliog code, and read the verification summary. The formal verification is a direct comparison against a high level functional specification of a pipelined systolic matrix multiplier. I think this kind of direct formal verification of a matrix like this against a fairly direct high level specification is unusual.
ZKryptosaurus retweeted
Olá! Cypherpunk Congress 4 is coming to Lisbon 🇵🇹
Expect the biggest digital rights x neo-cypherpunk festival celebrating people, encryption, free speech, privacy, alternatives to big tech, culture & you.
Congress 4 theme: "The Atlantic Commons".
Portugal is a place where the histories of empire, colonial extraction, migration & European power meet the struggle for a different digital future.
It's is a bridge between Europe, Africa, Latin America and the wider Global South. Not as a symbolic meeting point, but as a place to challenge who owns technology, who controls infrastructure, who produces knowledge and who shapes the future.
And let's not forget about massive gentrification turning Lisbon into a shopping mall & startup hub, displasing local people. Commonly we can do better!
Commons. Step 1: from single event to lasting impact 🖤
We commit to series of worldwide meetups from Global South to Europe prior to main Congress. They will help to build a dialogue between digital rights activists & technology enthusiasts.
Commons. Step 2: Matching cultures 🖤
Expect our Neo-cypherpunk activations at diverse events from Brazilian @cryptoravebr to Thai @fossasia, from @mozillafestival to @republica, & especially digital rights-focused Global Gathering in Portugal.
Early registration: luma.com/7tqlmyqg
Obrigado. Pela alegria do ativismo.
ZKryptosaurus retweeted
Three days, three trading challenges, one Diwali campaign. Here's how to take part with NEAR India. 🪔
🪔 This Diwali, celebrate the festival of lights with 3 days of trading challenges on near.com
Silver, Indian equities and gold. Three days. Three challenges. $21 shagun for up to 15 winners
Here's how to participate 🔽
ZKryptosaurus retweeted
I'm giving a talk at Stanford tomorrow titled "Scaling Lean for AI."
Details here: beneficial-ai-foundation.git…
ZKryptosaurus retweeted
You are seeing in real time money coming out of Bitcoin and AI and into zcash:native
ZKryptosaurus retweeted
☀️ Rise and shine, Zcash is 3x faster!
💥 NU7 Is Live on Zcash Mainnet!
🚀 Activated at block 3,543,405.
➡️ Node operators: run Zebra 7.0.0
⚡ Blocks every 25 seconds
🦓 Miners and pools: try Zebra Ándale, our fastest Zebra yet, now in alpha. ...More improvements soon!
zfnd.org/zebra-andale-the-fa…
ZKryptosaurus retweeted
Devcon 9 is coming to Lisbon! 🇵🇹
October 11–13, 2027
Building on Mumbai, we're bringing Ethereum's builders together with more friends and allies working toward a freer, more open internet.
ZKryptosaurus retweeted
A few memories from Zcash World Mumbai!
Great to be part of it alongside the @NEARLegion India community and @ZcashIND. 💚
RT @alexanderlee314: exceptionally thankful for the Ethereum community and the @devcon team. I really think Devcon this year in Mumbai was…
ZKryptosaurus retweeted
🔥 TODAY: Zcash has activated its NU7 upgrade on mainnet, bringing the Network Sustainability Mechanism.
The new mechanism pulls 60% of transaction fees from circulation for later reissue through future block rewards.
ZKryptosaurus retweeted
With repositories now containing hundreds of thousands of Lean4 proofs, we'll need much better tooling to visualize proofs and their dependencies.
Something that helps humans build mental models and reason about proofs intuitively.
Maybe this already exists and I've missed it?
