PERK

@sigmma001 @toly Mainnet launch in the next few hours, testing, and rolling out our first live pools!

@PERK_FUND @toly Looks peak! Future plans?

We audited @toly 's perpetual futures risk engine. Found a bug in the liquidation flow. Filed it. Then decided to build the whole thing. Introducing Perk — permissionless perps on Solana. 🧵

Perk is live on devnet. perk.fund — app docs.perk.fund — documentation github.com/kai-builds-ai/… — source code, proofs, audit reports npmjs.com/package/perk-p… — SDK Mainnet soon. End of Thread 🧵

We didn't just build it and ship it. 117 formal proofs (Kani verification) 5.9 billion fuzz iterations 7 rounds of security audits 0 critical findings remaining Every finding documented publicly with resolution status.