plutus

We have hosted the application plutus in order to run this application in our online workstations with Wine or directly.

Quick description about plutus:

Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal verification and functional programming paradigms.

Features:

• Embedded Haskell DSL (Plutus Tx) for contract logic
• Plutus Core for on-chain code representation
• Off-chain infrastructure for contract execution
• Formal verification and type safety
• Integration with Cardano node and wallet
• Simulator and test environments for development

Programming Language: Haskell.
Categories: