Grigore Rosu
@RosuGrigore
Founder & CEO @Pi_Squared_Pi2 | Founder @rv_inc | Prof @cse_uiuc | Creator of K. Prev @NASA. Building the new standard for verifiable settlement in AI & crypto.
Blockchain is dead. Long live SET. Read why in our latest whitepaper; FastSet - a new massively parallel distributed protocol to settle verifiable claims in crypto and AI. pi2.network/papers/pi2-whi…
My warmest gratitude to everybody who tried our devnet out! Our next goal is to publicly demonstrate the unmatched performance of our weak consensus protocol, FastSet: more than 100k TPS with essentially instant finality (one round-trip message). Wen? Soon. Very soon.
In case you missed it, the VSL Devnet numbers are in. 🟣 71K+ signups 🟣 3.5K+ wallets allowlisted 🟣 2M claims submitted Read what we learned and where we’re headed next with FastSet ↓
Two cents on AI getting International Math Olympiad (IMO) Gold, from a mathematician. Background: Last year, Google DeepMind (GDM) got Silver in IMO 2024. This year, OpenAI solved problems P1-P5 for IMO 2025 (but not P6), and this performance corresponds to Gold. (1/10)
A new wave of amazing performance innovation will come to Web3. It's just taking a little bit for people to unlearn that "crypto = blockchain". Once this misconception becomes past, Web2-level performance will be unleashed. Web3 is here to stay, blockchains are transitory.
Enough of the new chains and layers “You don’t really need a blockchain to settle claims that come with proofs.” At Hack Seasons Cannes, @RosuGrigore explained why verifiability scales better than consensus for crypto infra. More below ↓
Pi Squared 🔹 Tech 🔹 @Pi_Squared_Pi2 has introduced FastSet, a new infrastructure designed to enable fast, verifiable claim settlements across future blockchains, apps, and AI systems - without relying on traditional consensus: blog.pi2.network/introducing-th… Using quorum-based…
Very much enjoyed advocating for symbolic reasoning for Trustworthy AI in my NSF CISE lecture, the recording is now available at nsf.gov/events/neurosy…
Weird and poorly designed languages for Web3, and worse, formally verifying their programs, will soon be past. Give them 2-3 more years, tops. Why should I use Solidity, when I can use Python or Java? Why should I use EVM, when I can use LLVM or WASM?
What if you could formally verify any smart contract or protocol without starting from scratch? This flips the script on how we build on-chain infrastructure. @RosuGrigore breaks it down in under 40 seconds.
A peek at what's coming with FastSet (pi2.network/papers/fastset). More than 100k TPS. Unleashed Web3 parallelism, how it should be. Core, native parallelism, not reversed engineered.
Thank you for building with Pi Squared! Looking forward to having you back in a few weeks, to try break our shiny FastSet decentralized network. FastSet goal: > 100k TPS, < 100ms finality. No blocks, no chains, no problem. Decentralized, verifiable.
Devnet was just the start. You tested. You mirrored. You explored. The doors to Devnet are closed, but what it unlocked is just the beginning. FastSet is next. Thanks for building with us.
4/10 At Hack Seasons Cannes by @mpost_io, @RosuGrigore joined the panel “Infra Devs Actually Use.” His hottest take: “You don’t really need a blockchain to settle claims that come with proofs.” Watch the panel: youtu.be/q6nbxTWLQOk?si…
1/10 Last week at @EthCC we made a powerful claim: The future of web3 is not blockchain. Dive into the thread to learn more and see our team’s takeaways ↓