compact-core:ledger-adts

Standard ledger ADTs for Midnight on-chain state management include Cell<T>, Counter, Map<K, V>, Set<T>, List<T>, MerkleTree<T>, and HistoricMerkleTree<T>. These structures provide standardized options for declaring and interacting with contract state.

You can declare a Map or Counter on-chain state in Compact by utilizing standard ledger ADTs, then executing basic operations to observe state changes. Practical examples demonstrate interoperability between Compact and TypeScript for real-world contract scenarios.

Use MerkleTree for standard on-chain state verification and HistoricMerkleTree when your contract requires tracking previous state versions. Both are provided as ledger ADTs to ensure secure and efficient on-chain state management.

Yes, ledger ADTs support interoperability between Compact and TypeScript. The reference provides operating patterns and practical examples to ensure safe integration of TypeScript interplay within production contracts.

Best practices for secure on-chain state management involve enforcing clear ledger ADT declarations, following Compact versus TypeScript usage guidelines, and applying standard design considerations for safe integration into production contracts.

No external dependencies are required to work with Midnight ledger ADTs. The reference provides authoritative guidance and usage patterns for implementing Cell, Counter, Map, Set, List, and MerkleTree structures directly.