Percolator's banner
Percolator's profile picture

Percolator

@PercolatorTrade6,861 subscribers

Permissionless perp futures on Solana, for any token with a DEX pool. Built on @toly's open-source engine

Shorts

Percolator's risk engine is formally verified with Kani, the same class of method NASA uses on flight software. toly 🇺🇸 built and verified it. Percolator helped. Here's what that means, and why "verified" alone is a weak flex 🧵

Percolator's risk engine is formally verified with Kani, the same class of method NASA uses on flight software. toly 🇺🇸 built and verified it. Percolator helped. Here's what that means, and why "verified" alone is a weak flex 🧵

37,809 Aufrufe

Our community hasn't just been stress testing Devnet -> they've been finding bugs, flagging edge cases, and making real contributions to the Percolator risk engine. That feedback loop is why we ship better. And while all of this is happening -> we've been quietly testing Mainnet flows. Toly built the Percolator risk engine. We're building the infrastructure on Solana that brings it to life. First look at the Mainnet trade UI 👇

Our community hasn't just been stress testing Devnet -> they've been finding bugs, flagging edge cases, and making real contributions to the Percolator risk engine. That feedback loop is why we ship better. And while all of this is happening -> we've been quietly testing Mainnet flows. Toly built the Percolator risk engine. We're building the infrastructure on Solana that brings it to life. First look at the Mainnet trade UI 👇

43,471 Aufrufe

Videos

Keine weiteren Inhalte verfügbar