Cardano Ledger WASI

Cardano Ledger WASI packages selected Cardano ledger operations as wasm32-wasi executables and browser artifacts. The project exists so tools can call the ledger code directly from WASI rather than reimplementing ledger semantics in JavaScript or PureScript.

Transaction Inspector

The transaction inspector is the first published workbench built on this layer. It accepts transaction CBOR, runs the Haskell ledger WASI module in the browser, and renders identity, witness planning, validation diagnostics, and a browsable transaction result.

Open the inspector

Repository Scope

• WASI builds for selected ledger executables.
• A browser workbench that embeds the WASI artifact.
• A functional operation contract with JSON control messages and CBOR data.
• Nix and CI workflows for reproducible builds, GitHub Pages, and downloadable artifacts.

Important Links

• Repository: lambdasistemi/cardano-ledger-inspector
• Inspector page: GitHub Pages inspector
• API definition: Functional API
• Swagger UI: OpenAPI reference
• CI artifacts: CI workflow runs
• Constitution: .specify/memory/constitution.md
• Functional API contract: specs/001-ledger-functional-layer/contracts/ledger-functional-api.md

Design Commitments

The ledger code is authoritative. UI and host code may choose which operation to run and how to present the result, but transaction interpretation belongs to the Haskell ledger layer.

Transaction CBOR is the durable data plane. JSON is the control and response language for operation requests because it is inspectable, easy to version, and friendly to browser tooling.