卡尔达诺·莱杰 该存储库包含Cardano Ledger的正式规范，可执行模型和实现。 这些文档内置在我们的CI中，可以使用以下链接轻松访问： ：从多资产形式规范开始，将Plutus脚本添加到分类帐规则的形式数学规范。 ：雪莱时代分类帐规则中多资产附加形式的形式数学规范。 ：使用CBOR CDDL模式表示法的具有多个资产的分类帐的二进制格式。 ：Cardano Shelley的主要设计文档。 ：雪莱时代分类帐规则的正式数学规格。 ：使用CBOR CDDL模式表示法的Shell