> Initializing AVM Opcode Scan...
+> ec_pairing_check: [VERIFIED]
+> ec_add: [VERIFIED]
+> ec_scalar_mul: [VERIFIED]
+> Auditing Smart Signature 'Bazaar_Main_v1.0'...
+> Reentrancy Guard: ACTIVE
+> Overflow Protection: AVM NATIVE
+> BN254 Curve Verification Key: 0x82...F91A
+> Scan complete. 0 vulnerabilities found.
+