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.