# Okosszerződés

> Blokkláncra telepített program, amely pontosan úgy fut, ahogy megírták, bárki meghívhatja, és utólag általában nem módosítható.

Három tulajdonság határozza meg a mérnöki feladatot. A kód nyilvános, tehát bárki átnézheti hibákért. Bárki meghívhatja, tehát nincs megbízható hívó. És a legtöbb láncon telepítés után nem foltozható, tehát egy hiba végleges, hacsak előre nem terveztek bele frissítési utat — a frissítési út viszont maga is centralizációs kockázat, amihez valakinek kulcsot kell tartania.

Ezek együtt a szokásos szoftverhibákat azonnali, visszafordíthatatlan pénzügyi veszteséggé változtatják, és ezért van ennek a területnek a hagyományos alkalmazásfejlesztéshez képest szokatlan tesztelési kultúrája: tulajdonságalapú tesztek, fuzzing, invariánsokra vonatkozó formális érvelés, és független átvizsgálás azelőtt, hogy bármi valódi értéket tartana.

## Kapcsolódó fogalmak

- https://dfieldsolutions.hu/hu/fogalomtar/solidity.md
- https://dfieldsolutions.hu/hu/fogalomtar/gas.md
- https://dfieldsolutions.hu/hu/fogalomtar/smart-contract-audit.md
- https://dfieldsolutions.hu/hu/fogalomtar/erc-721.md

---

Source: https://dfieldsolutions.hu/hu/fogalomtar/smart-contract
DField Solutions — Dunakeszi, Hungary — dezso@dfieldsolutions.com
Booking: see https://dfieldsolutions.hu/en/contact