中文
相关论文

相关论文: Swarm Contract: A Multi-Sovereign Agent Consensus …

200 篇论文

This paper presents SigVM, a novel blockchain virtual machine that supports an event-driven execution model, enabling developers to build autonomous smart contracts. Contracts in SigVM can emit signal events, on which other contracts can…

编程语言 · 计算机科学 2021-11-18 Zihan Zhao , Sidi Mohamed Beillahi , Ryan Song , Yuxi Cai , Andreas Veneris , Fan Long

We propose the Agent Economy, a blockchain-based foundation where autonomous AI agents operate as economic peers to humans. Current agents lack independent legal identity, cannot hold assets, and cannot receive payments directly. We…

密码学与安全 · 计算机科学 2026-02-17 Minghui Xu

In multi-agent systems, signal temporal logic (STL) is widely used for path planning to accomplish complex objectives with formal safety guarantees. However, as the number of agents increases, existing approaches encounter significant…

系统与控制 · 电气工程与系统科学 2025-06-18 Shiyu Cheng , Luyao Niu , Bhaskar Ramasubramanian , Andrew Clark , Radha Poovendran

Unmanned Aerial Vehicles (UAVs), referenced as drones, have advanced to consumer adoption for hobby and business use. Drone applications, such as infrastructure technology, security mechanisms, and resource delivery, are just the starting…

系统与控制 · 计算机科学 2019-05-28 Rafer Cooley , Shaya Wolf , Mike Borowczak

Intelligent Cyber-physical systems can be modelled as multi-agent systems with planning capability to impart adaptivity for changing contexts. In such multi-agent systems, the protocol for plan execution must result in the proper completion…

密码学与安全 · 计算机科学 2018-12-19 Anshu Shukla , Swarup Kumar Mohalik , Ramamurthy Badrinath

With the advent of blockchain technologies, the idea of decentralized applications has gained traction. Smart contracts permit the implementation of application logic to foster distributed systems that are capable of removing…

分布式、并行与集群计算 · 计算机科学 2019-02-12 Martin Westerkamp

This research contributes to the security design of an advanced smart drone swarm network based on a variant of the Blockchain Governance Game (BGG), which is the theoretical game model to predict the moments of security actions before…

系统与控制 · 电气工程与系统科学 2022-11-28 Song-Kyoo Kim

The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract…

Large Language Models demonstrate remarkable capabilities yet remain fundamentally probabilistic, presenting critical reliability challenges for enterprise deployment. We introduce the Six Sigma Agent, a novel architecture that achieves…

人工智能 · 计算机科学 2026-02-02 Khush Patel , Siva Surendira , Jithin George , Shreyas Kapale

Blockchain systems have received much attention and promise to revolutionize many services. Yet, despite their popularity, current blockchain systems exist in isolation, that is, they cannot share information. While interoperability is…

分布式、并行与集群计算 · 计算机科学 2020-04-24 Enrique Fynn , Alysson Bessani , Fernando Pedone

A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In…

密码学与安全 · 计算机科学 2021-10-01 Paolo Bottoni , Anna Labella , Remo Pareschi

A blockchain-based smart contract or a "smart contract" for short, is a computer program intended to digitally facilitate the negotiation or contractual terms directly between users when certain conditions are met. With the advance in…

计算机与社会 · 计算机科学 2019-06-11 Yining Hu , Madhusanka Liyanage , Ahsan Mansoor , Kanchana Thilakarathna , Guillaume Jourjon , Aruna Seneviratne

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

Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party authority. Smart contracts expand the applications of…

密码学与安全 · 计算机科学 2023-10-09 Majd Soud , Gísli Hjálmtýsson , Mohammad Hamdaqa

Smart contracts enable users to execute payments depending on complex program logic. Ethereum is the most notable example of a blockchain that supports smart contracts leveraged for countless applications including games, auctions and…

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

Searchable symmetric encryption (SSE) allows the data owner to outsource an encrypted database to a remote server in a private manner while maintaining the ability for selectively search. So far, most existing solutions focus on an…

密码学与安全 · 计算机科学 2019-09-23 Shengshan Hu , Chengjun Cai , Qian Wang , Cong Wang , Minghui Li , Zhibo Wang , Dengpan Ye

Centralized search engines control what we see, read, believe, and vote. Consequently, they raise concerns over information control, censorship, and bias. Decentralized search engines offer a remedy to this problem, but their adoption has…

分布式、并行与集群计算 · 计算机科学 2025-09-19 Marcel Gregoriadis , Rowdy Chotkan , Petru Neague , Johan Pouwelse

This work addresses the critical challenges of upgrading smart contracts, which are vital for trust in automated transactions but difficult to modify once deployed. To address this issue, we propose SEAM, a novel framework that automates…

密码学与安全 · 计算机科学 2024-12-03 Tahrim Hossain , Faisal Haque Bappy , Tarannum Shaila Zaman , Tariqul Islam

Decentralized multi-agent systems have shown promise in enabling autonomous collaboration among LLM-based agents. While AgentNet demonstrated the feasibility of fully decentralized coordination through dynamic DAG topologies, several…

多智能体系统 · 计算机科学 2025-12-02 Goutham Nalagatla