Explain Cairo arithmetic circuits using core::circuit, gates, CircuitElement, and evaluation; use when a request involves building or evaluating arithmetic circuits in Cairo.
SKILL.md
Cairo Arithmetic Circuits
Overview
Guide building and evaluating arithmetic circuits using Cairo's core circuit module.
Quick Use
Read references/arithmetic-circuits.md before answering.
Use a small example like a * (a + b) with circuit_add and circuit_mul.
Mention the u384 limb type and modulus selection.
Response Checklist
Use CircuitElement<T> and CircuitInput<N> for inputs.
Combine gates with circuit_add, circuit_sub, circuit_mul, circuit_inverse.
Build outputs as a tuple of circuit elements.
Provide witnesses via CircuitInputs and evaluate with a CircuitModulus.
Example Requests
"How do I build a simple arithmetic circuit in Cairo?"
