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!
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.
AbstractList 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.
Author Madeo, Simone
Vincent, Stéphane
Motylinski, Patrick
Covaci, Alexandra
Author_xml – sequence: 1
  givenname: Alexandra
  surname: Covaci
  fullname: Covaci, Alexandra
  email: alexandra@ncrypt.com
  organization: nChain, London, United Kingdom
– sequence: 2
  givenname: Simone
  surname: Madeo
  fullname: Madeo, Simone
  email: simone@ncrypt.com
  organization: nChain, London, United Kingdom
– sequence: 3
  givenname: Patrick
  surname: Motylinski
  fullname: Motylinski, Patrick
  email: patrick@ncrypt.com
  organization: nChain, London, United Kingdom
– sequence: 4
  givenname: Stéphane
  surname: Vincent
  fullname: Vincent, Stéphane
  email: vincent@ncrypt.com
  organization: nChain, London, United Kingdom
BookMark eNqNj81LxDAQxSN-4Lr27MF_wEtrZvIxyXEpuyosK8h6DkmaQtXdSuvF_95Ie_IkDPyYeY_hvSt2duyPibEb4BWAVPcCrAQQ1UR9wgpLJgtcKEKtTv_sl6wYxzfOOWojLZgFu9it6_3q5Zqdt_5jTMXMJXvdrPf1Y7l9fniqV9vSo6SvUmGLFAnzKJ_QU6AE6AEIbcjniK21ihrU1EQkiBZ8Y42Q1EgTpBdLdjv97VJK7nPoDn74dkbmhEpk9W5SfTy40PfvowPufou6uehMna3VP60uDF1qxQ-feE3L
CODEN IEEPAD
ContentType Conference Proceeding
Copyright 2018 ACM
Copyright_xml – notice: 2018 ACM
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1145/3194113.3194116
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList

Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Xplore
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9781450357265
1450357261
EndPage 24
ExternalDocumentID 8445053
Genre orig-research
GroupedDBID 6IE
6IF
6IL
6IN
AAJGR
ABLEC
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
IEGSK
OCL
RIB
RIC
RIE
RIL
AAWTH
LHSKQ
ID FETCH-LOGICAL-a247t-52f27c72c725ae2a7b7e12a11729b72cc2f9957d267dc271c91ad98347d48b4a3
IEDL.DBID RIE
ISBN 9781450357265
1450357261
ISICitedReferencesCount 3
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000454741800003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 02:58:07 EDT 2025
Wed Jan 31 06:36:01 EST 2024
Wed Jan 31 06:47:20 EST 2024
IsPeerReviewed false
IsScholarly true
Keywords verifiable computation
blockchain
smart contract
bitcoin
non-interactive protocol
Language English
License Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Permissions@acm.org
LinkModel DirectLink
MeetingName ICSE '18: 40th International Conference on Software Engineering
MergedId FETCHMERGED-LOGICAL-a247t-52f27c72c725ae2a7b7e12a11729b72cc2f9957d267dc271c91ad98347d48b4a3
PageCount 8
ParticipantIDs ieee_primary_8445053
acm_books_10_1145_3194113_3194116
acm_books_10_1145_3194113_3194116_brief
PublicationCentury 2000
PublicationDate 20180527
2018-May
PublicationDateYYYYMMDD 2018-05-27
2018-05-01
PublicationDate_xml – month: 05
  year: 2018
  text: 20180527
  day: 27
PublicationDecade 2010
PublicationPlace New York, NY, USA
PublicationPlace_xml – name: New York, NY, USA
PublicationSeriesTitle ACM Conferences
PublicationTitle 2018 IEEE ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)
PublicationTitleAbbrev WETSEB
PublicationYear 2018
Publisher ACM
Publisher_xml – name: ACM
SSID ssj0002684918
Score 2.0994227
Snippet Blockchain-driven technologies are considered disruptive because of the availability of dis-intermediated, censorship-resistant and tamper-proof digital...
SourceID ieee
acm
SourceType Publisher
StartPage 17
SubjectTerms 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
Subtitle non-interactive smart contract protocol using blockchain technology
Title NECTAR
URI https://ieeexplore.ieee.org/document/8445053
WOSCitedRecordID wos000454741800003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3fS8MwED624YNPUzdx_iKC4IvdTJs0iW86HIJShk7ZW0nTBIesla3z7zdp64YgiFBIOUIL12vucrnvO4BzqpQgV1p5gcbcI6nEntCh8VhKuTY2JA5LhNzrI4siPp2KcQMu11gYrXVZfKb77rY8y09ztXKpsgEnxDrsoAlNxsIKq7XOpzjWEoF5zd6DCR1Y4yIYB_1qdJwiUs1_NFEpfcio_b-370B3A8ZD47Wb2YWGzvag_d2NAdU_Zwceorvh5ObpGkV55pWJPlmuZeh5bs0DORoqJ3HPKnL7-VFZLYBurTd7V29ylqFNmr0LL6O7yfDeq1sleNInrLDbSeMzxXx7Ual9yRKmsS-xDU9EYsXKN0JQlvohS5XPsBJYpoIHhKWEJ0QG-9DK8kwfAOLGKJUkhEkSEm6kkIZQqqkkNlhLQt6DM6vH2O0BlnEFa6Zxret6DHtw8eecOFnMtOlBx2k6_qi4NeJayYe_i49g2wYsvCo4PIZWsVjpE9hSn8VsuTgtDeILMvKxbw
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED_mFPTJb5yfEQRfrJr00iS-qSiKs4hO8a2kaYJD7GRO_36Ttk4EQYRAwlFaOC69y-V-vwPY4cYoPLQmii2VERaaRsomLhIFl9b5kDipEHIPXZGm8vFR3bRgb4yFsdZWxWd2Pyyru_xiYN5DquxAInqHHU_AJEdkhzVaa5xRCbwlisqGv4ciP_DmhZTG-_UcWEW0efnRRqXyIuez__v-HCx9w_HIzdjRzEPLlgsw-9WPgTTbcxGu0rPT3vHtEUkHZVSl-nT1NyN3L95ASCCiCpLwrtHAGwCp6gXIifdnz-ZJ90vynWhfgvvzs97pRdQ0S4g0QzHyB0rHhBHMD64t0yIXljJNfYCici82zCnFRcESURgmqFFUF0rGKAqUOep4GdrloLQrQKRzxuQ5Co0JSqeVdsi55Rp9uJYnsgPbXo9ZOAW8ZTWwmWeNrps56cDun89k-bBvXQcWg6az15pdI2uUvPq7eAumL3rX3ax7mV6twYwPX2RdfrgO7dHw3W7AlPkY9d-Gm5VxfAKfFrS2
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+1st+International+Workshop+on+Emerging+Trends+in+Software+Engineering+for+Blockchain&rft.atitle=NECTAR&rft.au=Covaci%2C+Alexandra&rft.au=Madeo%2C+Simone&rft.au=Motylinski%2C+Patrick&rft.au=Vincent%2C+St%C3%A9phane&rft.series=ACM+Conferences&rft.date=2018-05-27&rft.pub=ACM&rft.isbn=9781450357265&rft.spage=17&rft.epage=24&rft_id=info:doi/10.1145%2F3194113.3194116
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450357265/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450357265/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450357265/sc.gif&client=summon&freeimage=true