Soteria auto-audit pilot program (premium version)
Soteria has recently launched a pilot program for customers to use a premium version of Soteria audit scanner.
If the premium Soteria Auto Auditor had chance to scan Wormhole bridge code, the attack would have been avoided.
The premium version is an under-development internal tool used by Soteria core team for in-house auditing. It uses advanced algorithms that are much more comprehensive and powerful than the free version, and also provides more production features such as UI reporting.
Importantly, the premium version covers a lot more vulnerabilities (25+ types of Solana-specific security vulnerabilities, including both (1) and (2) vulnerabilities in wormhole) compared to the publicly available free version.
The following shows the wormhole vulnerability (1) reported by the premium tool on the version (commit: 79ab522f) right before the fixes :
Soteria security and audit services
Soteria is founded by leading minds in the fields of blockchain security and software verification.
Soteria has recently launched a pilot program for customers to use an advanced version of Soteria audit scanner, which covers a lot more vulnerabilities.
We are also pleased to provide audit services to high-impact Dapps on Solana.