Diego Prats | nexus.xyz
@mexitlan
Followers
5K
Following
7K
Media
165
Statuses
9K
VP Engineering @NexusLabs. Working on verifiable computing. prev. @dfinity @harvard @usc
San Francisco, CA
Joined April 2011
At BASS and SBC conversations around AI and crypto circled the same question: How do we trust systems we can’t see inside? @alexanderfowler and @danielmarinq argued that trust will come from infrastructure designed for proofs. Read more:
blog.nexus.xyz
At BASS 2025 and SBC’s Decentralized AI Summit, Nexus leadership laid out a bold vision for the future of AI and blockchain. CEO Daniel Marin and Chief Strategy Officer Alex Fowler aren’t just...
31
52
252
Tanner is awesome
Meet @duveZK, zkVM engineer at Nexus. He studied logic and CS, and now works on formal verification, zero-knowledge proofs, and the infrastructure powering verifiable AI.
0
0
8
🚀
New record on Nexus Testnet III 1 million nodes simultaneously connected
0
0
12
🚀🚀
Testnet III 06/23/2025
1
0
4
Check it out! Feedback wanted
Update: Fixing a known issue on the Nexus OS where it doesn’t show devnet points
4
2
11
Humbled to be a part of the team
0
1
7
The team is cooking.
1
1
6
Come by !
At Nexus we are doing a ton of AI work If you are in the SF / Bay Area -- come vibe with us at our vibe coding event tonight, food included: https://t.co/K4kEs1TEDH
0
1
16
It’s really cool to work at a place where cryptography, consensus, AI, compilers, economics are all part of the daily dialogue.
A very basic overview of our vision for the Nexus Consensus Layer ...and the path towards $100B in assets staked Big things coming
3
8
43
If you're in SF join us for an AI / MCP x crypto night We'll be (vibe) coding a few many AI / agents interacting with blockchains in very exciting ways https://t.co/K4kEs1TEDH
luma.com
An evening of coding for those building at the intersection of AI, blockchain and cryptography – with MCP as a theme for this event. What to expect: Hacking…
8
23
157
Excited to share that staring from zkVM 4.0 (coming in a couple of months), all future versions of the Nexus zkVM will have AI-powered soundness verification checks across all circuits and all formal specs
25
30
218
Very excited about this!
Excited to announce the Nexus AI Lab At Nexus, we are massively doubling and tripling down on all our AI efforts, end-to-end. Today, we are already working with a few many partners to accelerate products at the intersection of economics, verifiability and AI DM if you want to
1
1
2
So glad be working with @riyazdf
Welcome Riyaz Faizullabhoy (@riyazdf) as VP of Security. Riyaz joins Nexus after co-founding Bastion, being CTO @a16zcrypto, tech lead and architect for Novi (formerly Facebook’s Blockchain wallet), and more. https://t.co/paWnfI5vjj
2
0
4
New deeply technical AI engineering open roles at Nexus. If you’re a highly technical engineer, in love of computers — and looking to deploy software to millions of users worldwide DMs open We’re forming a killer in-person team in San Francisco
42
65
349
Highly recommend!
0
1
1
We are excited to announce a strategic partnership with Halliday, a trailblazer in enabling seamless payment experiences for Web3. Halliday’s end-to-end payments platform allows users to acquire and manage any asset onchain with just a single click.
20
35
386
Folks, the @NexusLabs X account got hacked through a phishing attack just now -- please be careful and don't interact with it
39
16
120