Title:

HaskLedger: A Phased Architecture for Cardano-Compatible Off-Chain/Sidechain Computation

Abstract

HaskLedger is an embedded domain-specific language (EDSL) in Haskell with a modular runtime for Cardano-compatible applications. Contracts that require on-chain validation are compiled to Plutus Core, while high-throughput logic executes off-chain or on sidechains via reproducible Linux worker images. This document presents the overall system design (generic and vendor-neutral) and distinguishes a short-term implementation track from long-term evolution. It clarifies architecture, compatibility, performance strategy and operational concerns. The design assumes a pragmatic toolchain on x86_64/aarch64 and validates riscv64 via emulation; physical RISC-V boards are optional for future validation. It informs layering and reproducibility; embedded-device SDKs such as MLabs’ Embedano are acknowledged as optional references, not dependencies.

Keywords: Cardano, Plutus Core, Haskell, EDSL, sidechains, off-chain compute, reproducible builds, RISC-V, Rust FFI

Front-Page Facts

Introduction

Problem Statement

Proposed Solution

System architecture (end-to-end)

Worker actor pipeline (with sharding & back-pressure)

Full Implementation

Competitive & Related Work

Phasing (short-term vs long-term)

Reproducibility, Security and Ops

Future-proofing & governance hooks

Glossary

Conclusion