中文
相关论文

相关论文: Towards a Formal Foundation for Blockchain Rollups

200 篇论文

Turing completeness has made Ethereum smart contracts attractive to blockchain developers and attackers alike. To increase code security, many tools can now spot most known vulnerabilities$-$at the cost of production efficiency. Recent…

密码学与安全 · 计算机科学 2024-10-23 Tommaso Oss , Carlos E. Budde

Blockchain technology has emerged as one of the most transformative digital innovations of the 21st century. This paper presents a comprehensive review of blockchain's fundamental architecture, tracing its development from Bitcoin's initial…

密码学与安全 · 计算机科学 2025-05-14 Aditya Pratap Singh

Liquid staking has become the largest category of decentralized finance protocols in terms of total value locked. However, few studies exist on its implementation designs or underlying risks. The liquid staking protocols allow for earning…

密码学与安全 · 计算机科学 2024-01-30 Krzysztof Gogol , Benjamin Kraner , Malte Schlosser , Tao Yan , Claudio Tessone , Burkhard Stiller

Interoperability and scalability are currently the bottlenecks preventing mass adoption of blockchain technology. Development of an interoperable and scalable network that promotes a truly decentralised, permissionless and secure blockchain…

分布式、并行与集群计算 · 计算机科学 2021-10-05 Kevin Coutinho , Ponnie Clark , Ferdinand Azis , Norman Lip , Josh Hunt

Blockchains have shown great promise as peer-to-peer digital currency systems over the past 10 years. However, with increased popularity, the demand for processing transactions has also grown leading to increased costs, confirmation times,…

密码学与安全 · 计算机科学 2018-11-02 Karl J. Kreder

This thesis proposes techniques aiming to make blockchain technologies and smart contract platforms practical by improving their scalability, latency, and privacy. This thesis starts by presenting the design and implementation of…

密码学与安全 · 计算机科学 2021-02-25 Alberto Sonnino

There is an ongoing competition among blockchain technologies and the existence of one ultimate blockchain is impossible for many reasons. On the other hand, such variety can create difficulties in adoption, especially for the governments…

密码学与安全 · 计算机科学 2020-07-24 Oleksii Konashevych

Foundation models including large language models (LLMs) are increasingly attracting interest worldwide for their distinguished capabilities and potential to perform a wide variety of tasks. Nevertheless, people are concerned about whether…

软件工程 · 计算机科学 2024-02-23 Yue Liu , Qinghua Lu , Liming Zhu , Hye-Young Paik

The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the key capabilities of these emerging platforms is the ability…

密码学与安全 · 计算机科学 2019-01-23 Anastasia Mavridou , Aron Laszka , Emmanouela Stachtiari , Abhishek Dubey

Blockchain is a decentralized network to increase trust, integrity, and transparency of transactions. With the exponential growth of transactions in the realm of Blockchain, especially in Bitcoin, Blockchain size increases as all…

密码学与安全 · 计算机科学 2024-04-30 Hamidreza Rahmati , Farhad Rahmati

Blockchains have become immensely popular and are high on the list of national and international research and innovation agenda's. This is partly caused by the numerous interesting applications, combined with the promise of full…

分布式、并行与集群计算 · 计算机科学 2021-03-03 Maarten van Steen , Andrew Chien , Patrick Eugster

This article surveys blockchain-based approaches for several security services. These services include authentication, confidentiality, privacy, and access control list (ACL), data and resource provenance, and integrity assurance. All these…

密码学与安全 · 计算机科学 2018-10-23 Tara Salman , Maede Zolanvari , Aiman Erbad , Raj Jain , Mohammed Samaka

With the growing development and deployment of large language models (LLMs) in both industrial and academic fields, their security and safety concerns have become increasingly critical. However, recent studies indicate that LLMs face…

密码学与安全 · 计算机科学 2024-11-19 Caleb Geren , Amanda Board , Gaby G. Dagher , Tim Andersen , Jun Zhuang

Large Language Models (LLMs) have emerged as powerful tools across various domains within cyber security. Notably, recent studies are increasingly exploring LLMs applied to the context of blockchain security (BS). However, there remains a…

密码学与安全 · 计算机科学 2025-03-25 Zheyuan He , Zihao Li , Sen Yang , He Ye , Ao Qiao , Xiaosong Zhang , Xiapu Luo , Ting Chen

Designing an efficient difficulty control algorithm is an essential problem in Proof-of-Work (PoW) based blockchains because the network hash rate is randomly changing. This paper proposes a general difficulty control algorithm and provides…

密码学与安全 · 计算机科学 2020-04-23 Shulai Zhang , Xiaoli Ma

We propose BlockScan, a customized Transformer for anomaly detection in blockchain transactions. Unlike existing methods that rely on rule-based systems or directly apply off-the-shelf large language models (LLMs), BlockScan introduces a…

密码学与安全 · 计算机科学 2025-10-22 Jiahao Yu , Xian Wu , Hao Liu , Wenbo Guo , Xinyu Xing

The application of Bitcoin enables people to understand blockchain technology gradually. Bitcoin is a decentralized currency that does not rely on third-party credit institutions, and the core of Bitcoin's underlying technology is…

密码学与安全 · 计算机科学 2025-04-15 Yuhuan Yang , Shipeng Ye , Xiaoqi Li

Due to the modern relevance of blockchain technology, smart contracts present both substantial risks and benefits. Vulnerabilities within them can trigger a cascade of consequences, resulting in significant losses. Many current papers…

密码学与安全 · 计算机科学 2023-09-15 Abhinav Jain , Ehan Masud , Michelle Han , Rohan Dhillon , Sumukh Rao , Arya Joshi , Salar Cheema , Saurav Kumar

The emergence of more and more blockchain solutions with innovative approaches to optimising performance, scalability, privacy and governance complicates performance analysis. Reasons for the difficulty of benchmarking blockchains include,…

分布式、并行与集群计算 · 计算机科学 2023-11-28 Frank Christian Geyer , Hans-Arno Jacobsen , Ruben Mayer , Peter Mandl

Blockchain technologies provide excellent architectures and practical tools for securing and managing the sensitive and private data stored in biometric templates, but at a cost. We discuss opportunities and challenges in the integration of…

计算机视觉与模式识别 · 计算机科学 2020-03-23 Oscar Delgado-Mohatar , Julian Fierrez , Ruben Tolosana , Ruben Vera-Rodriguez