Nexus
@NexusLabs
Followers
150K
Following
857
Media
281
Statuses
1K
A World Supercomputer. Supply compute power: https://t.co/keazvZuHie
Joined March 2022
RT @StarkWareLtd: Excited to team up with @NexusLabs to power the next generation of zk compute. S-Two is already integrated into Nexus’….
0
8
0
RT @Pi_Squared_Pi2: 1 Hour Until We Go Deep on Verifiable AI. Join @RosuGrigore and @JensGroth16 as they break down what trust looks like w….
0
3
0
We’re proud to announce a new partnership with @StarkWareLtd, the trailblazers behind STARK-based zero-knowledge proofs. This collaboration helps us advance the performance, privacy, and scalability of verified computation across the Nexus ecosystem.
26
25
229
StarkWare’s tagline, “Bringing scalability, security, and privacy to a blockchain near you,” perfectly aligns with our vision for the Verifiable Internet. Nexus and StarkWare share a deep commitment to pushing the limits of zero-knowledge infrastructure, and our shared work will.
1
0
12
The Nexus ecosystem is growing and we are looking to build with the best partners. Want to join us? Reach out to growth@nexus.xyz.
1
0
13
What if a blockchain wasn’t just a ledger — but a fully verifiable, distributed supercomputer?.
62
60
516
RT @JensGroth16: Looking forward to this twitter space with @RosuGrigore from @Pi_Squared_Pi2 that are merging formal verification and zk-….
0
10
0
Proof Over Promises: Exploring Verifiable AI.What happens when AI agents can prove what they did, and how?. Join @RosuGrigore, @UBAmain of Pi² and @JensGroth16 of @NexusLabs to explore verifiability in AI and the future of Web3. 🗓️ Thurs, May 22 at 12:30 CT.🎙️ X Spaces. Reminder
22
29
191
RT @danielmarinq: 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 bl….
0
19
0
Great list.
5 articles about Nexus worth reading!. Edition #1. It's time to learn Nexus! In this Thread you will find 5 articles that everyone should read to learn more about @NexusLabs!. List of articles 👇🧵. (1/◽️)
29
40
330
"Let’s try to implement a simple HIPAA safe harbor-compliant anonymizer to run on the zkVM, all using a coding agent. ".
23
37
352
As the Internet becomes increasingly agentic — populated by autonomous systems acting on our behalf — the stakes for verifiability, trust, and alignment rise sharply. Watch the full ETHSF panel on this topic:.
30
40
327
A modular real-time proving engine for zkVMs from our partner @Snarkify_ZKP.
1/. Introducing SRT: Snarkify’s modular real-time proving engine for zkVMs. SRT delivers orders of magnitude faster proof generation with no changes to zkVM logic. Goes live in June 2025, proving every Ethereum block within the 12s slot time.
31
41
310
RT @danielmarinq: Excited to share that staring from zkVM 4.0 (coming in a couple of months), all future versions of the Nexus zkVM will ha….
0
29
0