16:00-19:00
Conference Program
Full paper, short paper, poster, and lightning talk sessions for BCRA 2026.
July 10
Friday, July 10, 2026
Open discussion
July 11
Saturday, July 11, 2026
16:00-19:00
Blockchain Corner: Open Discussion on International Regulation
July 12
Sunday, July 12, 2026
19:30
Blockchain Corner: Open Discussion on AI Integration
Venue: Sirenetta
Viale Principe di Scalea, 7, 90151 Palermo, Italy
July 13
Monday, July 13, 2026
09:00
Registration
09:30-09:40
Institutional Greeting
Istituto Zooprofilattico Sperimentale della Sicilia
Short greeting presentation from IZS Sicilia, patron of BCRA 2026.
09:45-10:30
Keynote Speech: Rewards, Penalties, and the Security of Blockchain Consensus
Session chair: Jingyue Li (Norwegian University of Science and Technology)
Sara Tucci Piergiovanni, CEA LIST, Paris-Saclay University
Abstract
In recent years, many blockchain systems have transitioned to voting-based consensus protocols, where validators' voting power depends on their stake, namely the amount of value they lock in the system. To validate transactions, validators are expected to verify blocks and participate in the voting process; when successful, they receive rewards. To make block validation both correct and fast, many protocols also introduce penalties, including missed rewards or inactivity penalties, for validators that are slow, offline, or poorly connected. These reward and penalty mechanisms are meant to support the fundamental security properties of consensus: safety, ensuring that conflicting blocks are not finalized, and liveness, ensuring that new blocks continue to be produced. However, predicting the effects of such mechanisms is difficult, and they may lead to unintended consequences. Penalties, for instance, may be unfairly assigned to honest participants under network delays or connectivity problems. Moreover, whether participants actually follow the prescribed protocol depends on complex coordination incentives: a validator may be tempted to vote without checking a block's validity, anticipating that others will perform the verification. In this keynote, I will explore the effect of incentives on security properties in voting-based Proof-of-Stake consensus protocols. I will discuss how penalties can affect honest participants, and how this may impact both safety and liveness. I will also discuss incentive compatibility and what recent research reveals about the limits of incentive-compatible consensus. I will conclude with open problems and research directions at the intersection of distributed computing, game theory, and blockchain economics.
Bio
Dr Sara Tucci-Piergiovanni is a Research Director and Senior Fellow at CEA LIST, Paris-Saclay University, where she leads a research team working on decentralized and trustworthy computing. She has authored over 100 publications in the field of distributed systems, spanning both theoretical foundations and applied aspects. She is internationally recognized for her contributions to the theory and design of blockchain and distributed ledger technologies. Her work has contributed to the transition from energy-hungry proof-of-work systems to secure and energy-efficient proof-of-stake blockchains, with a particular focus on the security of consensus protocols and incentive mechanisms.
11:00-12:30
Morning Session: Crypto Asset Risk and On-chain Transaction Analysis
Session chair: Xiaohu Yang (Zhejiang University)
1
#26Full
Shedding Light on Complex Bitcoin Mixer Transactions: 67-Fold Reduction in Unclassified Cases
Nikolay Larionov, Yekaterina Smolenkova and Yury Yanovich
2
#92Full
TAD-FGNN: A Temporal-Aware Active Defense Federated Graph Neural Network for Anomaly Transaction Detection
Haoyu Chen, Jinsong Wang, Zening Zhao, Kai Shi and Zongpu Wei
3
#20Full
Does Bitcoin predict stock market crashes?
Jinsha Zhao and Jia Miao
4
#131Short
Quality over Quantity: Semi-Supervised Detection of Illicit Bitcoin Flows through Feature Engineering
Yekaterina Smolenkova, Nikolay Larionov, Nikolay Ivanov and Yury Yanovich
5
#115Workshop
Toward a Virtual Asset Infrastructure Adoption Framework for Financial Services: A Systematic Literature Review and Meta-Model Development
15:00-16:30
Afternoon Session 1: MEV, Trading Infrastructure and Decentralized Markets
Session chair: Yuanzhe Zhang (Nanyang Technological University)
1
#58Full
APRO: Account-Side Enforcement of Canonical Post-Reveal Ordering for ERC-4337 UserOperations
Guangyu Peng, Ziyan Zhao and Xiaohu Yang
2
#87Full
AEGIS: Auditable Admission for Builder-Mediated Orderflow
Guangyu Peng, Ziyan Zhao, Jindou Chen and Xiaohu Yang
3
#91Full
Market Concentration and Strategic Partnerships of MEV Supply Chain on Ethereum
Tao Yan, Wenxin Wan, Meng Zhang and Claudio Tessone
4
#129Short
Can MEV Infrastructure Double as a Compliance Layer? Evidence from Public Mempool Visibility and Early-Warning Measurement
Wai Kwan Mark Woo, Jiayi Lin and Yuexuan Wang
5
#130Short
Trade-Size-Aware Dynamic Fees for Impermanent Loss Mitigation in Automated Market Makers
Anton Ledrov, Ignat Melnikov, Irina Lebedeva, Dmitrii Umnov, George Ovchinnikov and Yury Yanovich
17:00-18:15
Afternoon Session 2: Smart Contract Security, Testing and Privacy
Session chair: Ruidong Zhang (Zhejiang University and University of Wisconsin-Eau Claire)
1
#17Full
On the Shoulders of Giants: Empowering Automated Smart Contract Auditing via the GiAnt Corpus
Xiaoting Zhang, Zhipeng Gao, Yiran Lv, Xing Hu, Feifei Niu and Xin Xia
2
#40Full
Multi-Agent Framework for Reducing False Positives of Smart Contract Static Analysis Tools
Ting Zhang, Jiachi Chen, Yongchang Sun, Yuqi Zhang, Jiashuo Zhang, Jianbo Gao and Zhong Chen
3
#74Full
A²F: Enabling FHE-Based Smart Contracts over Additively Homomorphic Confidential Blockchains
Chenke Wang, Shuangcheng Liu, Yu Long, Xian Xu and Dawu Gu
4
#121Short
Upgrade-Aware Capture-Replay Testing for Proxy-Based Smart Contracts
Morena Barboni, Guglielmo De Angelis, Andrea Morichetta and Andrea Polini
July 14
Tuesday, July 14, 2026
09:45-10:30
Keynote Speech: Blockchain as infrastructure service for AI Agents
Session chair: Lingfeng Bao (Zhejiang University)
Ruidong Zhang, Zhejiang University's International Business School
Abstract
In agentic economy, autonomous and self-learning AI agents can transact directly in a blockchain ecosystem. These AI agents can automate transactions and make decisions with zero human intervention and maximum transparency. Blockchain as an infrastructure service can enable AI Agents to achieve true autonomy, security and the ability to conduct trustless transactions in a decentralized digital economy.
Bio
Dr. Ruidong Zhang is a full professor of computer information systems at Zhejiang University's International Business School. He oversees the school's efforts in digital transformations. He currently also serves as an associate editor of Blockchain Research and Applications, an international journal published by Elsevier quarterly. His research areas include cloud computing, blockchain applications, cryptocurrency and regulations, agentic economy and big data analytics.
11:00-13:00
Morning Session: Interoperability, Execution Performance and Verifiable Data Infrastructure
Session chair: Chunming Rong (University of Stavanger)
1
#46Full
Fine-Grained Latency Testing of the IBC Protocol Using eBPF
Yuying Wang, Zhaoxiong Song, Yi Guo, Hanwen Zhang, Jun Zhang and Yi Sun
2
#101Full
Latency Performance Modeling and Analysis for End-to-End Relay-Chain Ecosystems
Hao Ding, Can Wang, Jiasi Li, Haoran Ding, Jiyu Liu, Qing Li, Xuefeng Piao and Zhenzhou Ji
3
#66Full
Detrax: Deterministic Parallel Transaction Scheduling for the ChainMaker Blockchain
Cheng Hu, Tianhao Xiao, Jianbo Gao, Yibing Zhao, Yue Li, Xiaoqiang Zhu, Sen Liu, Gerui Wang, Mingchao Wan, Jian Wang and Jiqiang Liu
4
#48Short
Native Account Abstraction Beyond Ethereum: Design and Benchmarking on a Move-based Ledger
Antonino Iaria, Mirko Zichichi, Levente Pap and Stefano Ferretti
5
#125Short
ABCD-IoHT: An Adaptive Blockchain Hyperledger Architecture for Healthcare Applications
Jackey Cheung and Sm Yiu
6
#124Short
Ada-Link: A Blockchain-Enabled Verifiable Data Acquisition Scheme with Adaptive Compression for IoV Forensic
Jiasi Li, Hao Ding, Xuefeng Piao, Seong-Je Cho and Zhenzhou Ji
15:00-16:15
Afternoon Session 1: Consensus, Sharding and Blockchain Verification
Session chair: Pierluigi Gallo (University of Palermo)
1
#39Full
A Formal Model of Algorand BBA* Consensus with Its Noninterference Analysis and Probabilistic Verification via CADP
Andrea Esposito, Francesco Pio Rossi, Marco Bernardo, Francesco Fabris and Francesco Spegni
2
#71Full
General Smart Contracts Across Shards: A 2PC Protocol for Adaptive State-Sharded Blockchains
Yackolley Amoussou-Guenou, Emmanuelle Anceaume, Antonella Del Pozzo, Aimen Djari, Skander Mhadhbi and Sara Tucci Piergiovanni
3
#104Full
Systematization of Knowledge: Formal Verification of Consensus Protocols
Nikita Bondarev, Kirill Ziborov and Yury Yanovich
4
#122Short
Evaluate and Guard the Wisdom of Crowds: Trustless Blockchain Oracle via Quality-Aware and Verifiable Data Aggregation
Xuanming Liu, Xinpeng Yang, Yinghao Wang and Xiaohu Yang
16:45-18:15
Afternoon Session 2: Agents, Governance and Blockchain Economics
Session chair: Zhipeng Gao (Zhejiang University)
1
#15Full
Revealing and Benchmarking the Safety Risks in Blockchain Agents
Jiawen Zhang, Kejia Chen, Lipeng He, Yechao Zhang, Jian Liu and Xiaohu Yang
2
#57Full
AITCap: Tool-Scoped DID Authorization with Context-Attenuated Capabilities for MCP Ecosystems
Guangyu Peng, Ziyan Zhao, Yong Wang and Xiaohu Yang
3
#61Full
SoK: Blockchain Agent-to-Agent Payments
Yuanzhe Zhang, Yuexin Xiang, Yuchen Lei, Qin Wang, Tian Qiu, Yujing Sun, Spiridon Zarkov, Tsz Hon Yuen, Andreas Deppeler, Jiangshan Yu and Kwok-Yan Lam
4
#127Short
Phantom Alliances in DAO Governance
Qianyu Liu, Guangyao Li, Xiansheng Li and Claudio J. Tessone
5
#128Short
Feasibility of Blockchain-Based Intermediary Alternatives
Qianyu Liu, Guangyao Li, Shengnan Li, Wei Dai and Claudio J. Tessone
Evening, 8:00 PM
Social Dinner
The conference social dinner will take place on the evening of July 14, 8:00.
July 15
Wednesday, July 15, 2026
09:45-10:30
Keynote Speech: Aligning with Nakamoto's Vision: Privacy and Censorship Resistance for Hybrid Smart Contracts
Session chair: Pierluigi Gallo (University of Palermo)
Ivan Visconti, Sapienza University of Rome
Abstract
Hybrid smart contracts extend the utility of blockchain networks by leveraging decentralized oracles to securely verify and integrate external data. However, triggering these contracts based on real-world events often introduces critical vulnerabilities regarding user privacy and susceptibility to centralized data censorship. This keynote addresses these challenges by exploring the architectural design of a privacy-preserving censorship-resistant system for hybrid smart contracts. We examine how blockchains, self-sovereign identity (SSI) and advanced cryptographic credentials can serve as decentralized tools to verify external facts aligning with Nakamoto's view.
Bio
Ivan Visconti is a full professor of Computer Science at the Department of Computer, Control and Management Engineering of Sapienza University of Rome. His research interests focus on cryptography and, more specifically, on data protection through zero-knowledge proofs, post-quantum cryptography, decentralized systems, blockchain technology, homomorphic encryption, and privacy-enhancing technologies. For over 20 years, he has contributed to the design of advanced cryptographic systems, publishing his results in the proceedings of prestigious conferences organized by the International Association for Cryptologic Research (IACR) and serving on their program committees.
11:00-13:00
Morning Session 1: Execution Infrastructure, Blockchain Applications
Session chair: Giovanni Capizzi (SEEDS)
1
#75Full
A RISC-V JIT Backend for Solana eBPF: Enabling Multi-Architecture Deployment of Blockchain Virtual Machines
Jun Liu, Jiayi Lu, Shenghao Yuan, David Sanan and Yongwang Zhao
2
#37Full
A Blockchain Architecture for Tokenizing Carbon Removal Credits as Real-World Assets in CCS Carbon Trading Systems
Chunming Rong, Nan Zhang and Marius Sikveland
3
#64Full
FORGE: Fault-Tolerant Off-Chain GPU Computation with Optimistic Selective Re-Computation and Economic Security
Ziyan Zhao, Guangyu Peng and Wei Zhang
4
#118Short
A Systematization of Knowledge on DeFi Vaults: Architectures, Curation Mechanisms, and Strategy Design
Davide Mancino and Luca Pennella
5
#47Short
Securing User-Controlled Health Data Sharing with Blockchain and Decentralized Storage
Umberto Pollarini, Antonino Iaria, Vittorio Ghini, Gabriele D'Angelo and Stefano Ferretti
6
#126Short
Liquidity Provision in CLMMs: Historical Transaction-Based Study of LP PnL, Classification, Position Types and Motivation
Andrey Urusov, Rostislav Berezovskiy, Anatoly Krestenko and Andrei Kornilov
7
#114Poster
Identity on Whose Terms? Exploring User Priorities in Decentralized Identity
Daria Schumm, Venusan Velrajah and Burkhard Stiller
15:00-16:15
Morning Session 2: DeFi, Identity and Applied AI
Session chair: Jingyue Li (Norwegian University of Science and Technology)
1
#1Full
Quantifying Observable High-Frequency Swapping On Arbitrum
Shijian Chen, Ya Chen, Jing Cai and Catherine Liu
2
#120Short
Fine-Grained Privacy-Aware Educational Data Sharing with Hierarchical Key Derivation
Zijun Guo, Shichang Yang, Tao Leng, Lina Lan, Shihan Zhang, Bing Han and Ruisheng Shi
3
#123Lightning
Comparing On-Chain Order Book Data Structures: Gas Costs, Market Quality, and Deployment Guidelines Across EVM Chains (Extended Abstract)
Adam Novocký and Kristián Košťál
4
#119Workshop
Managing Renegotiability in Blockchain-based Enforceable Business Processes
Muhammad Bin Saif, Veronica Paternolli, Mauro Gambini, Sara Migliorini and Mila Dalla Preda
5
#116Short
Decentralized Governance of Multi-Agentic-AI Systems with Zero-Knowledge and Blockchain
Muhammad Bin Saif and Sara Migliorini