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
Project Samples
Categories
Smart ContractLicense
Apache License V2.0Follow Plutus
You Might Also Like
MongoDB Atlas runs apps anywhere
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Plutus!