文件名称：cardano-ledger-specs：Shelley版本引入的账本规则的正式规范和可执行模型
文件大小：15.66MB
文件格式：ZIP
更新时间：2024-02-25 23:44:13
blockchain cryptocurrency ada cardano CryptocurrencyHaskell
卡尔达诺·莱杰 该存储库包含Cardano Ledger的正式规范，可执行模型和实现。 这些文档内置在我们的CI中，可以使用以下链接轻松访问： ：从多资产形式规范开始，将Plutus脚本添加到分类帐规则的形式数学规范。 ：雪莱时代分类帐规则中多资产附加形式的形式数学规范。 ：使用CBOR CDDL模式表示法的具有多个资产的分类帐的二进制格式。 ：Cardano Shelley的主要设计文档。 ：雪莱时代分类帐规则的正式数学规格。 ：使用CBOR CDDL模式表示法的Shelley分类帐的二进制格式。 ：有关Shelley规范中使用实数的部分的详细信息。 权益池排名：稳健