# Smart Contracts

### Smart Contracts in General[​](https://docs.casper.network/concepts/smart-contracts/#smart-contracts-in-general) <a href="#smart-contracts-in-general" id="smart-contracts-in-general"></a>

A smart contract is a self-executing program that automates the actions required in a digital agreement. Once completed, the transactions are trackable and irreversible. Smart contracts permit trusted transactions and agreements among disparate, anonymous parties without the need for a central authority, legal system, or external enforcement mechanism.

### Girrona Smart Contracts[​](https://docs.casper.network/concepts/smart-contracts/#casper-smart-contracts) <a href="#casper-smart-contracts" id="casper-smart-contracts"></a>

Girrona smart contracts can be implemented in any programming language that compiles to Wasm, which can be installed and executed on-chain using Deploys. Most documentation examples and the Girrona system contracts are written in Rust.