Certora is joining the Solana Foundation Delegation Program (SFDP) with the launch of a Jito-Solana validator, reinforcing its long-standing work securing the Solana ecosystem. This step enables Certora to contribute directly to the network’s decentralization, resilience, and long-term operational security.

For several years, Certora has collaborated with many of Solana’s core protocols to improve their adversarial robustness. Participating in the Delegation Program extends that work to the infrastructure layer, applying high-assurance operational standards to one of Solana’s most critical components: validator performance and reliability.

Why Certora Is Participating in the Delegation Program

Future economic systems—those that will ultimately manage trillions in value—require security guarantees that extend beyond traditional models. Decentralized networks must resist operational failure, correlated downtime, and centralization pressure.

The Solana Foundation Delegation Program is designed to strengthen these properties by supporting high-quality, independent validators. Operating a validator aligns with Certora’s focus on adversarial resilience and allows direct contribution to network reliability, fault tolerance, and decentralization.

The validator is operated according to the same rigorous standards Certora applies when securing protocols such as Jito, Aave, Lido, Polygon, Irys, and others. These standards emphasize monitoring, operational readiness, adversarial thinking, and minimizing systemic risk.

A Mission-Aligned Initiative

“Our participation in the Solana Foundation Delegation Program is a logical extension of our mission to bring resilience and safety to web3,” said Seth Hallem, CEO of Certora.

“We are deploying our security-first operational expertise to fortify Solana’s infrastructure, following the same best practices we recommend to our clients through our opsec services. By running a high-assurance validator, Certora is actively supporting the Solana Foundation’s mission to improve the decentralization, adoption, and security of the Solana ecosystem.”

Ecosystem Alignment and Industry Validation

Certora’s participation builds on several years of contributions to the ecosystem. The company has supported critical Solana-native teams including Jito, Squads, Jupiter Lend, Manifest, and others, helping them strengthen protocol security and reduce operational risk.

Brian Smith, Founder of Jito, commented: “Certora has been key in securing the Jito protocol, so we have direct experience with the rigorous quality and dedication they apply to their work. We welcome their decision to further engage with the Solana network by launching a Jito-Solana validator through the Delegation Program. Their presence as a reliable operator is a valuable addition that contributes to the overall stability and decentralized health of the Solana ecosystem.”

Certora’s mainnet and testnet validators are deployed on Latitude.sh bare metal hosts with high performance connectivity to the major hubs of the Solana network. “Our team conducted extensive testing for performance and connectivity, and based on that work we have selected Latitude data centers in Amsterdam for mainnet and Chicago for testnet,” according to Elad Erdheim, Certora’s Vice President of the Security Labs. “Our team thoroughly researched the best practices to select the right hardware and software for deployment and monitoring, and our team is on-call 24/7 to ensure the on-going operation of our validators.” Further details about the performance of the Certora validator are available here.

Strengthening the Foundation for Solana’s Future

By joining the Solana Foundation Delegation Program, Certora expands its role from securing protocols to supporting the operational infrastructure that underpins the network. This participation reflects the growing importance of validator resilience as Solana continues to scale and as decentralized systems take on increasingly critical roles.

Ready to Secure your Next Launch?

Certora is the security assurance partner trusted by the most advanced teams in Web3. Founded in 2018 by pioneers in programming languages and formal methods, Certora helps leading protocols secure billions in TVL with confidence.

Let’s talk! Contact us here.