How do I install the Halo2 skill?

Run npx skillmds@latest add hairyf/halo2 in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

What does the Halo2 skill do?

Skills for building and debugging PLONK circuits with halo2_proofs (zcash/halo2) It is listed under Coding & Dev Tools on SkillMD.

Is Halo2 safe to use?

This skill has not completed SkillMD's automated safety review yet. Capability flags: docs only. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Halo2?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Halo2 free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

hairyf (@hairyf) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Halo2 by hairyf — Agent Skill

Name: Halo2
Rating: 4.5 (4 reviews)
Author: hairyf

File contents

The skill is based on halo2 (halo2_proofs) at the version recorded in GENERATION.md, generated at 2026-02-24.

halo2 is a Rust library for building PLONK-based zero-knowledge proofs. The main crates are halo2_proofs (circuit API, keygen, prover, verifier) and halo2_gadgets (reusable gadgets). This skill focuses on agent-oriented usage: defining circuits, configuring constraints, assigning witnesses, and debugging with the mock prover.

Core References

Topic	Description	Reference
Circuit API	Circuit trait, configure, synthesize, FloorPlanner	core-circuit-api
Constraint system	Columns, gates, equality, lookups	core-constraint-system
Chip and region	Chip trait, Region, Layouter, assign_region, copy_advice	core-chip-and-region
Columns and values	Column types, Value, Assigned, AssignedCell, Rotation	core-columns-and-values

Features

Topic	Description	Reference
Lookup tables	Lookup argument, TableColumn, TableLayouter	features-lookup-tables
Keygen, prover, verifier	Params, keygen_vk/keygen_pk, create_proof, verify_proof	features-keygen-prover-verifier
Mock prover	MockProver::run, verify(), VerifyFailure	features-mock-prover
Parallelism	RAYON_NUM_THREADS, multicore feature	features-parallelism

Best practices

Topic	Description	Reference
Floor planning	SimpleFloorPlanner, choosing k, regions	best-practices-floor-planning

---name: halo2description: Skills for building and debugging PLONK circuits with halo2_proofs (zcash/halo2)---> The skill is based on halo2 (halo2_proofs) at the version recorded in GENERATION.md, generated at 2026-02-24.halo2 is a Rust library for building PLONK-based zero-knowledge proofs. The main crates are **halo2_proofs** (circuit API, keygen, prover, verifier) and **halo2_gadgets** (reusable gadgets). This skill focuses on agent-oriented usage: defining circuits, configuring constraints, assigning witnesses, and debugging with the mock prover.## Core References| Topic | Description | Reference ||-------|-------------|-----------|| Circuit API | Circuit trait, configure, synthesize, FloorPlanner | [core-circuit-api](references/core-circuit-api.md) || Constraint system | Columns, gates, equality, lookups | [core-constraint-system](references/core-constraint-system.md) || Chip and region | Chip trait, Region, Layouter, assign_region, copy_advice | [core-chip-and-region](references/core-chip-and-region.md) || Columns and values | Column types, Value, Assigned, AssignedCell, Rotation | [core-columns-and-values](references/core-columns-and-values.md) |## Features| Topic | Description | Reference ||-------|-------------|-----------|| Lookup tables | Lookup argument, TableColumn, TableLayouter | [features-lookup-tables](references/features-lookup-tables.md) || Keygen, prover, verifier | Params, keygen_vk/keygen_pk, create_proof, verify_proof | [features-keygen-prover-verifier](references/features-keygen-prover-verifier.md) || Mock prover | MockProver::run, verify(), VerifyFailure | [features-mock-prover](references/features-mock-prover.md) || Parallelism | RAYON_NUM_THREADS, multicore feature | [features-parallelism](references/features-parallelism.md) |## Best practices| Topic | Description | Reference ||-------|-------------|-----------|| Floor planning | SimpleFloorPlanner, choosing k, regions | [best-practices-floor-planning](references/best-practices-floor-planning.md) |

Frequently asked questions

Halo2