Filters








24,155 Hits in 2.7 sec

Raziel: Private and Verifiable Smart Contracts on Blockchains [article]

David Cerezo Sánchez
2020 arXiv   pre-print
Raziel combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains.  ...  Additionally, we show how to use Zero-Knowledge Proofs of Proofs (i.e., Proof-Carrying Code certificates) to prove the validity of smart contracts to third parties before their execution without revealing  ...  Annotated smart contracts with full/partial proofs Annotated smart contracts with certifiable certificates (Proof Carrying Code) Ultimately, as an example of their applicability, the use of the proposed  ... 
arXiv:1807.09484v2 fatcat:ksncs6sm4bclfkhw6vhmfeqbdu

Blockchain Technology as an Alternative Method of Payment Transaction Proof

Bambang Irawan
2021 International Journal Of Science, Technology & Management  
Smart contracts use to carry out payments that have been agreed upon between the two parties automatically.  ...  Our System Architecture.Proposed Line Shop ArchitectureIn this section, we presented a Payment Transaction Proof (PTP) that has interoperability with the consumer service application and smart contract  ... 
doi:10.46729/ijstm.v2i5.309 fatcat:datax6oqprhurow5qogkl2h2dm

Tunnelling Trust into the Blockchain: a Merkle Based Proof System for Structured Documents

Francesco Bruschi, Vincenzo Rana, Alessio Pagani, Donatella Sciuto.
2020 IEEE Access  
The party interested in proving the condition carries out the proof computation, and communicates it to the smart contract.  ...  that accepts a document, the type of proofs, and computes the proof; • a set of smart contracts that check a given proof.  ... 
doi:10.1109/access.2020.3028498 fatcat:hlaivcmr3nd2hmozbm5fise7be

MARINE HULL INSURANCE USING PRIVATE BLOCKCHAIN, FILECOIN PROTOCOL AND SMART CONTRACTS

Vatsalya .
2018 International Journal of Advanced Research in Computer Science  
One of the key developments in Digitization has been the use of Blockchain technologies which support distributed ledgers, smart contracts, smart properties, storage, etc.  ...  To resolve these issues, we combine three of the latest technologies in Blockchain, namingly, Private Blockchain, Filecoin Protocol and Smart Contracts.  ...  However, in the case of a smart contract, both the entities give it's assets to the smart contract.  ... 
doi:10.26483/ijarcs.v9i3.5759 fatcat:mvagum6fyfaxlkk3phn7amdzze

Foreign money transfer using blockchain

Nupur Giri, Dheeraj Singh Jodha, Yash Goyal, Akshay Thite, Abhay Tiwari, M.D. Patil, V.A. Vyawahare
2021 ITM Web of Conferences  
Smart Contract helps to eliminate middle banks in the process by acting on rules specified in the contract.  ...  Blockchain provides crucial features such as immutability of records and decentralization, which is then used to carry out foreign transactions.  ...  A smart contract contains a set of rules which are to be satisfied to carry out the transaction.  ... 
doi:10.1051/itmconf/20214003015 fatcat:6brmnwsbybfc3apq2owrharc4m

Blockchain Technology for Managing land Titles in Nigeria

Obamehinti Adeolu Seun
2020 International Journal of Advanced Trends in Computer Science and Engineering  
This paper examines Blockchain Smart Contract for managing land titles in Nigeria. Specifically, it presents a detailed smart contract for land title and transfer between owner (government) and buyer.  ...  It has received much interest from researchers over the years, as it is known to be a transparent, secured, no third party and tamper-proof public records repository system for documents, contracts, properties  ...  CONCLUSION For this research a proof of concept blockchain application is built to manage land titles and transactions that is carried out within the sector, this application, ethereum smart contract has  ... 
doi:10.30534/ijatcse/2020/178942020 fatcat:vkrkgkr32jen5krswctbdyzt3a

Blockchain-based Result Verification for Computation Offloading [article]

Benjamin Körbel and Marten Sigwart and Philip Frauenthaler and Michael Sober and Stefan Schulte
2021 arXiv   pre-print
For this, we apply zero-knowledge proofs to provide evidence that results are correct.  ...  Thus, a service consumer can be sure that a result is valid (or not), and the broker smart contract could carry out the payment.  ...  and the result verification smart contract.  ... 
arXiv:2110.11090v1 fatcat:omd5o6mtnjdolmpinyz7jyjb74

Implementation of Blockchain Technology in Education System

2019 International journal of recent technology and engineering  
Here smart contracts can be designed and deployed on to the Ethereum blockchain that can be designed using the solidity programming language.  ...  The data can be stored securely and tamper proof format when it's stored onto the blockchain network.  ...  Considering that the data stored on the blockchain is tamper proof and cannot be modified once deployed on blockchain network and stored in the form of tamper proof smart contracts.  ... 
doi:10.35940/ijrte.b2462.078219 fatcat:gdkljtbaprg6jcm44zlx5uum7u

