Cardano Smart Contracts
Scalus enables you to build type-safe, debuggable smart contracts for Cardano using Scala. Write validators in familiar Scala syntax, test them with standard tooling, and compile directly to Plutus Core bytecode.
This section covers everything from writing your first validator to advanced optimization techniques for production-ready contracts.
Getting Started
- Developing Smart Contracts - Write your first Cardano validator step-by-step. Learn about spending validators, datums, redeemers, and how to test your contracts.
Core Concepts
- Validators in Depth - Understand different validator types (spending, minting, rewarding, certifying) and how they work on Cardano.
- FromData Derivation - Automatic conversion between Scala types and Plutus Data for type-safe datum and redeemer handling.
Development Workflow
- Testing - Property-based testing with ScalaCheck, using the
ScalusTesttrait, and creating robust test scenarios. - Debugging - Debug validators as regular Scala code using your IDE’s debugger, breakpoints, and logging.
- Compiling - Transform Scala validators into Plutus scripts, generate contract blueprints, and handle parameterized validators.
Advanced Topics
- Advanced Optimisations - Macros, direct Script Context access, SIR debugging, and UPLC optimisations to reduce script size and execution costs.
Last updated on