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.