scholarly journals End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

2020 ◽  
pp. 151-164
Author(s):  
Daejun Park ◽  
Yi Zhang ◽  
Grigore Rosu
Keyword(s):  
Formal Verification ◽  
Smart Contract ◽  
End To End

Formal Verification of BNB Smart Contract

2019 ◽  
Author(s):  
Xiaoyu Li ◽  
Cheng Su ◽  
Yan Xiong ◽  
Wenchao Huang ◽  
Wansen Wang
Keyword(s):  
Formal Verification ◽  
Smart Contract

scholarly journals Consortium Blockchain Smart Contracts for Musical Rights Governance in a Collective Management Organizations (CMOs) Use Case

2020 ◽  
Vol 12 (8) ◽  
pp. 134
Author(s):  
Nikolaos Kapsoulis ◽  
Alexandros Psychas ◽  
Georgios Palaiokrassas ◽  
Achilleas Marinakis ◽  
Antonios Litke ◽  
...  
Keyword(s):  
Music Industry ◽  
Use Case ◽  
Smart Contracts ◽  
Non Profit ◽  
Collective Management ◽  
Distributed Ledger ◽  
Smart Contract ◽  
Distributed Ledger Technology ◽  
End To End ◽  
Permissioned Blockchains

Private and permissioned blockchains are conceptualized and mostly assembled for fulfilling corporations’ demands and needs in the context of their own premises. This paper presents a complete and sophisticated end-to-end permissioned blockchain application for governance and management of musical rights endorsed by smart contract development. In a music industry use case, this disclosed solution monitors and regulates conflicting musical rights of diverse entities under a popular permissioned distributed ledger technology network. The proposed implementation couples various and distinct business domains across the music industry organizations and non-profit blockchain associations.

scholarly journals Military Supply Chain Management and Blockchain Development

2021 ◽  
Author(s):  
Syarifah Bahiyah Rahayu ◽  
Sharmelen A/L Vasanthan ◽  
Afiqah M. Azahari ◽  
Joe Chai
Keyword(s):  
Supply Chain ◽  
Supply Chain Management ◽  
Secure Communication ◽  
Chain Management ◽  
Smart Contract ◽  
End To End ◽  
The Military ◽  
Future Work

Blockchain has become a powerful technology and when it comes to supply chain management, blockchain has a lot to offer which could contribute to its development and make the supply chain more effective. The same benefit could be also gained when blockchain is incorporated in the Military Supply Chain Management (MSCM). Theaim of this paper is to develop and integrate blockchain in the MSCM. The developed MSCM is focusing on three (3) main blockchain components, which are transparency, integrity and secure communication. The methodology to develop the MSCM blockchain similar to UnicalCoin. The findings show that incorporating blockchain into the MSCM enables transparency, integrity and secure communication. Thus, blockchain may reduce fraud, improve communication between parties and made end-to-end tracking transparency in MSCM. Future work is to embed a smart contract feature to automate some processes in MSCM.

scholarly journals A Novel Integrated Strict Verification of Smart Contracts on Blockchain

2020 ◽  
Vol 9 (4) ◽  
pp. 1993-1995
Keyword(s):  
Formal Verification ◽  
Smart Contracts ◽  
Smart Contract

Blockchain is an evolving technology which helps in keeping records and process transactions in decentralized manner. Blockchain is considered as safest medium because of its decentralized nature and many protocols, algorithms which it follows to make sure that transaction are immutable. Blockchain concept basically uses BZT theorem, this is considered as one of secured algorithm to predict secure results. however formal verification approach for the smart contract is still the best way to perform verification. In our paper, we have depicted various algorithm according to which we can verify the smart contract in best possible way.

Sign in / Sign up

Export Citation Format

Share Document