Results 31 to 40 of about 339,225 (321)
Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum [PDF]
, 2019 The wide deployment of tokens for digital assets on top of Ethereum implies the need for powerful trading platforms. Vickrey auctions have been known to determine the real market price of items as bidders are motivated to submit their own monetary ...
E-O Blass +7 more
core +2 more sources
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2020 Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is crucial for blockchain to reach widespread adoption, it is difficult to achieve due to differences among existing ...
Alysson Bessani +2 more
openaire +3 more sources
The Timing of Smart Contract Formation from the Perspective of Iranian, English, and American Law [PDF]
پژوهش تطبیقی حقوق اسلام و غرب, 2023 In order to determine the timing of smart contract formation, which is considered a type of electronic contract, the authors initially examine the viewpoint of traditional contract law.
MirHossein Abedian Kalkhoran +1 more
doaj +1 more source
Smart Contract Interactions in Coq [PDF]
, 2020 We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing modelling of both depth-first execution blockchains (like Ethereum) and breadth-first execution blockchains (like Tezos).
Jakob Botsch Nielsen, Bas Spitters
openaire +3 more sources
IEEE Access, 2022 A smart contract is a computer program which is automatically executed with some conditional statements such as “if/then”. Since smart contracts can include some vulnerable program codes, smart contract exploit was recently highlighted as ...
Seon-Jin Hwang +3 more
doaj +1 more source
Analysis of smart contracts balances
Blockchain: Research and Applications, 2021 We define a technique for analyzing updates of smart contracts balances due to transfers of digital assets. The analysis addresses a lightweight smart contract language and consists of a two-step translation. First, we define the input-output behaviors of smart contract functions by means of a simple functional language with static dispatch.
Cosimo Laneve, Claudio Sacerdoti Coen
openaire +4 more sources
Design and implementation of a smart-contract voting system based on zero-knowledge proof
工程科学学报, 2023 As a legally binding computer program, smart contracts are stored on the blockchain and can be automatically executed according to the contract terms.
Hong-jian YIN +4 more
doaj +1 more source
Termination of Ethereum’s Smart Contracts
Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020 Ethereum is a decentralized blockchain technology equipped with so-called Smart Contracts. Acontract is a program whose code is public, which can be triggered by any user, and whose actualexecution is performed by miners participating in Ethereum. Miners execute the contract on theEthereum Virtual Machine (EVM) and apply its effect by adding new blocks
Genet, Thomas +2 more
openaire +3 more sources
, 2020 Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover security vulnerabilities in smart contracts before deployment.
Akca Sefa +9 more
core +1 more source
The International Journal of Digital Accounting Research, 2018 Los contratos inteligentes que usan el blockchain están emergiendo como una fuerza disruptiva que pude cambiar la manera en que se llevan a cabo y se entregan las auditorías de estados financieros. Con su habilidad potencial de ejecutar procedimientos de auditoría para el auditor de forma autónoma y divulgar los resultados de estos procedimientos, los ...
Rozairo, Andrea M., Vasarhely, Miklos A.
openaire +3 more sources