Serokell has built and audited blockchain systems since 2015, from the original Cardano node to the Solana programs of 1inch.
For us they went through all 3 on-chain programs end to end:
⚪️architecture review
⚪️2 independent line-by-line reviews
⚪️static analysis and dependency audit
⚪️stateful fuzzing
⚪️runnable exploit PoCs
48 findings came back, 0 of them critical, and every one is now resolved.
Both reports are public, every finding listed👉Audit Report
App | X | Telegram | Chat | Docs