Results 31 to 40 of about 11,147 (259)
Translation certification for smart contracts
Compiler correctness is an old problem, but with the emergence of smart contracts on blockchains that problem presents itself in a new light. Smart contracts are self-contained pieces of software that control assets, which are often of high financial value, in an adversarial environment and, once committed to the blockchain, they cannot be changed ...
Jacco O. G. Krijnen +3 more
openaire +6 more sources
The Economics of Smart Contracts
Ethereum is a distributed blockchain that can execute smart contracts, which inter-communicate and perform transactions automatically. The execution of smart contracts is paid in the form of gas, which is a monetary unit used in the Ethereum blockchain.
Kirk Baird +4 more
openaire +2 more sources
The Legal Regime of Smart Contracts in Public Procurement
This article attempts to critically review the applications of smart contracts in public procurement. The literature on the topic is characterized by an emphasis on potential advantages and uses of this emerging technology, while it lacks in the ...
Nadia-Ariadna Sava, Dacian Dragoș
doaj +1 more source
Survey on Vulnerabilities in Blockchain’s Smart Contracts
Trustworthy smart contracts is usually challenging due to the multifaceted semantics of essential domain-specific languages and their testability. A vulnerability in smart contracts possibly comprises numerous code-security and may allow an attacker to ...
Huma Jamshed
doaj +1 more source
Legal and Regulatory Aspects of Smart Contracts: A Systematic Review
As one of the fundamental technologies of blockchain, smart contracts have become one of popular and indispensable for certain businesses. Smart contracts have been introduced by Nick Szabo in 1997.
Omar Farouk Al Mashhour +2 more
doaj +1 more source
Smart Contracts Used in the Blockchain: A Juristic Stud
Objectives: Clarify the ruling on forming smart contracts using the blockchain technology, and the related conditions and pillars of legality. Methods: A descriptive approach to describe smart contracts and the pillars on which they are based, an ...
Saba mohammed mostafa Alboul +1 more
doaj +1 more source
AbstractThe emergence of crypto currencies such as Bitcoin and Ethereum have shown the value in decentralized technologies. The idea of having 24/7 access to programmable money peaked the interest in the field, and as a by-product, came the realization that the same core technologies that enable programmable dog money, can enable highly-available DNS ...
Luis Angel D. Bathen, Divyesh Jadav
openaire +1 more source
Smart contracts have emerged as an important technological development, when considering the fast pace with which technology is developing. Nowadays the digital architecture of smart contracts automates the fulfillment of contractual obligations and has ...
Mükerrem Onur Başar
doaj +1 more source
On the Practicality of a Smart Contract PKI [PDF]
Public key infrastructures (PKIs) are one of the main building blocks for securing communications over the Internet. Currently, PKIs are under the control of centralized authorities, which is problematic as evidenced by numerous incidents where they have been compromised.
Christos Patsonakis +3 more
openaire +3 more sources
Adding concurrency to smart contracts [PDF]
Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain.
Thomas D. Dickerson +3 more
openaire +4 more sources

