| Description |
1 online resource |
| Series |
Communications in computer and information science ; 1975 |
|
Communications in computer and information science ; 1975.
|
| Contents |
Intro -- Preface -- Organization -- Contents -- One-Phase Batch Update on Sparse Merkle Trees for Rollups -- 1 Introduction -- 2 Preliminaries -- 2.1 Leaf Operation -- 2.2 Sparse Merkle Tree -- 3 Related Work -- 4 One-Phase Batch Update on Sparse Merkle Tree -- 4.1 Leaf Operation Algorithms -- 4.2 Batch Update Algorithm -- 4.3 Comparison -- 5 Experimental Analysis -- 5.1 Experimental Setup -- 5.2 Dataset Collection -- 5.3 Multi-threading Optimisation -- 6 Evaluation -- 6.1 Micro-benchmarks -- 6.2 Macro-benchmark -- 7 Conclusion and Discussion -- 7.1 Future Work -- A zkSync Lite Details |
|
A.1 Design -- A.2 On-Chain -- A.3 Off-Chain -- B zkSync Lite Transaction Flow -- B.1 Overall Transaction Flow -- B.2 Transaction Flow Within Server -- C zkSync Transaction Types -- C.1 From Transactions to Leaf Operations -- C.2 Normal Transaction Types -- C.3 Priority Transaction Types -- D zkSync Lite Sparse Merkle Tree Usage -- References -- On the Relevance of Blockchain Evaluations on Bare Metal -- 1 Introduction -- 2 Analysis -- 2.1 Cloud Environments -- 2.2 Local Testbeds -- 3 Evaluation -- 3.1 Inter-switch Communication -- 3.2 Isle Scalability -- 3.3 Emulated Latency -- 4 Discussion |
|
5 Related Work -- 6 Conclusion -- References -- EVM-Vale: Formal Verification of EVM Bytecode Using Vale -- 1 Introduction -- 2 Background -- 2.1 The Ethereum Virtual Machine -- 2.2 FStar -- 2.3 Vale -- 3 Encoding EVM-R into F* and Raising into Vale -- 3.1 Handling Arithmetic Overflow via Refinement -- 3.2 Unimplemented Features -- 4 Case Studies -- 4.1 Casino -- 4.2 Coin -- 5 Challenges -- 6 Related Work -- 7 Conclusion -- References -- Detecting Malicious Blockchain Transactions Using Graph Neural Networks -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Data Collection |
|
3.2 Data Modelling -- 3.3 Data Pre-processing -- 3.4 Grap Neural Network-Based (GNN) Analysis -- 4 Evaluation -- 5 Conclusion -- References -- Data Sharing Using Verifiable Credentials in the Agriculture Sector -- 1 Introduction -- 2 Implementation of a Decentralized Agricultural Ecosystem -- 2.1 Why Use a Decentralized Model? -- 2.2 Verifiable Data Registry -- 2.3 Verifiable Credential -- 2.4 AnonCreds vs W3C Credentials -- 2.5 Connections, Issuing, Presentation Proof Protocols -- 2.6 Governance -- 2.7 Decentralized Identity Wallet -- 2.8 Personal vs Enterprise Decentralized Identity Wallets |
|
3 Conclusions -- References -- Linking NFT Transaction Events to Identify Privacy Risks -- 1 Introduction -- 2 Related Works -- 3 Overview of the Proposed Concept -- 3.1 Data Collection Phase -- 3.2 Visualisation Through Graphs Phase -- 3.3 Analysis Phase -- 4 Data Collection and Processing -- 4.1 Experimental Setup -- 4.2 Data Collection -- 5 Analysis and Discussion -- 5.1 Neo4j Setup -- 5.2 Visualising Through Graph Format -- 5.3 Discussion -- 6 Conclusion -- References -- The Benefits of Non-Fungible Token (NFT) Technology in Music Copyright -- 1 Introduction |
| Summary |
This book constitutes the proceedings of the 7th International Symposium, SDLT 2023, held in Brisbane, QLD, Australia, during November 30 December 1, 2023. The 8 full papers and the short paper included in this volume were carefully reviewed and selected from 32 submissions. The volume focuses on current systems and new solutions to create a scientific background for a solid development of innovative Distributed Ledger Technology application |
| Notes |
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed February 22, 2024) |
| Subject |
Blockchains (Databases) -- Congresses
|
| Genre/Form |
Electronic books
|
| Form |
Electronic book
|
| Author |
Dong, Naipeng, editor
|
|
Pillai, Babu, editor
|
|
Bai, Guangdong, editor
|
|
Utting, Mark, editor.
|
| ISBN |
9789819700066 |
|
981970006X |
|
