En av de viktigaste egenskaperna hos moderna blockchain plattformar är möjligheten att utföra smarta kontrakt, dvs.. Datorprogram som överför digitala tillgångar mellan användare, i enlighet med förhandsöverenskommelsede regler. Avgörande är att genomförandet av smarta kontrakt måste vara korrekt även i närvaro av (en minoritet av) motståndare i peer-to-peer-nätverket som upprätthåller blockkedjan. För att upprätthålla denna egenskap utan en betrodd myndighet, noderna följer ett samförstånd protokoll, som avgör vilken nod kan förlänga blockkedjan vid varje tillfälle. I detta syfte samlar noderna först in en uppsättning transaktioner från nätverket, vilket representerar åtgärderna för de smarta kontrakt som krävs av användarna. Sedan, för att beräkna det nya tillståndet för de smarta kontrakten, sätter de dessa transaktioner i följd (i en godtycklig ordning), och utför dem seriellt. När detta block av transaktioner bifogas blockchain, de andra noderna i nätverket validera det, genom att utföra transaktionerna i samma ordning. Den seriella utförandet av transaktioner inte dra nytta av multi-core arkitekturen av moderna processorer, så bidrar till att begränsa genomströmningen av blockkedjor. I detta dokument tar vi fram en statisk analysteknik för parallellisering av genomförandet av transaktioner, i en formell miljö baserad på Ethereum, den mest utbredda plattformen för smarta kontrakt.
I REF, Bartoletti et al. presenterade ett statiskt analysbaserat teoretiskt perspektiv på samtidigt utförande av de smarta kontraktstransaktionerna.
A true concurrent model of smart contracts executions
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}