Showing cs.DCShow all
2 papers · 1 filter
cs.DC2026
Systematization of Knowledge: Formal Verification of Consensus Protocols
Nikita Bondarev, Kirill Ziborov, Yury Yanovich
Formal verification is increasingly critical for blockchain consensus protocols, where subtle bugs can cause irreversible financial loss and network failure. Yet the literature on…
cs.DC2026
Caliper-in-the-Loop: Black-Box Optimization for Hyperledger Fabric Performance Tuning
Yash Madhwal, Arseny Bolotnikov, Mark Prikhno +5
Hyperledger Fabric performance depends on many interacting configuration parameters, making manual tuning difficult. We study automated throughput tuning by treating benchmarking a…