Смарт-контракты

Программы на блокчейне автоматически исполняющие условия соглашения (код = закон, Code is Law): концепция — Ник Сабо (Nick Szabo, 1994, "умные контракты как торговый автомат"), реализация — Ethereum (Solidity язык). Примеры: DeFi lending (Aave — займы под залог, ликвидация если collateral <threshold), DEX (Uniswap — автоматический market maker, AMM, формула x·y=k), NFT (ERC-721 — подтверждение владения цифровым активом). Преимущества: trustless (не нужно доверять посреднику), immutable (код нельзя изменить после деплоя), прозрачность (audit кода публичен). Риски: bugs = потери (The DAO hack 2016, $60 млн украдено), gas wars (конкуренция за выполнение), фронтраннинг (боты видят транзакции в mempool и опережают). Аудит: фирмы типа Trail of Bits, OpenZeppelin проверяют код перед запуском