Pi2Labs

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.

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 ↓

Fast. Coming soon. fast.xyz

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.

We don't ship assumptions. We ship proofs.

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. ↓

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.

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 ↓

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.

@Pi2Labs" target="_blank" rel="nofollow noopener">medium.com/@Pi2Labs

We don't just build it. We explain exactly how it works and why it has to work this way. Go deeper ↓

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.

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. ↓

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.

@pi2labs" target="_blank" rel="nofollow noopener">substack.com/@pi2labs

Want to go deeper than a tweet thread? We're now publishing research, protocol design, and product updates on Substack. Subscribe. ↓

The K Framework has quietly shaped software for 20 years. It defines programming languages with mathematical logic, used to verify smart contracts, certify software, and build provably correct systems. Our founder created it. Provable correctness is in our roots.