Matches in SemOpenAlex for { <https://semopenalex.org/work/W3015528166> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3015528166 abstract "Smart contract (SC) platforms form blocks of transactions into a chain and execute them via user-defined smart contracts. In conventional platforms like Bitcoin and Ethereum, the transactions within a block are executed emph{sequentially} by the miner and are then validated emph{sequentially} by the validators to reach consensus about the final state of the block. In order to leverage the advances of multicores, this paper explores the next generation of smart contract platforms that enables concurrent execution of such contracts. Reasoning about the validity of the object states is challenging in concurrent smart contracts. We examine a programming model to support emph{optimistic} execution of SCTs. We introduce a novel programming language, so-called OV, and a Solidity API to ease programing of optimistic smart contracts. OV language together with static checking will help reasoning about a crucial property of optimistically executed smart contracts -- the validity of object states in trustless systems." @default.
- W3015528166 created "2020-04-17" @default.
- W3015528166 creator A5034599952 @default.
- W3015528166 creator A5046807281 @default.
- W3015528166 creator A5080631873 @default.
- W3015528166 date "2020-04-09" @default.
- W3015528166 modified "2023-09-27" @default.
- W3015528166 title "OV: Validity-based Optimistic Smart Contracts." @default.
- W3015528166 cites W125251596 @default.
- W3015528166 cites W1493161603 @default.
- W3015528166 cites W1510845095 @default.
- W3015528166 cites W2011289483 @default.
- W3015528166 cites W2047791971 @default.
- W3015528166 cites W2052087935 @default.
- W3015528166 cites W2092911542 @default.
- W3015528166 cites W2146516325 @default.
- W3015528166 cites W2152988224 @default.
- W3015528166 cites W2168163009 @default.
- W3015528166 cites W2171142397 @default.
- W3015528166 cites W2785677877 @default.
- W3015528166 cites W2883390851 @default.
- W3015528166 cites W2952283559 @default.
- W3015528166 cites W2955516410 @default.
- W3015528166 cites W2962850555 @default.
- W3015528166 cites W3177883865 @default.
- W3015528166 hasPublicationYear "2020" @default.
- W3015528166 type Work @default.
- W3015528166 sameAs 3015528166 @default.
- W3015528166 citedByCount "0" @default.
- W3015528166 crossrefType "posted-content" @default.
- W3015528166 hasAuthorship W3015528166A5034599952 @default.
- W3015528166 hasAuthorship W3015528166A5046807281 @default.
- W3015528166 hasAuthorship W3015528166A5080631873 @default.
- W3015528166 hasConcept C10138342 @default.
- W3015528166 hasConcept C144133560 @default.
- W3015528166 hasConcept C153083717 @default.
- W3015528166 hasConcept C154945302 @default.
- W3015528166 hasConcept C182306322 @default.
- W3015528166 hasConcept C199360897 @default.
- W3015528166 hasConcept C2524010 @default.
- W3015528166 hasConcept C2777210771 @default.
- W3015528166 hasConcept C2778362873 @default.
- W3015528166 hasConcept C2779950589 @default.
- W3015528166 hasConcept C2781238097 @default.
- W3015528166 hasConcept C33923547 @default.
- W3015528166 hasConcept C41008148 @default.
- W3015528166 hasConcept C75949130 @default.
- W3015528166 hasConceptScore W3015528166C10138342 @default.
- W3015528166 hasConceptScore W3015528166C144133560 @default.
- W3015528166 hasConceptScore W3015528166C153083717 @default.
- W3015528166 hasConceptScore W3015528166C154945302 @default.
- W3015528166 hasConceptScore W3015528166C182306322 @default.
- W3015528166 hasConceptScore W3015528166C199360897 @default.
- W3015528166 hasConceptScore W3015528166C2524010 @default.
- W3015528166 hasConceptScore W3015528166C2777210771 @default.
- W3015528166 hasConceptScore W3015528166C2778362873 @default.
- W3015528166 hasConceptScore W3015528166C2779950589 @default.
- W3015528166 hasConceptScore W3015528166C2781238097 @default.
- W3015528166 hasConceptScore W3015528166C33923547 @default.
- W3015528166 hasConceptScore W3015528166C41008148 @default.
- W3015528166 hasConceptScore W3015528166C75949130 @default.
- W3015528166 hasLocation W30155281661 @default.
- W3015528166 hasOpenAccess W3015528166 @default.
- W3015528166 hasPrimaryLocation W30155281661 @default.
- W3015528166 hasRelatedWork W2624394369 @default.
- W3015528166 hasRelatedWork W2903973628 @default.
- W3015528166 hasRelatedWork W2923674615 @default.
- W3015528166 hasRelatedWork W2946325243 @default.
- W3015528166 hasRelatedWork W2948331712 @default.
- W3015528166 hasRelatedWork W2950294262 @default.
- W3015528166 hasRelatedWork W2955394441 @default.
- W3015528166 hasRelatedWork W2958275284 @default.
- W3015528166 hasRelatedWork W2966890055 @default.
- W3015528166 hasRelatedWork W2989951079 @default.
- W3015528166 hasRelatedWork W2998519442 @default.
- W3015528166 hasRelatedWork W3024050886 @default.
- W3015528166 hasRelatedWork W3036817387 @default.
- W3015528166 hasRelatedWork W3084421431 @default.
- W3015528166 hasRelatedWork W3093742993 @default.
- W3015528166 hasRelatedWork W3110968850 @default.
- W3015528166 hasRelatedWork W3131112759 @default.
- W3015528166 hasRelatedWork W3139172940 @default.
- W3015528166 hasRelatedWork W3209175844 @default.
- W3015528166 hasRelatedWork W3087227125 @default.
- W3015528166 isParatext "false" @default.
- W3015528166 isRetracted "false" @default.
- W3015528166 magId "3015528166" @default.
- W3015528166 workType "article" @default.