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.
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.
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 ↓
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
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 ↓
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.
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
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
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)!
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
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
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…
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…
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
🧵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