区块链中的自动推理：基础、应用与前沿
密码学与安全
2025-05-14 v2 计算机科学中的逻辑
摘要
区块链技术已成为一种变革性范式，用于去中心化和安全的数据管理，适用于多种应用领域，包括医疗保健、供应链管理和物联网。其核心特征，如去中心化、不可变性和可审计性，通过分布式共识算法和加密技术实现，为需要透明度和可信度的多方应用提供了显著优势。然而，区块链系统的内在复杂性和安全关键性质 necessitate 严格的分析和验证以确保其正确性、可靠性和抗潜在漏洞的韧性。
引用
@article{arxiv.2503.20461,
title = {Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers},
author = {Hojer Key},
journal= {arXiv preprint arXiv:2503.20461},
year = {2025}
}