セキュリティ監査せきゅりてぃかんさ

スマートコントラクトの脆弱性を専門チームが調査すること。CertiK、OpenZeppelinなどが有名。