AgentSkillsCN

cairo-arithmetic-circuits

当请求涉及在 Cairo 中构建或评估算术电路时，使用 core::circuit、gates、CircuitElement 以及 evaluation 等核心概念进行讲解。

SKILL.md
--- frontmatter
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?"