Profile My skills Saved Collections Edit profile Submit a skill

Cairo Arithmetic Circuits

Explain Cairo arithmetic circuits using core::circuit, gates, CircuitElement, and evaluation; use when a request involves building or evaluating arithmetic circuits in Cairo.

teddyjfpender 72cbc81 2 files · 1.7 KB Updated
Coding & Dev Tools

File contents

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?"

teddyjfpender/skill-issues/tree/main/skills/cairo-arithmetic-circuits commit 72cbc81502

Browse category

Frequently asked questions

npx skillmds@latest add teddyjfpender/cairo-arithmetic-circuits