compact-core:compact-transaction-model
OfficialUnderstand Midnight's transaction semantics and guarantees.
Software Engineering#transaction#midnight#zswap#compact-circuits#kernel.checkpoint#guaranteed-phase#fallible-phase
Authordevrelaicom
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Clarifies how Midnight's three-stage transaction execution maps Compact circuits to on-chain results, helping developers design robust contracts that correctly employ well-formedness, guaranteed, and fallible phases, including checkpoint semantics and fee implications.
Core Features & Use Cases
- Explain the three-stage lifecycle (well-formedness, guaranteed phase, fallible phase) and how kernel.checkpoint() defines phase boundaries.
- Describe transaction composition, merging for atomic swaps, and contract deployments within the fallible phase.
- Provide guidance on state conflicts, gas accounting, and Zswap transcript binding to ensure consistency.
Quick Start
Review the provided example circuits and implement a small sample with kernel.checkpoint() to observe guaranteed and fallible phase separation.
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-transaction-model Download link: https://github.com/devrelaicom/midnight-expert/archive/main.zip#compact-core-compact-transaction-model 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.