Log inSign up
Grigore Rosu
Fast
2,081 posts
user avatar
Grigore Rosu
Fast
@RosuGrigore
Building Fast Infra for agents and their humans (@fastxyz). Formerly @NASA | Prof UIUC @siebelschool | Creator K Framework | Founder @rv_inc.
Champaign, IL
fsl.cs.illinois.edu/grosu
Joined June 2017
946
Following
14.8K
Followers

New to X?

Sign up now to get your own personalized timeline!

Create account

By signing up, you agree to the Terms of Service and Privacy Policy, including Cookie Use.

Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Don't miss what's happening
People on X are the first to know.
Log inSign up
  • Pinned
    user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Jun 2
    Fast. The new face of Pi Squared. Same company. Same deep tech. Fresh brand for what we are building: Fastest verifiable settlement layer ever. For crypto, AI, and all they enable.
    user avatar
    Fast
    @fastxyz
    Jun 2
    today, we start moving /fast. new handle just dropped → @fastxyz.
    00:00
    3.4K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Aug 13, 2025
    Let me show you what happens when too many users transact on a blockchain at the same time. Then see how FastSet handles transactions with a completely different approach. This short demo compares the two side by side. Watch what fails, what succeeds, and why.
    00:00
    125K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Aug 27, 2025
    Pi Squared Weekly Update FastSet hitting real-time metrics, OmniSwap leveling up usability, and @Optimism mirroring closing in. Here’s what we’ve built this week ↓
    108K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Aug 22, 2017
    What's the smallest undefined C program? The one in the picture is about 40 chars. It returns 3 with clang and 4 with gcc.
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Aug 12, 2025
    FastSet is the most significant milestone of my technical and academic career since creating the K Framework in 2003. I didn’t set out to build another blockchain, we have enough fragmentation, brittle bridges, and total ordering slowing Web3 down. FastSet is something else
    user avatar
    Fast
    @fastxyz
    Aug 12, 2025
    Introducing FastSet Pre-Release Experience 100K+ transactions per second with sub-100ms finality across chains. Scroll to see how FastSet is taking Web3 infra beyond blockchain ↓
    00:00
    45K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Jan 6, 2021
    Replying to @beniaminmincu and @rv_inc
    A pleasure to work with the dedicated and talented Elrond team! Combined with their deep understanding of programming languages, formal methods and semantics, we expect the Elrond ecosystem to soon have some of the best tools around for smart contract development and analysis.
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Aug 20, 2025
    New version of explorer deployed: * explorer.fastset.xyz Now it can keep up with the 100k tps almost is real time: * explorer.fastset.xyz/analytics Some of you may have noticed that it sometimes took 10-15 seconds to see your transactions in the explorer (if you sent them when the
    16K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Aug 15, 2024
    After founding Runtime Verification (@rv_inc) 14 years ago, the time has come for me to step down as CEO. While I will continue to advise RV, I will now focus the majority of my time and efforts building Pi Squared (@pisquared). I am pleased to announce the appointment of
    10K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Feb 17, 2019
    The new Haskell implementation of K just passed 70,000 LOC: github.com/kframework/kore. Cannot wait to get rid of the current slow and buggy Java implementation. Thanks @InputOutputHK for funding this monumental effort (more than 2000 commits and 20 contributors)!
    github.com
    GitHub - runtimeverification/haskell-backend: The symbolic execution engine powering the K Framework
    The symbolic execution engine powering the K Framework - runtimeverification/haskell-backend
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Feb 8, 2025
    This is one of the most inspiring papers I have read recently: arxiv.org/abs/2501.14931. To put it bluntly, it can lead to the end of blockchains as we know them today. It shows how we can still achieve all the benefits of blockchains, but dropping the tyranny of sequentiality
    arXiv logo
    arxiv.org
    Pod: An Optimal-Latency, Censorship-Free, and Accountable...
    This work addresses the inherent issues of high latency in blockchains and low scalability in traditional consensus protocols. We present pod, a novel notion of consensus whose first priority is...
    30K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Mar 14, 2024
    Who knows, knows. pi2.network
    16K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Jun 2, 2025
    Where will blockchain be in 2030? In the following @thefintechtimes piece, I explore how blockchains will have better longevity as modular, scalable layers that verify, rather than totally order, all activity. Attn: @linera_io @poddotnetwork @pisquared
    user avatar
    The Fintech Times
    @thefintechtimes
    May 31, 2025
    Will blockchain be the hottest topic in five years time once again? We hear from the industry on what it will take for this to happen. thefintechtimes.com/where-will-the…
    7.6K
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Jun 18, 2021
    0/ Runtime Verification (@rv_inc), which I founded in 2010, just completed its first ever capital raise! The investment round was led by @IOSGVC. Funds will be used to advance, automate and productize formal verification in the blockchain domain. runtimeverification.com/blog/runtime-v…
  • user avatar
    Grigore Rosu
    Fast
    @RosuGrigore
    Feb 3, 2025
    The Pi Squared whitepapers are out! pi2.network/papers. They explain our vision for Web3: universal, correct, and efficient. Plug-and-play your programming language or VM as a formal semantics, and automatically get fast execution and verifiable computing (ZK proofs) for
    user avatar
    Fast
    @fastxyz
    Feb 3, 2025
    🧵1/4 Today we introduce four Pi Squared technology white papers: 1. The Pi Squared White Paper <- start here We detail key breakthroughs our teams have made in semantics-based program execution and verifiable computing as well as our universal modular blockchain stack to
    14K