Pinned post
Nine months ago, we forked @toly's Percolator and started building what would become Colada.
Today, we're making our risk kernel open source so anyone can follow the work as it evolves.
The result is a new risk engine built to bring perps to markets that couldn't realistically exist before, from long-tail tokens to custom composite indices.
With Mimir, a fully onchain oracle, each market has its own isolated risk and exposure caps that adapt to actual liquidity depth and oracle confidence.
Critical safety invariants are backed by formal Kani proofs, with execution down to 45k CU to open a position and 65k CU to liquidate.
A complete trading terminal and native Solana Mobile app are also built, both undergoing private devnet testing.
The risk kernel is public today. Follow along as we build Colada.
github.com/QuantuLabs/col…
Today, we're making our risk kernel open source so anyone can follow the work as it evolves.
The result is a new risk engine built to bring perps to markets that couldn't realistically exist before, from long-tail tokens to custom composite indices.
With Mimir, a fully onchain oracle, each market has its own isolated risk and exposure caps that adapt to actual liquidity depth and oracle confidence.
Critical safety invariants are backed by formal Kani proofs, with execution down to 45k CU to open a position and 65k CU to liquidate.
A complete trading terminal and native Solana Mobile app are also built, both undergoing private devnet testing.
The risk kernel is public today. Follow along as we build Colada.
github.com/QuantuLabs/col…