> For the complete documentation index, see [llms.txt](https://docs.re.al/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.re.al/build-on-re.al/smart-contracts.md).

# Smart Contracts

<table data-card-size="large" data-view="cards"><thead><tr><th></th><th></th></tr></thead><tbody><tr><td><a href="/build-on-re.al/smart-contracts/write-a-contract.md"><strong>Write a Contract</strong></a></td><td>This document explains how to automatically write any smart contract.</td></tr><tr><td><a href="/build-on-re.al/smart-contracts/deploy-using-hardhat.md"><strong>Deploy Using Hardhat</strong></a></td><td>In this tutorial, we will be using Hardhat to deploy a simple smart contract to the Custom Rollup Testnet.</td></tr><tr><td><a href="/build-on-re.al/smart-contracts/verify-contracts.md"><strong>Verify Contracts</strong></a></td><td>There are several ways to verify a contract, programmatically or manually on the UI.</td></tr></tbody></table>