Skip to main content
Kent Academic Repository

NECTAR: Non-interactive Smart Contract Protocol Using Blockchain Technology

Covaci, Alexandra, Madeo, Simone, Motylinski, Patrick, Vincent, Stéphane (2018) NECTAR: Non-interactive Smart Contract Protocol Using Blockchain Technology. In: Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain. WETSEB '18 . pp. 17-24. ACM, New York, USA ISBN 978-1-4503-5726-5. (doi:10.1145/3194113.3194116) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77603)

PDF Publisher pdf
Language: English

Restricted to Repository staff only
Contact us about this Publication
[thumbnail of p17-covaci.pdf]
Official URL:
http://doi.acm.org/10.1145/3194113.3194116

Abstract

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.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1145/3194113.3194116
Uncontrolled keywords: bitcoin, blockchain, non-interactive protocol, smart contract, verifiable computation
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Engineering and Digital Arts
Depositing User: Alexandra Covaci
Date Deposited: 18 Oct 2019 16:28 UTC
Last Modified: 04 Mar 2024 18:51 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/77603 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.