CertoraInc Collaborates With Solana Foundation To Formally Verify Solana Token Extensions

Source: https://x.com/CertoraInc/status/1823774165280956445

1/3 We’re proud to be working with the @SolanaFndn to formally verify token extensions on Solana 🤝

We uncovered optimization opportunities leading to up to a 20% performance increase and revealed inconsistencies that other auditors missed 🕵️‍♂️

https://certora.com/blog/token-extensions-audit

https://preview.redd.it/8bqe8yr0mtid1.png?width=602&format=png&auto=webp&s=1ef5c5c66f65aa024a947fdb91a32f67257df8f6

2 / 3

Formal verification is a powerful tool for program and smart contract security on Solana and EVM chains, catching edge cases that other audits might miss and squashing issues before they get deployed into production 💥🐛

​

3 / 3 Want to learn more about how we can help secure your project? 🤔

1 Join our Discord:

https://discord.gg/certora

2 Read our intro series on formal verification on Solana:

https://certora.com/blog/sol-formal-verification

3 Get your FREE Prover key: https://www.certora.com/signup

https://preview.redd.it/4c2nbc36mtid1.png?width=550&format=png&auto=webp&s=a8424d9824943122e8c549617ffb370387e03bec