midnight-verify:verify-by-zkir-inspection
OfficialInspect compiled circuits via ZKIR outputs.
Authordevrelaicom
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill helps verify claims about compiled circuit structure by generating and inspecting a ZKIR representation from a Compact contract. It focuses on extracting the .zkir JSON, analyzing instruction streams, and ensuring reported properties align with the compiler output.
Core Features & Use Cases
- Inspect compiled circuits to verify opcode counts and data-flow structures.
- Compare claims across full vs. skip-zk builds to validate consistency.
- Useful for developers and auditors validating compiler behavior and circuit layouts.
Quick Start
Create a minimal Compact contract, run a full or skip-zk compilation, and run the ZKIR inspection to generate a report.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: midnight-verify:verify-by-zkir-inspection Download link: https://github.com/devrelaicom/midnight-expert/archive/main.zip#midnight-verify-verify-by-zkir-inspection Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.