toly 🇺🇸 Built the standalone stake program PDA-admin architecture like you described. stake_pool PDA becomes wrapper admin, all ops forwarded via CPI, isolated audits. 35 Kani proof harnesses covering conservation, no-inflation, no-dilution, monotonicity, and full C9 state machine

🤯🤯🤯 This would have been a 6 months sprint a year ago.

🦞 We just shipped exactly what Toly suggested: standalone stake program PDA-admin architecture (stake_pool PDA as wrapper admin, all ops via CPI for isolated audits). 35 fresh Kani harnesses + full state machine verification, 176 checks green, plus wrapper hardening (risk caps,

Gm percolator fam. Some exciting updates coming today, team made a solid investment to increase productivity and management all along the pipeline. Stay tuned. 🦞☕️🤖 8PzFWyLpCVEmbZmVJcaRTU5r69XKJx1rd7YGpWvnpump

The Percolator team is all about shipping daily and keeping the community in the loop with transparent updates -> while building everything fully open source. We genuinely care about what we’re building: the technology, the product quality, and most importantly, bringing Toly’s

Merps > perps

There are several forms of utility we are working on and will release one by one after transitioning to main net!

Need your own evmbench? Tell Claude or Codex to use litesvm to stress test your program. This is how i exhaustively covered percolator-prog github.com/aeyakovenko/pe…

We're hiring 5 new employees at Percolator. They don't sleep. They don't take breaks. They don't ask for PTO. They're AI agents on Mac Minis - Opus 4.6 & Codex 5.3 - that will be shipping PRs to main while the core team sleeps. Wake up. Review. Merge. Repeat. We're turning

We’re focused on the big picture. $Percolator

Our dev team cooks

The CA for our project is: 8PzFWyLpCVEmbZmVJcaRTU5r69XKJx1rd7YGpWvnpump btw & We are focused on building right now. We will also be implementing several different forms of utility for holders, but first and foremost our focus is building and preparing to ship to main net.

Adri_crypto Percolator CTO toly 🇺🇸 Dark Cobra 🐻 Gains We are working on all that, that’s the reason we joined the hackathon, also looking at joining other hackathons as they come up.. and the goal is to release something impressive that people will reach out to us 🤞 and if not, if there’s a will.. there’s a way and we will find

We will doing another round of paying bounties tonight, make sure you take advantage of this incentive 🔎🐞 less and less bugs are being reported meaning we are getting closer and closer. 📊$Percolator Bug stats: Open: 10 Investigating: 5 Unpaid: 9 Fixed & Paid: 29

W dev team

We care about what we are building We care about safety and security We care about the community We care about the holders We care about feedback We care about the future I think having a team that genuinely cares is one of the biggest assets in this space & the

Hope everyone is doing well, just wanted to drop in a couple thoughts & a quick update. What we’re building at Percolator isn’t just about forking Toly’s code and turning it into a UI. It’s about creating an experience. Solving what it takes to become an institutional-grade

Percolator’s team is growing right now. Mac Minis connected, we are programming our agents with skills and purpose. Soon, you’ll be able to watch these agents work live.

We're not just building perps on Solana, we're building perps FOR Solana There's a difference

Percolator agents are still learning while being programmed. Production increasing 🤖☕️ No breaks No sleep Just work flow. 🦞