One of the biggest problems with traditional blockchains is that every validator has to independently re-execute and verify all computations. While this improves security, it significantly limits performance and scalability.
To solve this issue,
@RialoHQ aims to introduce Proof-Carrying Computation (PCC).
The idea is that the blockchain no longer needs to execute code itself instead, it verifies a cryptographic proof showing that the computation was executed correctly. The actual execution happens offchain inside a zkVM.
This becomes possible thanks to the use of RISC-V -an open processor architecture standard. Since many modern zkVMs already rely on RISC-V, Rialo can verify proofs natively without needing to emulate foreign virtual machines or translate execution between different systems.
For users, this means greater privacy. For example, it becomes possible to prove that certain conditions were satisfied without revealing the underlying data itself.
For developers, it unlocks the ability to run complex computations without placing massive load on the blockchain. Games, simulations, AI agents, and high-frequency trading systems can execute offchain, while only proofs and finalized results are settled onchain.
Rialo is not trying to become just another zk project. The team aims to build a verification and settlement layer for proof-based computation, separating heavy execution work from the blockchain’s core responsibility - security and finality.