• No results found

The Ethereum Smart Contract

Smart Contract Vulnerabilities on the Ethereum Blockchain: A Current Perspective

Smart Contract Vulnerabilities on the Ethereum Blockchain: A Current Perspective

... Smart Contract vulnerabilities are not rare either, as evidenced by this thesis’ results, even though their consequences of them may be ...a contract reasonably secure, there will always be doubt as ...

67

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

... deposit contract source code to prevent this behavior without fixing the ...deposit contract development team, we together decided to employ a checksum-based approach where the deposit function takes as an ...

27

Trust Management In IOT Enable Healthcare System Using Ethereum Based Smart Contract

Trust Management In IOT Enable Healthcare System Using Ethereum Based Smart Contract

... using Ethereum based Smart Contract Bhabendu Kumar Mohanta, Debasish Jena, Utkalika Satapathy Abstract: Internet of Things (IoT) is one of the most promising areas for research in the last ...sector, ...

6

SmartCheck: Static Analysis of Ethereum Smart Contracts

SmartCheck: Static Analysis of Ethereum Smart Contracts

... the Ethereum virtual machine (EVM) – a stack-based VM operating on 256-bit words 2 ...A contract is deployed by broadcasting a transaction containing its bytecode and initialization ...the contract ...

8

teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts

teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts

... a contract with empty storage might not work against the same contract with filled ...real Ethereum blockchain, and reapplying it to our local ...

17

Solitor : runtime verification of smart contracts on the Ethereum network

Solitor : runtime verification of smart contracts on the Ethereum network

... other contract languages have been proposed to help writing secure smart ...4.1 Smart Contract Verication Due to the recent exploits that were found on the Ethereum blockchain this ...

41

Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts

Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts

... as Ethereum go a step ...the Ethereum Virtual Machine (EVM) ...so-called smart contracts, de- ployed on the Ethereum ...programs. Smart contract functions are invoked via ...

13

Deductive Proof of Ethereum Smart Contracts Using Why3

Deductive Proof of Ethereum Smart Contracts Using Why3

... So it is compiled similarly to the solidity function send function with a gas limit small enough to disallow modification of the store. Additionally, we discard the result. The execution of each bytecode instruction has ...

39

Identify Multiple Types of Social Influences on Smart Contract Adoption in Blockchain User Network: An Empirical Examination of CryptoKitties in Ethereum

Identify Multiple Types of Social Influences on Smart Contract Adoption in Blockchain User Network: An Empirical Examination of CryptoKitties in Ethereum

... of smart contract for blockchain ...and smart contracts are ...of smart contract technology and suggests a more effective way for smart contract developers and blockchain ...

18

Application of Ethereum Smart Contracts in Purpose of Generating New Cryptocurrencies

Application of Ethereum Smart Contracts in Purpose of Generating New Cryptocurrencies

... Due to the collapse of The DAO organization, the Ethereum has collapsed into two chains. The chain with a smaller number of users got the new name Ethereum Classic, while the popular bridle retained the old ...

5

Security-related experiences with Smart Contracts over the Ethereum Blockchain

Security-related experiences with Smart Contracts over the Ethereum Blockchain

... a contract that is used to trigger its constant activations, this gas is spent if no other gas is provided in the message ...our smart contract, that said, on our private test-net we can have more ...

76

Tokenization of Real Estate Assets for Crowdfunding Investment with Ethereum Smart Contracts

Tokenization of Real Estate Assets for Crowdfunding Investment with Ethereum Smart Contracts

... When the seed phrase is entered into the respective field in MetaMask, it gets linked to GANACHE. 2)This is followed by compiling, testing and deploying smart contracts. The smart contracts get complied ...

8

Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts

Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts

... so-called smart contracts, which are special programs that run on the ...supports smart contracts is Ethereum. As smart contracts typically handle money, ensuring their low number of faults ...

16

Performance analysis of blockchain-based smart grid with Ethereum and Hyperledger implementations

Performance analysis of blockchain-based smart grid with Ethereum and Hyperledger implementations

... any smart contract ‘S’ needs to be executed) and bind the blocks with blockchain network as a valid or invalid transaction inside the virtual smart ...

51

Implementation of Smart Contracts Ethereum Blockchain in Web-Based Electronic Voting (e-voting)

Implementation of Smart Contracts Ethereum Blockchain in Web-Based Electronic Voting (e-voting)

... executable smart contracts that are required in the ...After smart contracts are deployed, they can't be discharged from the blockchain, and individuals can see whether the result of the execution of ...

7

Verification of Self-Sovereign Identities in Ethereum applied to a Media Reuse Smart Contracts Scenario

Verification of Self-Sovereign Identities in Ethereum applied to a Media Reuse Smart Contracts Scenario

... simple smart contracts, it doesn’t provide the right tools to work with a version control system nor it has migration ...different. Ethereum smart contracts are immutable, and there exists no ...

90

How To Create A Blockchain Smart Contract

How To Create A Blockchain Smart Contract

... blockchain contract blockchains support engineer at this article is needed to create them, creating new ticket differently with! What is plenty Smart advice In sex real world we hear many contracts when an ...

14

Cosa Sono Gli Smart Contract

Cosa Sono Gli Smart Contract

... is ethereum and the main highlander script and bring new content to ...blockchain. Smart contract come funzionano e come funzionano i servizi di blockchain? Sono state trovate intestazioni in ...

17

SmartInspect: Solidity Smart Contract Inspector

SmartInspect: Solidity Smart Contract Inspector

... row, Ethereum/Solidity does not provide any tool to inspect contract state in the referential model of the ...the contract is an arbitrary data type, the offered API to interact and inspect is both ...

11

Smart contracts and Ethereum application platform

Smart contracts and Ethereum application platform

... Kun Ethereum-verkkoon lähe- tettyjä transaktioita suoritetaan, muodostuu niistä niin sanottuja transaktiokuitte- ja (transaction receipt), jotka kuvaavat tietyn transaktion suorittamisen jälkeistä tilaa ...hakea ...

67

Show all 10000 documents...

Related subjects