This repository contains the formal specifications, executable models, and implementations of the Cardano Ledger. The documents are built in our CI and can be readily accessed using the following links:

Available Documents

• Byron:
  • Chain Spec
  • Ledger Spec
  • CDDL
• Shelley:
  • Design
  • Spec
• Conway:
  • CIP-1694
  • Spec (WIP)

Repository Structure

The directory structure of this repository is as follows:

• Byron
• Shelley
• Allegra
• Mary
• Alonzo
• Babbage
• Conway
• Libraries

Building the Cardano Ledger

It is recommended to use nix for building everything in this repository. Haskell files can be built with cabal inside of a nix shell.

Setting Up Nix Cache

To optimize build times, setting up a Nix cache is advisable. Here’s how you can do it:

• For NixOS, add this snippet to your <code>etc/nixos/configuration.nix</code> file:

  nix.settings = 
    experimental-features = [ nix-command flakes ];  
    substituters = [ https://cache.nixos.org https://cache.iog.io ];  
    trusted-public-keys = [ hydra.iohk.io:fEa+s+dFdN+3YG+FDgSq+a5NEWhJGzdjvKNGv0EQ= ];

Common Building Instructions

• To build everything, run: shell nix build .#specs
• To build individual LaTeX documents, navigate to the directory and run: shell cd myLaTeXDir; nix develop --command make

Testing the Cardano Ledger

To ensure everything works correctly, run:

• cabal test all to execute all tests or
• cabal test package for specific package tests.

Troubleshooting

If you encounter issues while building or running the Cardano Ledger, consider the following troubleshooting tips:

• Check your Nix installation and ensure all dependencies are met.
• Verify that you are using the correct version of cabal.
• Confirm that your network connection is stable to access required resources.

For more insights, updates, or to collaborate on AI development projects, stay connected with fxis.ai.

Conclusion

At fxis.ai, we believe that such advancements are crucial for the future of AI, as they enable more comprehensive and effective solutions. Our team is continually exploring new methodologies to push the envelope in artificial intelligence, ensuring that our clients benefit from the latest technological innovations.