Abstract is missing.
- A simulator of Solidity-style smart contracts in the theorem prover AgdaFahad F. Alhabardi, Anton Setzer. 1-11 [doi]
- CBDC consensus algorithm design choiceAnastasia Tsareva, Yash Madhwal, Yury Yanovich. 12-18 [doi]
- Automated Smart Contract Vulnerability Detection using Fine-tuned Large Language ModelsZhiju Yang, Gaoyuan Man, Songqing Yue. 19-23 [doi]
- Web3 Based Digital Rights Management in the Music IndustryMikhail Cherdakov, Aleksey Kudashkin, Yash Madhwal, Yury Yanovich. 24-29 [doi]
- Bitcoin user analysis based on address clustering and community discovery algorithmJiaxin Li, Tianci Yu, Yannian Wang, Yue Sun. 30-34 [doi]
- Toward Achieving Anonymous Non-Fungible Tokens in Trustless EnvironmentZhanwen Chen, Kazumasa Omote. 35-41 [doi]
- Authentic Non Fungible TokensJoão Beleza Sousa, Gonçalo Marques. 42-47 [doi]
- A Study of Managing University Course based on Decentralized IdentifiersMingyuan Chen, Bin Chen, Zejun Ling, Peichang Zhang, Shengli Zhang. 48-53 [doi]
- Blockchain for IoT Scenarios: Lightweight Three-Tier Architecture with GH-PBFT ConsensusZiwen Dai, Qi Xia. 54-60 [doi]
- Enhancing the Regulatory Framework around Electronic Signatures through the Integration of Blockchain TechnologyYunqi Yang, Grace T. R. Lin. 61-69 [doi]
- ZK-BFT: A Zero-knowledge and Byzantine Fault Tolerant Consensus for Permissioned Blockchain NetworksWanxin Li, Collin Meese, Mark M. Nejad, Hao Guo. 70-77 [doi]
- Leaderless Byzantine Fault-Tolerant Consensus Protocol for BlockchainsAnastasia Afanasyeva, Denis Kameskiy, Sergei Telnov, Yury Yanovich. 78-84 [doi]
- AutoChain: An Incentive-Based Blockchain System for Air Quality Monitoring and Emissions ReductionBogdan Cristian Florea, Dragos-Daniel Taralunga. 85-91 [doi]
- DID-based Distributed Verifiable Random Function with Successor Rule-based de Bruijn Sequence in BlockchainBong Gon Kim, Dennis Wong. 92-102 [doi]
- Brain Logger: A Web3 Based Decentralized Social NetworkYaroslav Plishan, Yash Madhwal, Yury Yanovich. 103-107 [doi]