compact-core:compact-circuit-costs
OfficialOptimize Compact circuit costs and proofs.
Software Engineering#performance#zk#compact#compiler-optimization#gas-costs#circuit-costs#gate-count
Authordevrelaicom
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill documents and optimizes the three-dimensional cost model for Compact circuits, helping developers understand circuit/proving costs, runtime gas costs, and ledger state costs to build cost-efficient contracts.
Core Features & Use Cases
- Cost modeling: explains how loop unrolling, hash choices (transient vs persistent), and ledger interactions affect circuit size and proving time.
- Optimization guidance: provides practical strategies to minimize gate counts, reduce gas, and bound state growth.
- Use Case: when designing a new Compact contract, use this skill to forecast costs and identify hot paths that blow up proofs, then apply mitigations.
Quick Start
Input your Compact circuit and return cost estimates, optimization suggestions, and a plan to reduce proving time.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 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: compact-core:compact-circuit-costs Download link: https://github.com/devrelaicom/midnight-expert/archive/main.zip#compact-core-compact-circuit-costs 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.