中文
相关论文

相关论文: ML2SC: Deploying Machine Learning Models as Smart …

200 篇论文

Blockchain smart contracts have catalyzed the development of decentralized applications across various domains, including decentralized finance. However, due to constraints in computational resources and the prevalence of data silos,…

分布式、并行与集群计算 · 计算机科学 2024-12-09 Youquan Xian , Xueying Zeng , Duancheng Xuan , Danping Yang , Chunpei Li , Peng Fan , Peng Liu

Over the recent years, Federated machine learning continues to gain interest and momentum where there is a need to draw insights from data while preserving the data provider's privacy. However, one among other existing challenges in the…

密码学与安全 · 计算机科学 2022-03-29 Monik Raj Behera , Sudhir Upadhyay , Suresh Shetty

In an increasingly complex contractual landscape, the demand for transparency, security, and efficiency has intensified. Blockchain technology, with its decentralized and immutable nature, addresses these challenges by reducing intermediary…

密码学与安全 · 计算机科学 2025-07-23 Lambard Maxence , Bertelle Cyrille , Duvallet Claude

Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious…

计算机科学中的逻辑 · 计算机科学 2021-11-29 Kunjian Song , Nedas Matulevicius , Eddie B. de Lima Filho , Lucas C. Cordeiro

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run…

计算机与社会 · 计算机科学 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and…

软件工程 · 计算机科学 2024-07-01 Adele Veschetti , Richard Bubel , Reiner Hähnle

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

Linear Regression (LR) is a classical machine learning algorithm which has many applications in the cyber physical social systems (CPSS) to shape and simplify the way we live, work and communicate. This paper focuses on the data analysis…

密码学与安全 · 计算机科学 2021-11-23 Hanlin Zhang , Peng Gao , Jia Yu , Jie Lin , Neal N. Xiong

Large language models (LLMs) have been widely adopted in modern software development lifecycles, where they are increasingly used to automate and assist code generation, significantly improving developer productivity and reducing…

密码学与安全 · 计算机科学 2026-02-05 Hoang Long Do , Nasrin Sohrabi , Muneeb Ul Hassan

With the development of blockchain technologies, the number of smart contracts deployed on blockchain platforms is growing exponentially, which makes it difficult for users to find desired services by manual screening. The automatic…

信息检索 · 计算机科学 2021-06-30 Chaochen Shi , Yong Xiang , Robin Ram Mohan Doss , Jiangshan Yu , Keshav Sood , Longxiang Gao

Smart contracts play a central role in blockchain systems by encoding financial and operational logic. Still, their susceptibility to subtle security flaws poses significant risks of financial loss and erosion of trust. LLMs create new…

Ethereum smart contracts are programs that run on the Ethereum blockchain, and many smart contract vulnerabilities have been discovered in the past decade. Many security analysis tools have been created to detect such vulnerabilities, but…

密码学与安全 · 计算机科学 2021-01-11 Nami Ashizawa , Naoto Yanai , Jason Paul Cruz , Shingo Okamura

The widespread lack of broad source code verification on blockchain explorers such as Etherscan, where despite 78,047,845 smart contracts deployed on Ethereum (as of May 26, 2025), a mere 767,520 (< 1%) are open source, presents a severe…

密码学与安全 · 计算机科学 2025-06-25 Isaac David , Liyi Zhou , Dawn Song , Arthur Gervais , Kaihua Qin

Research on blockchains addresses multiple issues, with one being writing smart contracts. In our previous research we described methodology and a tool to generate, in automated fashion, smart contracts from BPMN models. The generated smart…

软件工程 · 计算机科学 2025-05-29 C. G. Liu , P. Bodorik , D. Jutla

Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, many identified bugs and vulnerabilities in smart contracts have led to serious financial losses, which raises…

软件工程 · 计算机科学 2021-07-06 Zhipeng Gao

We propose OmniLytics, a blockchain-based secure data trading marketplace for machine learning applications. Utilizing OmniLytics, many distributed data owners can contribute their private data to collectively train an ML model requested by…

密码学与安全 · 计算机科学 2021-11-16 Jiacheng Liang , Songze Li , Bochuan Cao , Wensi Jiang , Chaoyang He

Smart contracts (SC) are software codes which reside and run over a blockchain. The code can be written in different languages with the common purpose of implementing various kinds of transactions onto the hosting blockchain, They are ruled…

软件工程 · 计算机科学 2018-02-08 Roberto Tonelli , Giuseppe Destefanis , Michele Marchesi , Marco Ortu

An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a…

密码学与安全 · 计算机科学 2017-10-18 Maher Alharby , Aad van Moorsel

Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of digital currency which makes them an attractive target for…

软件工程 · 计算机科学 2019-06-10 Dmitrii Suvorov , Vladimir Ulyantsev

Smart contracts are immutable, verifiable, and autonomous pieces of code that can be deployed and ran on blockchain networks like Ethereum. Due to the immutability nature of blockchain, no change is possible on a deployed smart contract or…

软件工程 · 计算机科学 2019-12-25 Erfan Andesta , Fathiyeh Faghih , Mahdi Fooladgar