Public Distributed Decentralized System as Blockchain

Sayali Sandesh Pingale, Prof. Rohit Bag, Dr. Mangesh M. Ghonge
2021 International Journal of Research in Advent Technology  
Smart Contracts A smart contract is a simple computer program that facilitates to exchange of any valuable assets between two users.  ...  By the use of the Ethereum network, we can write the programming codes if those codes represent any type of contract called smart contracts.  ... 
doi:10.32622/ijrat.812202003 fatcat:llimrauip5cnrgon7zfcbovj7y

Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft [article]

Zaynah Dargaye, Sara Tucci-Piergiovanni
2018 arXiv   pre-print
We provide an accountability model that allows to formally prove the accountability of agents by a formal proof locally executable by each agent of the blockchain.  ...  Proof-carrying authorization [2] is more dedicated to permission and access properties than accountability and reliability.  ...  can affect the smart contracts behavior.  ... 
arXiv:1812.05444v1 fatcat:rbcb7s4qxvhcvlulwnwoj6mxuq

Privacy-aware Decentralized and Scalable Access Control Management for IoT Environment

Abrar O. Alkhamisi and Fathy Alboraei Abrar O. Alkhamisi and Fathy Alboraei
2019 journal of king abdulaziz university computing and information technology sciences  
of all the nodes in the smart contract.  ...  Moreover, the proposed architecture employs the non-interactive zeroknowledge proof cryptographic protocol to ensure the transaction privacy within the smart contract.  ...  protocol in the smart contract.  ... 
doi:10.4197/comp.8-1.7 fatcat:md57pr7l7vh65biamo25rkffvy

BDCPS — A Framework for Smart Manufacturing Systems using Blockchain Technology

2019 International Journal of Engineering and Advanced Technology  
Using the Smart Contracts feature and trust-less peer-to-peer decentralized ledger feature, BDCPS will validate the claim with a small-scale real-life Blockchain with IoT system.  ...  The current smart systems lack the decentralized decision making and real-time communication infrastructure, which is a condition for adaptive, smart manufacturing systems.  ...  To showcase BDCPS, an implementation was carried out for Machine Maintenance using IoT communication and smart contracts.  ... 
doi:10.35940/ijeat.a1069.1291s319 fatcat:tlebqxrnrveyhkll2nlhah5fhe

Blockchain in Supply Chain: Journey from Disruptive to Sustainable

V SAINI
2019 JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES  
The Paper provides a comprehensive map for technical feasibility of a blockchain based supply chain through the distributed concepts including proof of work, consensus, and smart contracts.  ...  SMART CONTRACTS Smart contracts are computer programs that secure, enforce and execute the settlement of a contract between organizations, people and things.  ...  A distributed application (dApp) is a set of smart contracts that stores data and enforces multiple smart contracts on a blockchain.  ... 
doi:10.26782/jmcms.2019.04.00036 fatcat:tbsrxk4obrbkdi6l6rd3ba2yuq

A Novel Architecture for Tamper Proof Electronic Health Record Management System using Blockchain Wrapper

Mohammad Saidur Rahman, Ibrahim Khalil, Pathum Chamikara Mahawaga Arachchige, Abdelaziz Bouras, Xun Yi
2019 Proceedings of the 2019 ACM International Symposium on Blockchain and Secure Critical Infrastructure - BSCI '19  
A tamper-proof EHR management system is required that would essentially solve such issues.  ...  The blockchain is an emerging technology that can be adapted to develop a tamper-proof data management system.  ...  Smart Contracts. The business logic of a blockchain exists on a concept called a smart contract.  ... 
doi:10.1145/3327960.3332392 dblp:conf/bsci/RahmanKCBY19 fatcat:cnyznhadz5fvhmd64n5q4ekxli

CRYPTO-SPATIAL: AN OPEN STANDARDS SMART CONTRACTS LIBRARY FOR BUILDING GEOSPATIALLY ENABLED DECENTRALIZED APPLICATIONS ON THE ETHEREUM BLOCKCHAIN

A. Benahmed Daho
2020 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
The smart contracts of this prototype are live on the Rinkeby testnet and the frontend is hosted on Github pages.  ...  The design of the Crypto-Spatial framework was implemented as a set of smart contracts using the Solidity object oriented programming language.  ...  , most of them have been) exploited to carry on attacks.  ... 
doi:10.5194/isprs-archives-xliii-b4-2020-421-2020 fatcat:ff4ox4mn3rdvxgmjscduzm5w54
« Previous Showing results 1 — 15 out of 24,155 results