certified-variables
Pass
Audited by Gen Agent Trust Hub on Sep 16, 2026
Risk Level: SAFEINDIRECT_PROMPT_INJECTIONEXTERNAL_DOWNLOADS
Full Analysis
- [INDIRECT_PROMPT_INJECTION]: The skill demonstrates patterns for creating a certified key-value store that ingests untrusted data from external users, which could be used as a vector for indirect prompt injection if the stored data contains malicious instructions.
- Ingestion points: The
set(key, value),set_many(entries), andget(key)functions in the Rust and Motoko implementations accept user-supplied strings (SKILL.md). - Boundary markers: No explicit boundary markers or "ignore instructions" delimiters are used when processing or storing these strings.
- Capability inventory: The skill enables writing to the canister's certified state via
certified_data_setand serving that data back to users/agents in query calls. - Sanitization: The code snippets perform direct byte conversion of input strings without sanitizing for potentially malicious command or instruction sequences.
- [EXTERNAL_DOWNLOADS]: The documentation specifies several external dependencies required for implementation.
- Node.js packages: References
@icp-sdk/coreand@dfinity/certificate-verificationas frontend requirements. - Rust crates: Includes
ic-cdk,ic-certified-map, andic-http-certificationin theCargo.tomlexamples. - Motoko packages: References the
sha2andic-certificationpackages retrieved via themopspackage manager.
Audit Metadata