Pi2 Labs (@Pi2_Labs) header
Pi2 Labs (@Pi2_Labs) profile picture

Pi2 Labs

@Pi2_Labs

Pi² Labs: the formal verification lab for AI native work.

Pi2labs.org
Joined February 2026
  • Tweets25
  • Following15
  • Followers604
7Media
Photo by Pi2 Labs (@Pi2_Labs)Photo by Pi2 Labs (@Pi2_Labs)Photo by Pi2 Labs (@Pi2_Labs)Photo by Pi2 Labs (@Pi2_Labs)Photo by Pi2 Labs (@Pi2_Labs)Photo by Pi2 Labs (@Pi2_Labs)Photo by Pi2 Labs (@Pi2_Labs)
Pi² Labs (prev. Pi Squared) is the team behind Fast, a new payment system for the agentic economy. This is where we share the research, vision, and progress behind what we're building. Welcome. You're early.
59
26
21
185
29,971
Pi2 Labs retweeted
Fast (@PiSquared) profile picture
Fast
@PiSquaredJun 2
We built an AI shopping agent that lets you buy anything on Amazon through a conversation. It's live right now. Go try it → shop.fast.xyz
44
41
16
236
38,070
Most verifiable computing systems force your code through a translation layer first. Pi2 Labs built a different way. One universal proof checker. Every language. Mathematically guaranteed. Read the full paper ↓
21
16
2
85
2,868
pi2labs.org/papers/proof-of-…
Proof of Proof: A Verifiable Computing Framework

Proof of Proof: A Verifiable Computing Framework

This paper gives an overview of Pi²'s Proof of Proof approach to verifiable computing.

pi2labs.org
1
2
1
23
2,541
Pi2 Labs retweeted
Fast (@PiSquared) profile picture
Fast
@PiSquaredMar 18
Fast. Coming soon. fast.xyz
Image from Fast (@PiSquared)
72
47
18
536
40,020
3.14159265358979... Most people stop there. We kept going. Formal verification means proving something works not for 10 decimal places, but for every possible case. Forever. Happy Pi Day from the team that takes math personally.
28
14
2
87
2,570
We don't ship assumptions. We ship proofs.
12
7
53
1,458
What if you could teach AI to deliberately forget sensitive information like your age or location, while still doing its job? Researchers built exactly that. The results are striking. ↓
6
10
59
1,706
pi2labs.org/papers/texshape-…
TexShape: Information Theoretic Sentence Embedding for Language Models

TexShape: Information Theoretic Sentence Embedding for Language Models

Presents TexShape, an information-theoretic framework for training sentence embeddings that simultaneously optimizes compression, privacy, and fairness using mutual information estimation.

pi2labs.org
3
1
22
684
Most co-founders have a pitch deck. Ours has 300 publications, 19,000 citations, and a PhD from Stanford. Sriram Vishwanath is the co-founder of Pi² Labs. IEEE Fellow. Technical Fellow at MITRE Labs. Byers Chair for Computer Engineering at Georgia Tech. Serial entrepreneur with three successful exits advising startups valued at over $1 billion. His research focus? Enabling agents to transact autonomously and securely. From Stanford to the agentic economy. The résumé changed. The rigor didn't.
Image from Pi2 Labs (@Pi2_Labs)
23
12
3
76
2,251
The Fast paper breaks down what payment infrastructure for AI agents actually requires. Parallel settlement. Sub-100ms finality. No consensus bottlenecks. No human in the loop. This is how agents move value at machine speed. Read the full breakdown ↓
Image from Pi2 Labs (@Pi2_Labs)
18
13
12
77
5,090
pi2labs.org/papers
Payments for Agents

Payments for Agents

Pi² Labs is building Fast, a new payment system for the agentic economy.

pi2labs.org
2
26
654
AI agents are moving from demos to production. Programs like this accelerate that and get real resources into builders' hands. Strong lineup for Cohort 0.
Sentient (@SentientAGI) profile pictureSentient
@SentientAGIMar 4
Applications are now live! Cohort 0 starts March 13th in Presidio with OpenHands, OpenRouter, alphaXiv, Fireworks, Dedalus Labs, Franklin Templeton, Founders Fund and Pantera. → $25K+ in prizes → 3 weeks building state-of-the-art AI agents → Many more surprises Apply below 👇
14
10
60
1,970
We don't just build it. We explain exactly how it works and why it has to work this way. Go deeper ↓
29
12
3
87
2,247
medium.com/@Pi2Labs
Pi2 Labs – Medium

Pi2 Labs – Medium

Read writing from Pi2 Labs on Medium. Pi² Labs is building Fast, a payment system for agents that moves money globally, securely, at internet speed.

medium.com
2
27
655
Most crypto founders come from finance or tech. Ours comes from @NASA, where "move fast and break things" gets people killed. @RosuGrigore is the founder of Pi² Labs. Former NASA research scientist. Professor of computer science at the University of Illinois at Urbana-Champaign. Creator of the K Framework. Founder of @rv_inc, pioneering formal verification in distributed financial markets. When you're creating payment infrastructure for autonomous agents moving value at machine speed, "probably works" isn't good enough. You need provable correctness. From NASA to the agentic economy. The mission changed. The standards didn't.
Image from Pi2 Labs (@Pi2_Labs)
23
13
2
95
2,866
The team behind Pi² Labs didn't just build on Ethereum. They formally verified the entire EVM. KEVM. 40,683 tests passed. Ambiguities in the Yellow Paper exposed along the way. You earn the right to build what comes next. ↓
35
12
2
80
2,474
pi2labs.org/papers/kevm-ethe…
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Provides the first complete formal semantics of the EVM, enabling verification of smart contracts and analysis of the Ethereum blockchain.

pi2labs.org
2
4
1
21
882
Every breakthrough starts with research nobody sees. Pi² Labs is where the math gets done, the proofs get written, and the impossible becomes infrastructure. What's coming next? It already started here.
16
10
1
57
1,241
Want to go deeper than a tweet thread? We're now publishing research, protocol design, and product updates on Substack. Subscribe. ↓
10
7
1
62
868
substack.com/@pi2labs
1
15
414
Load more