Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951864960> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2951864960 startingPage "1125" @default.
- W2951864960 abstract "A landmark security property of smart contracts is liquidity: in a non-liquid contract, it may happen that some funds remain frozen. The relevance of this issue is witnessed by a recent liquidity attack to the Ethereum Parity Wallet, which has frozen ({sim }160M) USD within the contract, making this sum unredeemable by any user. We address the problem of verifying liquidity of Bitcoin contracts. Focussing on BitML, a contracts DSL with a computationally sound compiler to Bitcoin, we study various notions of liquidity. Our main result is that liquidity of BitML contracts is decidable, in all the proposed variants. To prove this, we first transform the infinite-state semantics of BitML into a finite-state one, which focusses on the behaviour of any given set of contracts, abstracting the context moves. With respect to the chosen contracts, this abstraction is sound and complete. Our decision procedure for liquidity is then based on model-checking the finite space of states of the abstraction." @default.
- W2951864960 created "2019-06-27" @default.
- W2951864960 creator A5003560156 @default.
- W2951864960 creator A5050606239 @default.
- W2951864960 date "2018-01-01" @default.
- W2951864960 modified "2023-09-28" @default.
- W2951864960 title "Verifying liquidity of Bitcoin contracts." @default.
- W2951864960 hasPublicationYear "2018" @default.
- W2951864960 type Work @default.
- W2951864960 sameAs 2951864960 @default.
- W2951864960 citedByCount "0" @default.
- W2951864960 crossrefType "journal-article" @default.
- W2951864960 hasAuthorship W2951864960A5003560156 @default.
- W2951864960 hasAuthorship W2951864960A5050606239 @default.
- W2951864960 hasConcept C10138342 @default.
- W2951864960 hasConcept C144133560 @default.
- W2951864960 hasConcept C153269930 @default.
- W2951864960 hasConcept C183582576 @default.
- W2951864960 hasConcept C41008148 @default.
- W2951864960 hasConcept C80444323 @default.
- W2951864960 hasConceptScore W2951864960C10138342 @default.
- W2951864960 hasConceptScore W2951864960C144133560 @default.
- W2951864960 hasConceptScore W2951864960C153269930 @default.
- W2951864960 hasConceptScore W2951864960C183582576 @default.
- W2951864960 hasConceptScore W2951864960C41008148 @default.
- W2951864960 hasConceptScore W2951864960C80444323 @default.
- W2951864960 hasLocation W29518649601 @default.
- W2951864960 hasOpenAccess W2951864960 @default.
- W2951864960 hasPrimaryLocation W29518649601 @default.
- W2951864960 hasRelatedWork W1507092553 @default.
- W2951864960 hasRelatedWork W1604455199 @default.
- W2951864960 hasRelatedWork W1930012797 @default.
- W2951864960 hasRelatedWork W1985948815 @default.
- W2951864960 hasRelatedWork W2010755809 @default.
- W2951864960 hasRelatedWork W2012652382 @default.
- W2951864960 hasRelatedWork W2041966079 @default.
- W2951864960 hasRelatedWork W2165995293 @default.
- W2951864960 hasRelatedWork W2512030850 @default.
- W2951864960 hasRelatedWork W2735867562 @default.
- W2951864960 hasRelatedWork W2949152804 @default.
- W2951864960 hasRelatedWork W2950789712 @default.
- W2951864960 hasRelatedWork W2952731155 @default.
- W2951864960 hasRelatedWork W2991996057 @default.
- W2951864960 hasRelatedWork W3121459747 @default.
- W2951864960 hasRelatedWork W3125053380 @default.
- W2951864960 hasRelatedWork W3126703611 @default.
- W2951864960 hasRelatedWork W45935682 @default.
- W2951864960 hasRelatedWork W599039396 @default.
- W2951864960 hasRelatedWork W70284004 @default.
- W2951864960 hasVolume "2018" @default.
- W2951864960 isParatext "false" @default.
- W2951864960 isRetracted "false" @default.
- W2951864960 magId "2951864960" @default.
- W2951864960 workType "article" @default.