中文
相关论文

相关论文: BitMLx: Secure Cross-chain Smart Contracts For Bit…

200 篇论文

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no…

计算机科学中的逻辑 · 计算机科学 2017-07-07 Kai Brünnler , Dandolo Flumini , Thomas Studer

Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking…

编程语言 · 计算机科学 2021-08-31 Thi Thu Ha Doan , Peter Thiemann

Large language models (LLMs) excel at generating code from natural language instructions, yet they often lack an understanding of security vulnerabilities. This limitation makes it difficult for LLMs to avoid security risks in generated…

密码学与安全 · 计算机科学 2025-05-08 Lingxiang Wang , Hainan Zhang , Qinnan Zhang , Ziwei Wang , Hongwei Zheng , Jin Dong , Zhiming Zheng

Blokchain is used in a variety of applications where trustworthy computing is re-quired. Trade finance is one of these areas that would benefit immensely from a decentralized way of doing transactions. This paper presents the preliminary…

密码学与安全 · 计算机科学 2022-04-29 Asif Bhat , Rizal Mohd Nor , Md Amiruzzaman , Md. Rajibul Islam

To empower smart contracts with the promising capabilities of cryptography, Ethereum officially introduced a set of cryptographic APIs that facilitate basic cryptographic operations within smart contracts, such as elliptic curve operations.…

软件工程 · 计算机科学 2023-12-18 Jiashuo Zhang , Jiachi Chen , Zhiyuan Wan , Ting Chen , Jianbo Gao , Zhong Chen

Smart Contracts and transactions allow users to implement elaborate constructions on cryptocurrency blockchains like Bitcoin and Ethereum. Many of these constructions, including operational payment channels and atomic swaps, use a building…

密码学与安全 · 计算机科学 2021-03-26 Itay Tsabary , Matan Yechieli , Alex Manuskin , Ittay Eyal

Smart contracts are autonomous and immutable pieces of code that are deployed on blockchain networks and run by miners. They were first introduced by Ethereum in 2014 and have since been used for various applications such as security…

软件工程 · 计算机科学 2024-07-08 Mahdi Fooladgar , Fathiyeh Faghih

Smart contracts are frequently vulnerable to control-flow attacks based on confused deputies, reentrancy, and incorrect error handling. These attacks exploit the complexity of interactions among multiple possibly unknown contracts. Existing…

密码学与安全 · 计算机科学 2025-04-24 Siqiu Yao , Haobin Ni , Stephanie Ma , Noah Schiff , Andrew C. Myers , Ethan Cecchetti

Interoperability is a significant challenge in blockchain technology, hindering seamless data and service sharing across diverse blockchain networks. This study introduces Automated Gateways as a novel framework leveraging smart contracts…

分布式、并行与集群计算 · 计算机科学 2024-09-24 Koosha Esmaeilzadeh Khorasani , Sara Rouhani , Rui Pan , Vahid Pourheidari

Smart contracts provide the means to stipulate rules of interaction between mutually distrustful organizations. They encode contractual agreements on the basis of source code, which else need to be contractualized in natural language. While…

分布式、并行与集群计算 · 计算机科学 2022-07-07 Tobias Eichinger , Marcel Ebermann

As more and more data is collected for various reasons, the sharing of such data becomes paramount to increasing its value. Many applications ranging from smart cities to personalized health care require individuals and organizations to…

计算机与社会 · 计算机科学 2018-05-01 Kevin Liu , Harsh Desai , Lalana Kagal , Murat Kantarcioglu

Infrastructure maintenance is inherently complex, especially for widely dispersed transport systems like roads and railroads. Maintaining this infrastructure involves multiple partners working together to ensure safe, efficient upkeep that…

计算机与社会 · 计算机科学 2024-10-29 Fatjon Seraj

This study analyzes the application of code-generating Large Language Models in the creation of immutable Solidity smart contracts on the Ethereum Blockchain. Other works have previously analyzed Artificial Intelligence code generation…

软件工程 · 计算机科学 2024-11-06 Siddhartha Chatterjee , Bina Ramamurthy

As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of the most mature and widely used smart contract programming…

软件工程 · 计算机科学 2019-11-25 Pengcheng Zhang , Feng Xiao , Xiapu Luo

Smart contracts on blockchains are prone to diverse security vulnerabilities that can lead to significant financial losses due to their immutable nature. Existing detection approaches often lack flexibility across vulnerability types and…

密码学与安全 · 计算机科学 2026-05-06 Xing Zhang , Keyu Zhang , Taohong Zhu , Anbang Ruan

Blockchain and Distributed ledger Technologies are increasingly becoming key enablers for vital innovation in financial services, manufacturing, government and other industries. One of the biggest challenges though is the level of support…

分布式、并行与集群计算 · 计算机科学 2018-05-04 Marcelle von Wendland

The heterogeneity of the blockchain landscape has motivated the design of blockchain protocols tailored to specific blockchains and applications that, hence, require custom security proofs. We observe that many blockchain protocols share…

密码学与安全 · 计算机科学 2025-01-30 Stephan Dübler , Federico Badaloni , Pedro Moreno-Sanchez , Clara Schneidewind

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad…

密码学与安全 · 计算机科学 2017-11-28 Anastasia Mavridou , Aron Laszka

Blockchain protocols are inherently limited in transaction throughput and latency. Recent efforts to address performance and scale blockchains have focused on off-chain payment channels. While such channels can achieve low latency and high…

密码学与安全 · 计算机科学 2017-03-09 Joshua Lind , Ittay Eyal , Peter Pietzuch , Emin Gün Sirer

Blockchain and smart contracts have emerged as revolutionary technologies transforming distributed computing. While platform evolution and smart contracts' inherent immutability necessitate migrations both across and within chains,…

密码学与安全 · 计算机科学 2025-05-16 Tahrim Hossain , Faisal Haque Bappy , Tarannum Shaila Zaman , Raiful Hasan , Tariqul Islam