Solidity
Språket smarta kontrakt på Ethereum skrivs i — syntaktiskt bekant, semantiskt obarmhärtigt.
Solidity är statiskt typat och lånar utseende från JavaScript och C++, vilket gör det lätt att komma igång med och lätt att missbedöma. Koden kompileras till bytekod för den virtuella maskinen EVM, och varje operation kostar gas, vilket gör att optimering handlar om något helt annat än i vanlig programmering.
Det som skiljer mest är att kontraktet inte går att uppdatera efter driftsättning. En bugg går inte att patcha, och koden är dessutom offentlig för alla att granska — inklusive angripare. Reentrancy, klassikern bakom The DAO-hacket, är fortfarande den mest kända fällan. Formell verifiering och extern revision är därför rutin snarare än lyx.