ZKryptosaurus (@ZKryptosaurus) header
ZKryptosaurus (@ZKryptosaurus) profile picture

Co-founder @DrongoLabs | Formal Verification ⇌ AI ✨ | ZK, Privacy & Security 💫 | @Zcash 🛡️ | Sherpa @Kheldotfun 🎮 | Early contributor @Starknet

Joined May 2013
Photo by ZKryptosaurus (@ZKryptosaurus)Photo by ZKryptosaurus (@ZKryptosaurus)Photo by ZKryptosaurus (@ZKryptosaurus)Photo by ZKryptosaurus (@ZKryptosaurus)Photo by ZKryptosaurus (@ZKryptosaurus)Photo by ZKryptosaurus (@ZKryptosaurus)Photo by ZKryptosaurus (@ZKryptosaurus)Photo by ZKryptosaurus (@ZKryptosaurus)Photo by ZKryptosaurus (@ZKryptosaurus)
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 🔥
17
12
91
2,065
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.
2
5
17
724
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.
We’re aware of a security issue affecting Web3Auth’s services used by some third parties. We have temporarily paused the embedded wallet service. After an initial investigation, we’ve found no evidence that MetaMask users are impacted.
200
187
166
559
188,157
ZKryptosaurus retweeted
🚨 BREAKING: 🇮🇳India's CERT-In gains access to Anthropic's Claude Mythos AI model to detect cybersecurity vulnerabilities.
42
43
14
765
32,587
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.
4
1
35
1,265
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.
10
29
4
181
10,808
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.
1
3
1
37
9,493
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.
8
17
108
4,534
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.
9
12
3
106
2,644
ZKryptosaurus retweeted
Zcash is winning.
14
14
5
324
5,775
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 🔽
5
15
238
I'm giving a talk at Stanford tomorrow titled "Scaling Lean for AI." Details here: beneficial-ai-foundation.git…
7
36
1
254
11,223
ZKryptosaurus retweeted
You are seeing in real time money coming out of Bitcoin and AI and into zcash:native
4
5
1
72
1,641
☀️ 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…
10
24
68
2,303
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.
129
212
182
1,564
138,543
ZKryptosaurus retweeted
A few memories from Zcash World Mumbai! Great to be part of it alongside the @NEARLegion India community and @ZcashIND. 💚
2
3
1
21
1,039
RT @alexanderlee314: exceptionally thankful for the Ethereum community and the @devcon team. I really think Devcon this year in Mumbai was…
3
3
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.
54
27
3
277
43,919
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?
8
6
64
3,127
ZKryptosaurus retweeted
🚨 NEW: Binance hackers paid just $15 in network fees to drain $2.5 billion in a single transaction via a feature from Ethereum’s EIP-7702 upgrade, per Bloomberg.
80
75
14
608
63,081
The strawmap set a goal of Lean Ethereum by 2029—we now have a fork-by-fork plan to get there. H* will be the last fork without lean features. I* will ship the leanVM and lean transactions. J* will add lean attestations, DA sampling and PCS. By L*, Lean Ethereum will be complete
19
31
8
241
25,298