Ledger-state stigmergy maps biological indirect coordination to blockchain ledgers via a state-transition formalism and three base patterns for on-chain agent coordination.
Making smart contracts smarter
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
verdicts
UNVERDICTED 5roles
background 2polarities
background 2representative citing papers
Annotary is a concolic execution system for smart contract vulnerability detection that uses source-code annotations, symbolic EVM execution, and blockchain data resolution to handle inter-contract and inter-transaction flows.
The paper examines denial-of-service risks to multi-round transaction simulation arising from inter-transaction dependencies in smart-contract state.
SPEAR applies multi-agent systems with planning, execution, and repair agents using negotiation protocols to smart contract auditing and compares it empirically to centralized and pipeline approaches.
A formal coordination model with dynamic roles and data-driven transitions enables a toolchain for validating models, generating Solidity smart contracts, and synthesizing tests.
citing papers explorer
-
Ledger-State Stigmergy: A Formal Framework for Indirect Coordination Grounded in Distributed Ledger State
Ledger-state stigmergy maps biological indirect coordination to blockchain ledgers via a state-transition formalism and three base patterns for on-chain agent coordination.
-
Annotary: A Concolic Execution System for Developing Secure Smart Contracts
Annotary is a concolic execution system for smart contract vulnerability detection that uses source-code annotations, symbolic EVM execution, and blockchain data resolution to handle inter-contract and inter-transaction flows.
-
Position Paper: Denial-of-Service against Multi-Round Transaction Simulation
The paper examines denial-of-service risks to multi-round transaction simulation arising from inter-transaction dependencies in smart-contract state.
-
SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
SPEAR applies multi-agent systems with planning, execution, and repair agents using negotiation protocols to smart contract auditing and compares it empirically to centralized and pipeline approaches.
-
Automatic Code and Test Generation of Smart Contracts from Coordination Models
A formal coordination model with dynamic roles and data-driven transitions enables a toolchain for validating models, generating Solidity smart contracts, and synthesizing tests.