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...

Full description

Saved in:
Bibliographic Details
Published in:2018 IEEE ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) pp. 17 - 24
Main Authors: Covaci, Alexandra, Madeo, Simone, Motylinski, Patrick, Vincent, Stéphane
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 27.05.2018
Series:ACM Conferences
Subjects:
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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