CertiK Audits Terra’s New CosmWasm Smart Contract Solution

CertiK's audit of Terra's CosmWasm smart contract platform concluded with no major or critical issues; the report details the audit scope and methodology (language-specific reviews in Go and Rust, Cosmos SDK and wasm analysis, fuzzing, and unit testing), and issues only minor informational recommendations—mainly around pointer usage—while commending the project's implementation and testing quality.