Okosszerződés
Kapcsolódó szolgáltatás Blockchain
MEGHATÁROZÁS
Blockchainen futó kód (Solidity, Rust), ami automatikusan végrehajt egy megállapodást. Egy hiba 9 számjegyet is költhet · ezért auditálunk, fuzzolunk és threat-modelt futtatunk rá deploy előtt.
- Solidity→
Az EVM-kompatibilis blockchainek (Ethereum, Arbitrum, Base) fő programozási nyelve. Pascal-szerű szintaxis, alacsony szintű memória-kezelés, TypeScript-kompatibilis toolchain (Foundry, Hardhat).
- EVM (Ethereum Virtual Machine)→
Az Ethereum és kompatibilis láncok (Arbitrum, Base, Polygon, Optimism) közös végrehajtási környezete. Egy szerződést írni itt annyi, mintha futtathatnád mindegyiken.
- L2 (Layer 2)→
Másodlagos hálózat (Arbitrum, Base, Optimism, zkSync), ami az Ethereum-on (L1) települt, de sokkal gyorsabb és olcsóbb. Rollupokkal 10–100x alacsonyabb gas-díj.
- Invariáns teszt→
Olyan teszt, ami egy univerzális szabályt ellenőriz (pl. az összes felhasználó egyenlege mindig a total supply). Random tranzakció-sorozatot ad a szerződésnek, a szabálynak minden állapotban állnia kell.
- Fuzz (teszt)→
Több millió pszeudo-random input végrehajtása egy függvényen, hogy kiderüljön, van-e olyan paraméter-kombináció, ami eltöri. Echidna vagy Foundry fuzz-campaign.
- Foundry→
Rust-alapú Solidity toolchain (`forge`, `cast`, `anvil`). Gyorsabb és jobb invariáns-teszt-támogatás, mint a Hardhat. Minden DField audit-projektben ezt futtatjuk.