Explain Cairo arithmetic circuits using core::circuit, gates, CircuitElement, and evaluation; use when a request involves building or evaluating arithmetic circuits in Cairo.
Installs into .claude/skills of the current project.
Are you the author of Cairo Arithmetic Circuits?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/david-li0406-cairo-arithmetic-circuits)
---
name: cairo-arithmetic-circuits
description: Explain Cairo arithmetic circuits using core::circuit, gates, CircuitElement, and evaluation; use when a request involves building or evaluating arithmetic circuits in Cairo.
---
# 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?"
- "What are AddMod/MulMod gates used for?"
- "How do I evaluate a circuit with a modulus?"
