Co jsou chytré smlouvy
Chytrá smlouva (anglicky smart contract) je samostatný program, který běží na decentralizované distribuované účetní knize známé jako blockchain. Po splnění přesně definovaných podmínek automaticky provádí nevratné operace, jako například převod digitálních aktiv, změnu stavu aplikace či vyvolání specifických událostí. Mezi základní vlastnosti chytrých smluv patří determinismus, transparentnost, auditovatelnost a vysoká odolnost vůči cenzuře.
Díky nasazení do decentralizované sítě jsou smart kontrakty prováděny nezávislými uzly, což minimalizuje potřebu centrální autority nebo zprostředkovatele, a tím zvyšuje důvěryhodnost a integritu vykonávání kontraktů.
Základní principy chytrých smluv: stav, kód a transakce
Chytrá smlouva kombinuje dvě základní komponenty: kód – tedy definované funkce, a stav – což jsou data uložená v blockchainu, která reflektují aktuální informace o smlouvě. Volání veřejných funkcí probíhá prostřednictvím transakcí, které uživatelé nebo jiné smlouvy zasílají do sítě.
Tyto transakce validují uzly sítě, vykonávají příslušný kód v bezpečném a izolovaném virtuálním prostředí a v případě úspěchu aktualizují globální stav smlouvy. Výsledek těchto operací je následně zapečetěn do bloku, který je replikován mezi všechny účastníky sítě.
Modely blockchainu: účtový versus UTXO model
- Účtový model (account-based): Tento model například používá Ethereum. Každý účet, ať už jde o externě vlastněný účet nebo kontrakt, má svůj aktuální zůstatek a tzv. nonce (číselný pořadový ukazatel transakcí). Stav je explicitně adresován a volání funkcí probíhá zpravidla sekvenčně, což usnadňuje správu a sledování stavu.
- UTXO model: Tento model je základem Bitcoinu a rozšiřuje jej platformy jako Cardano. Stav je reprezentován pomocí nepoužitých transakčních výstupů (Unspent Transaction Outputs), což komplikuje správu a obecné uložení stavu, avšak výrazně zvyšuje paralelizaci a auditovatelnost transakcí.
Virtuální stroje a běhová prostředí pro smart kontrakty
- Ethereum Virtual Machine (EVM): Stackový virtuální stroj s instrukční sadou optimalizovanou pro manipulaci s 256bitovými slovy. Kód je zkompilován do bytekódu a vykonává se deterministicky. EVM nabízí úložiště (storage), paměť a logování událostí (eventy).
- WebAssembly (WASM): Moderní běhové prostředí podporované například platformami Polkadot a NEAR. Umožňuje kompilaci z jazyků jako Rust, AssemblyScript nebo C/C++ a nabízí větší možnosti optimalizace výkonu a začleňování formálních metod ověřování.
Programovací jazyky a vývojové nástroje
- Solidity a Vyper jsou primární jazyky pro vývoj kontraktů na EVM, syntakticky blízké JavaScriptu a Pythonu, s vestavěnými konstruktory pro řízení přístupů, událostí a speciálních fallback funkcí.
- Rust je dominantní volbou pro vývoj na platformách používajících WASM, jako jsou Solana, CosmWasm a další.
- Toolchain: populární nástroje jako Hardhat a Foundry poslouží pro kompilaci, testování, deployment, fuzzing a optimalizaci spotřeby gasu. Truffle a Embark představují alternativní rámce s bohatým ekosystémem doplňků.
Životní cyklus chytré smlouvy
- Specifikace: Definování datového stavu, veřejného rozhraní (ABI), přístupových oprávnění a invariancí.
- Implementace: Vývoj samotného kódu využívající knihovny a zavedené standardy (např. ERC-20 a ERC-721).
- Testování: Pokrývá jednotkové a integrační testy, simulace možných útoků, property-based testování a fuzzing pro odhalování neočekávaných chyb.
- Audit: Bezpečnostní revize interní i externí, vč. formální verifikace kritických částí kódu.
- Nasazení: Publikace bytekódu na blockchain, ověření zdrojových kódů na průzkumnících jako Etherscan a zveřejnění adresy kontraktu.
- Provoz a správa: Monitorování aktivit, strategie upgradu (proxy vzory, UUPS), řízení přístupu a governance.
Transakční model, gas a determinismus
Každé volání chytré smlouvy vyžaduje tzv. „gas“, který představuje výpočetní náklady potřebné k vykonání transakce. Tento mechanizmus omezuje nekonečné smyčky a útoky typu Denial of Service (DoS). Odesílatel stanoví limit a cenu gasu, nepoužitý gas je po skončení transakce vrácen.
Determinismus je základním předpokladem správné funkce – smart kontrakty nesmějí využívat nedeterministické zdroje, například náhodná čísla bez podpory zabezpečeného orákula. Místo toho jsou data přísně omezena na parametry dostupné v rámci kontextu bloku (jako je časové razítko nebo číslo bloku), se všemi omezeními vysoké spolehlivosti těchto údajů.
Rozhraní ABI, události a logy
Application Binary Interface (ABI) definuje, jak jsou funkce adresovány, jak jsou parametry a návratové hodnoty serializovány a deserializovány. Klientské aplikace využívají ABI pro generování call data a dekódování odpovědí.
Události (events) jsou produkovány kontrakty a ukládají se do logů blockchainu, které mohou být efektivně indexovány pomocí topics. To umožňuje sledování a filtrování mimo blockchain, využívané například analytickými nástroji a indexery.
Standardy tokenů a rozšiřitelnost ekosystému
- ERC-20: Standard pro fungibilní tokeny, který definuje jednotné rozhraní pro správu zůstatků, převodů a delegovaných transferů.
- ERC-721: Standard pro nefugibilní tokeny (NFT) s jedinečným identifikátorem tokenId, používaný například pro digitální sběratelství.
- ERC-1155: Více-tokenový standard kombinující fungibilní i nefugibilní tokeny s podporou efektivních hromadných operací.
- EIP-2612 a další Ethereum Improvement Proposaly, které vylepšují uživatelské zkušenosti (např. metody permit nebo meta-transakce).
Bezpečnost chytrých smluv: hrozby a osvědčené obranné vzory
- Reentrancy: Zranitelnost spočívající v opakovaném volání funkce před ukončením aktualizace stavu. Proti ní pomáhá vzor checks-effects-interactions, použití ochranných mechanismů jako reentrancy guard a minimalizace externích volání.
- Číselné chyby: Přetečení a podtečení čísel, špatné škálování desetinných míst. Doporučuje se používání bezpečných matematických knihoven a vestavěných kontrol přetečení.
- Přístupová práva a vlastnictví: Rizika plynoucí z chybné inicializace či nezabezpečených administrátorských funkcí. Doporučuje se implementovat role založené na přístupu (např. onlyOwner, RBAC) a více-podpisové (multisig) schéma.
- Front-running a MEV: Útoky využívající pořadí transakcí v bloku. Ochrana pomocí commit-reveal schémat, soukromých mempoolů, dávkových aukcí a konceptu intents.
- Orákula a závislosti na off-chain datech: Možnosti manipulace externích dat. Doporučuje se používat decentralizovaná orákula, agregaci zdrojů a přísné limity, které brání zneužití.
- Selfdestruct a upgrade pasti: Nechtěné zrušení kódu kontraktu. Vývojáři by se měli vyhýbat destrukci kódu a důkladně auditovat proxy logiku a inicializační mechanismy.
Upgradovatelnost a správa verzí chytrých smluv
Blockchainové programy jsou po nasazení neměnné, proto se pro další vývoj a opravy používají proxy vzory (např. Transparent Proxy, UUPS, Beacon Proxy), které umožňují směrovat volání na různé implementace.
Governance mechanismy musí jasně definovat subjekty a postupy pro provádění aktualizací, využívat například multisignatury, časové zámky (timelocky) a vyžadovat předchozí bezpečnostní audity, testovací fáze a možnost pauzy provozu.
Škálování, soukromí a pokročilé kryptografické techniky
- Rollupy (Optimistic a ZK-rollupy): Umožňují provádění transakcí na vrstvě 2 (L2) a následné periodické zajištění výsledků na vrstvě 1 (L1), výrazně snižují poplatky a zvyšují propustnost sítě.
- Stavové kanály a sidechainy: Provádí interakce off-chain s on-chain vyrovnáním na závěr, čímž snižují zatížení hlavního řetězce.
- Zero-Knowledge důkazy (ZK-SNARK/STARK): Přinášejí matematické důkazy správnosti výpočtů bez vystavení samotných dat, což posiluje soukromí a dopomáhá škálovatelnosti.
Orákula a propojení se světem mimo blockchain
Chytré smlouvy samy nepřistupují přímo k externím datům, proto se využívají orákula – decentralizované sítě poskytovatelů dat, které přinášejí spolehlivé informace jako ceny aktiv, počasí nebo jiné události.
Důležité je zajistit správné pobídky, agregaci více zdrojů pro zvýšení odolnosti vůči manipulaci a definovat pravidla pro zpracování případného selhání datového zdroje (tzv. fallback mechanismy a circuit breakers).
