FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2918671138> ?p ?o ?g. }

• W2918671138 endingPage "338" @default.
• W2918671138 startingPage "325" @default.
• W2918671138 abstract "We propose a way to reconcile the apparent contradiction between the immutability of idealized smart contracts and the real-world need to update contracts to fix bugs and oversights. Our proposal is to raise the contract’s level of abstraction to guarantee a specification $$varphi $$ instead of a particular implementation of that specification. A combination of proof-carrying code and proof-aware consensus allows contract implementations to be updated as needed, but so as to guarantee that $$varphi $$ cannot be violated by any future upgrade. We propose proof-carrying smart contracts (PCSCs), aiming to put formal correctness proofs of smart contracts on the chain. Proofs of correctness for a contract can be checked by validators, who can enforce the restriction that no update can violate $$varphi $$ . We discuss some architectural and formal challenges, and include an example of how our approach could address the well-known vulnerabilities in the ERC20 token standard." @default.
• W2918671138 created "2019-03-11" @default.
• W2918671138 creator A5016175378 @default.
• W2918671138 creator A5024796518 @default.
• W2918671138 creator A5049824348 @default.
• W2918671138 creator A5080311953 @default.
• W2918671138 creator A5086347882 @default.
• W2918671138 date "2019-01-01" @default.
• W2918671138 modified "2023-10-02" @default.
• W2918671138 title "Proof-Carrying Smart Contracts" @default.
• W2918671138 cites W1606177908 @default.
• W2918671138 cites W1820726602 @default.
• W2918671138 cites W1959256509 @default.
• W2918671138 cites W2034711041 @default.
• W2918671138 cites W2047401676 @default.
• W2918671138 cites W2130427425 @default.
• W2918671138 cites W2539190473 @default.
• W2918671138 cites W2604844934 @default.
• W2918671138 cites W2769609281 @default.
• W2918671138 cites W2885034081 @default.
• W2918671138 cites W2964144608 @default.
• W2918671138 doi "https://doi.org/10.1007/978-3-662-58820-8_22" @default.
• W2918671138 hasPublicationYear "2019" @default.
• W2918671138 type Work @default.
• W2918671138 sameAs 2918671138 @default.
• W2918671138 citedByCount "7" @default.
• W2918671138 countsByYear W29186711382019 @default.
• W2918671138 countsByYear W29186711382020 @default.
• W2918671138 countsByYear W29186711382022 @default.
• W2918671138 countsByYear W29186711382023 @default.
• W2918671138 crossrefType "book-chapter" @default.
• W2918671138 hasAuthorship W2918671138A5016175378 @default.
• W2918671138 hasAuthorship W2918671138A5024796518 @default.
• W2918671138 hasAuthorship W2918671138A5049824348 @default.
• W2918671138 hasAuthorship W2918671138A5080311953 @default.
• W2918671138 hasAuthorship W2918671138A5086347882 @default.
• W2918671138 hasConcept C108710211 @default.
• W2918671138 hasConcept C111472728 @default.
• W2918671138 hasConcept C111919701 @default.
• W2918671138 hasConcept C124304363 @default.
• W2918671138 hasConcept C138885662 @default.
• W2918671138 hasConcept C177264268 @default.
• W2918671138 hasConcept C186846655 @default.
• W2918671138 hasConcept C199360897 @default.
• W2918671138 hasConcept C203265346 @default.
• W2918671138 hasConcept C2524010 @default.
• W2918671138 hasConcept C26713055 @default.
• W2918671138 hasConcept C2776126399 @default.
• W2918671138 hasConcept C2776760102 @default.
• W2918671138 hasConcept C2777904410 @default.
• W2918671138 hasConcept C2779687700 @default.
• W2918671138 hasConcept C2779950589 @default.
• W2918671138 hasConcept C2780615140 @default.
• W2918671138 hasConcept C33923547 @default.
• W2918671138 hasConcept C38652104 @default.
• W2918671138 hasConcept C41008148 @default.
• W2918671138 hasConcept C529173508 @default.
• W2918671138 hasConcept C55439883 @default.
• W2918671138 hasConcept C75949130 @default.
• W2918671138 hasConcept C80291951 @default.
• W2918671138 hasConcept C94461902 @default.
• W2918671138 hasConceptScore W2918671138C108710211 @default.
• W2918671138 hasConceptScore W2918671138C111472728 @default.
• W2918671138 hasConceptScore W2918671138C111919701 @default.
• W2918671138 hasConceptScore W2918671138C124304363 @default.
• W2918671138 hasConceptScore W2918671138C138885662 @default.
• W2918671138 hasConceptScore W2918671138C177264268 @default.
• W2918671138 hasConceptScore W2918671138C186846655 @default.
• W2918671138 hasConceptScore W2918671138C199360897 @default.
• W2918671138 hasConceptScore W2918671138C203265346 @default.
• W2918671138 hasConceptScore W2918671138C2524010 @default.
• W2918671138 hasConceptScore W2918671138C26713055 @default.
• W2918671138 hasConceptScore W2918671138C2776126399 @default.
• W2918671138 hasConceptScore W2918671138C2776760102 @default.
• W2918671138 hasConceptScore W2918671138C2777904410 @default.
• W2918671138 hasConceptScore W2918671138C2779687700 @default.
• W2918671138 hasConceptScore W2918671138C2779950589 @default.
• W2918671138 hasConceptScore W2918671138C2780615140 @default.
• W2918671138 hasConceptScore W2918671138C33923547 @default.
• W2918671138 hasConceptScore W2918671138C38652104 @default.
• W2918671138 hasConceptScore W2918671138C41008148 @default.
• W2918671138 hasConceptScore W2918671138C529173508 @default.
• W2918671138 hasConceptScore W2918671138C55439883 @default.
• W2918671138 hasConceptScore W2918671138C75949130 @default.
• W2918671138 hasConceptScore W2918671138C80291951 @default.
• W2918671138 hasConceptScore W2918671138C94461902 @default.
• W2918671138 hasLocation W29186711381 @default.
• W2918671138 hasOpenAccess W2918671138 @default.
• W2918671138 hasPrimaryLocation W29186711381 @default.
• W2918671138 hasRelatedWork W1515562936 @default.
• W2918671138 hasRelatedWork W1575371466 @default.
• W2918671138 hasRelatedWork W2044925663 @default.
• W2918671138 hasRelatedWork W2116536633 @default.
• W2918671138 hasRelatedWork W2144656142 @default.
• W2918671138 hasRelatedWork W2149220982 @default.
• W2918671138 hasRelatedWork W2918671138 @default.
• W2918671138 hasRelatedWork W2957176605 @default.
• W2918671138 hasRelatedWork W2957847053 @default.

• next