NECTAR non-interactive smart contract protocol using blockchain technology

Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have the potential to take over functions usually done by interm...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2018 IEEE ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) s. 17 - 24
Hlavní autori: Covaci, Alexandra, Madeo, Simone, Motylinski, Patrick, Vincent, Stéphane
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: New York, NY, USA ACM 27.05.2018
Edícia:ACM Conferences
Predmet:
Bitcoin
blockchain
Computer systems organization > Architectures > Distributed architectures > Peer-to-peer architectures
Contracts
Logic gates
non-interactive protocol
Protocols
Smart contract
Theory of computation > Computational complexity and cryptography > Cryptographic protocols
Theory of computation > Computational complexity and cryptography > Proof complexity
Theory of computation > Logic > Programming logic
verifiable computation
Wires
verifiable computation
blockchain
smart contract
bitcoin
non-interactive protocol
ISBN:9781450357265, 1450357261
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital platforms of distributed trust. Among these technologies, smart contract platforms have the potential to take over functions usually done by intermediaries like banks, escrow or legal services. In this paper, we introduce a novel protocol aiming to execute smart contracts as part of a blockchain transaction validation. We enable extensions in the execution of smart contracts while guaranteeing their privacy, correctness and verifiability. Man-in-the-middle attacks are prevented, since no communication between participants is requested, and contract validations do not imply the re-execution of the code by all the nodes in the network. However, proofs of correct execution are stored on the blockchain and can be verified by multiple parties. Our solution is based on programming tools which optimize the time execution and the required memory while preserving the embedded functionality.
ISBN:9781450357265
1450357261
DOI:10.1145/3194113.3194116