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 circuitadd and circuitmul.
• Mention the u384 limb type and modulus selection.

Response Checklist

• Use CircuitElement<T> and CircuitInput<N> for inputs.
• Combine gates with circuitadd, circuitsub, circuitmul, circuitinverse.
• 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?"
• "What are AddMod/MulMod gates used for?"
• "How do I evaluate a circuit with a modulus?"