Abstrakt. Blockchain-baserade distribuerade datorplattformar möjliggör pålitligt utförande av beräkning-definierad i form av smarta kontrakt-utan betrodda agenter. Smarta kontrakt är tänkt att ha en mängd olika applikationer, allt från finansiella till IoT tillgång spårning. Tyvärr har utvecklingen av smarta kontrakt visat sig vara extremt felbenägen. I praktiken är kontrakt fyllda med säkerhetssårbarheter som omfattar en kritisk fråga eftersom buggar genom konstruktion inte kan fastställas och kontrakt kan hantera finansiella tillgångar av betydande värde. För att underlätta utvecklingen av säkra smarta kontrakt har vi skapat FSolidM-ramverket, som gör det möjligt för utvecklare att definiera kontrakt som finita statliga maskiner (FSM) med rigorösa och tydliga semantik. FSolidM ger en enkel att använda grafisk editor för att ange FSM, en kodgenerator för att skapa Ethereum smarta kontrakt, och en uppsättning plugins som utvecklare kan lägga till sina FSMs för att förbättra säkerhet och funktionalitet.
FSolidM REF tillåter användare att definiera kontrakt som ändliga tillstånd maskiner, vilket gör det möjligt att verifiera kontrakt semantik och eliminera flera vanliga sårbarheter i första hand.
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}