compact-core:compact-structure

What problem does it solve?

Helps developers write, structure, and review Compact smart contracts for the Midnight blockchain by codifying contract anatomy, pragma and import usage, ledger and witness declarations, constructors, circuits, and disclosure rules so contracts compile and integrate with ZK proving and off-chain provers.

Core Features & Use Cases

• Contract Scaffolding: Clear ordering and examples for pragma, imports, custom types, ledger declarations (including sealed ledgers), witness declarations, constructors, helper circuits, and exported circuits.
• Type and ADT Guidance: Explanations for primitives, collections, enums, structs, counters, maps, sets, lists, Merkle trees, and casting rules to prevent common type errors.
• Safety & Patterns: Disclosure rules, common mistakes, commit-reveal, Merkle membership, authentication patterns, and guidance for pure circuits to meet ZK-proof and compilation constraints.

Quick Start

Ask the skill to scaffold a Compact contract with pragma, imports, ledger and witness declarations, a constructor, helper circuits, and exported transaction circuits.