Smart contracts are self-executing contracts with the terms of the agreement directly written into lines of code. They facilitate, verify, and enforce the negotiation or performance of a contract, making transactions traceable, transparent, and irreversible.