Publication | Closed Access
Making Smart Contracts Smarter
2.2K
Citations
14
References
2016
Year
Unknown Venue
EngineeringSmart ContractsCryptocurrencyData StructureFormal VerificationHardware SecuritySmart Contract LanguageManagementSystems EngineeringSmart Contracts SmarterData ManagementMechanism DesignBlockchain SecurityComputer ScienceVirtual CoinsSmart ContractData SecurityCryptographyFormal MethodsBlockchain ScalabilityDesign By ContractTechnologyBlockchainBlockchain Protocol
Cryptocurrencies record transactions in a decentralized data structure called a blockchain. Two of the most popular cryptocurrencies, Bitcoin and Ethereum, support the feature to encode rules or scripts for processing transactions. This feature has evolved to give practical shape to the ideas of smart contracts, or full-fledged programs that are run on blockchains. Recently, Ethereum's smart contract system has seen steady adoption, supporting tens of thousands of contracts, holding millions dollars worth of virtual coins.
| Year | Citations | |
|---|---|---|
Page 1
Page 1