Compact compiler

Compact is Midnight's dedicated smart contract programming language, designed for building secure, efficient, and adaptable decentralized applications.

Compact compiler translates Compact smart contract code into executable bytecode and proof-generating circuits.

Link to related documentation

Version

Status

Release 0.22.0TESTNET

Compact language 0.14.0

12 March 2025

Artifacts

Compiler Linux
Compiler macOS

Summary

Fix for an issue in ZK proofs for Uint circuit parameters.
Fix for an issue preventing coin insertion into ledger ADTs.
Fix for a crash when compiling insert_index_default for MerkleTree.
Fix for a crash when compiling insert_default for some Maps.
Fix for a crash when type checking incorrect programs.
Fix for a rare crash when reading the input file.