Cairo Oracles

Explain Cairo oracles for offloading computation in executables, oracle::invoke, and constraints for soundness; use when a request involves experimental oracles or external computation in Cairo.

teddyjfpender 28d33eb 2 files · 1.6 KB Updated

File contents

Cairo Oracles

Overview

Explain how to offload computations to external oracles in Cairo executables and constrain results.

Quick Use

  • Read references/oracles.md before answering.
  • Emphasize oracles are experimental and not available in Starknet contracts.
  • Always show constraints that validate oracle outputs.

Response Checklist

  • Use oracle::invoke(connection, selector, inputs) returning oracle::Result<T>.
  • Connection strings typically use stdio: to spawn a process.
  • Assert constraints immediately after oracle calls.
  • Run executables with scarb execute --experimental-oracles.

Example Requests

  • "How do I call an oracle from Cairo?"
  • "Why must I validate oracle outputs?"
  • "Can oracles be used in Starknet contracts?"

teddyjfpender/skill-issues/tree/main/skills/cairo-oracles commit 28d33eb54f

Frequently asked questions

npx skillmds@latest add teddyjfpender/cairo-oracles