The Smart Contract Model
Fuente:
arXiv
Salvato in:
| Autori principali: | Amoussou-Guenou, Yackolley, Herlihy, Maurice, Jayanti, Sucharita, Potop-Butucaru, Maria, Rajsbaum, Sergio |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
di: Dolev, Shlomi, et al.
Pubblicazione: (2025)
di: Dolev, Shlomi, et al.
Pubblicazione: (2025)
Data Poisoning Attacks in Gossip Learning
di: Pham, Alexandre, et al.
Pubblicazione: (2024)
di: Pham, Alexandre, et al.
Pubblicazione: (2024)
Emergent Peer-to-Peer Multi-Hub Topology
di: Legheraba, Mohamed Amine, et al.
Pubblicazione: (2024)
di: Legheraba, Mohamed Amine, et al.
Pubblicazione: (2024)
Byzantine Attacks Exploiting Penalties in Ethereum PoS
di: Pavloff, Ulysse, et al.
Pubblicazione: (2024)
di: Pavloff, Ulysse, et al.
Pubblicazione: (2024)
LIFT: Byzantine Resilient Hub-Sampling
di: Legheraba, Mohamed Amine, et al.
Pubblicazione: (2026)
di: Legheraba, Mohamed Amine, et al.
Pubblicazione: (2026)
Distributed Knowledge in Simplicial Models
di: Goubault, Éric, et al.
Pubblicazione: (2026)
di: Goubault, Éric, et al.
Pubblicazione: (2026)
Blockchain Transaction Conflicts: A Historical Perspective
di: Anjana, Parwat Singh, et al.
Pubblicazione: (2025)
di: Anjana, Parwat Singh, et al.
Pubblicazione: (2025)
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution
di: Chahoki, Atefeh Zareh, et al.
Pubblicazione: (2025)
di: Chahoki, Atefeh Zareh, et al.
Pubblicazione: (2025)
Enabling Bitcoin Smart Contracts on the Internet Computer
di: Croote, Ryan, et al.
Pubblicazione: (2025)
di: Croote, Ryan, et al.
Pubblicazione: (2025)
SoK: Concurrency in Blockchain -- A Systematic Literature Review and the Unveiling of a Misconception
di: Chahoki, Atefeh Zareh, et al.
Pubblicazione: (2025)
di: Chahoki, Atefeh Zareh, et al.
Pubblicazione: (2025)
DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
di: Zhou, Wei, et al.
Pubblicazione: (2025)
di: Zhou, Wei, et al.
Pubblicazione: (2025)
A Study on Shared Objects in Sui Smart Contracts
di: Overko, Roman
Pubblicazione: (2024)
di: Overko, Roman
Pubblicazione: (2024)
Knowledge and simplicial complexes
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2020)
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2020)
Expiring Assets in Automated Market Makers
di: Wood, Kenan, et al.
Pubblicazione: (2024)
di: Wood, Kenan, et al.
Pubblicazione: (2024)
Lyte Quorum: Off-Chain Ready Smart Contract Hosted with Choice
di: Hao, Hao, et al.
Pubblicazione: (2025)
di: Hao, Hao, et al.
Pubblicazione: (2025)
Groundhog: Linearly-Scalable Smart Contracting via Commutative Transaction Semantics
di: Ramseyer, Geoffrey, et al.
Pubblicazione: (2024)
di: Ramseyer, Geoffrey, et al.
Pubblicazione: (2024)
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
di: Wei, Zhiyuan, et al.
Pubblicazione: (2023)
di: Wei, Zhiyuan, et al.
Pubblicazione: (2023)
Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution
di: Mitenkov, George, et al.
Pubblicazione: (2024)
di: Mitenkov, George, et al.
Pubblicazione: (2024)
FRESCO: Fast and Reliable Edge Offloading with Reputation-based Hybrid Smart Contracts
di: Zilic, Josip, et al.
Pubblicazione: (2024)
di: Zilic, Josip, et al.
Pubblicazione: (2024)
Atomic Smart Contract Interoperability with High Efficiency via Cross-Chain Integrated Execution
di: Yin, Chaoyue, et al.
Pubblicazione: (2025)
di: Yin, Chaoyue, et al.
Pubblicazione: (2025)
SPID-Chain: A Smart Contract-Enabled, Polar-Coded Interoperable DAG Chain
di: Taherpour, Amirhossein, et al.
Pubblicazione: (2025)
di: Taherpour, Amirhossein, et al.
Pubblicazione: (2025)
A categorical and logical framework for iterated protocols
di: Goubault, Eric, et al.
Pubblicazione: (2025)
di: Goubault, Eric, et al.
Pubblicazione: (2025)
Asynchronous Quantum Distributed Computing: Causality, Snapshots, and Global Operations
di: Jayanti, Siddhartha Visveswara, et al.
Pubblicazione: (2026)
di: Jayanti, Siddhartha Visveswara, et al.
Pubblicazione: (2026)
Aggregating Funnels for Faster Fetch&Add and Queues
di: Roh, Younghun, et al.
Pubblicazione: (2024)
di: Roh, Younghun, et al.
Pubblicazione: (2024)
Survey on Quality Assurance of Smart Contracts
di: Wei, Zhiyuan, et al.
Pubblicazione: (2023)
di: Wei, Zhiyuan, et al.
Pubblicazione: (2023)
Dynamic Contract Analysis for Parallel Programming Models
di: Oraji, Yussur Mustafa, et al.
Pubblicazione: (2026)
di: Oraji, Yussur Mustafa, et al.
Pubblicazione: (2026)
Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
di: Chahoki, Atefeh Zareh, et al.
Pubblicazione: (2025)
di: Chahoki, Atefeh Zareh, et al.
Pubblicazione: (2025)
Collaborative Learning Framework to Detect Attacks in Transactions and Smart Contracts
di: Khoa, Tran Viet, et al.
Pubblicazione: (2023)
di: Khoa, Tran Viet, et al.
Pubblicazione: (2023)
Connecting Large Language Models with Blockchain: Advancing the Evolution of Smart Contracts from Automation to Intelligence
di: Xian, Youquan, et al.
Pubblicazione: (2024)
di: Xian, Youquan, et al.
Pubblicazione: (2024)
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
di: Yanovich, Yury, et al.
Pubblicazione: (2025)
di: Yanovich, Yury, et al.
Pubblicazione: (2025)
SEAM: A Secure Automated and Maintainable Smart Contract Upgrade Framework
di: Hossain, Tahrim, et al.
Pubblicazione: (2024)
di: Hossain, Tahrim, et al.
Pubblicazione: (2024)
A DLT-based Smart Contract Architecture for Atomic and Scalable Trading
di: Kalbantner, J., et al.
Pubblicazione: (2021)
di: Kalbantner, J., et al.
Pubblicazione: (2021)
Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
di: Liu, Christian Gang
Pubblicazione: (2025)
di: Liu, Christian Gang
Pubblicazione: (2025)
Performance characterisation of the 64-core SG2042 RISC-V CPU for HPC
di: Brown, Nick, et al.
Pubblicazione: (2024)
di: Brown, Nick, et al.
Pubblicazione: (2024)
Reliability Analysis of Smart Contract Execution Architectures: A Comparative Simulation Study
di: Gürcan, Önder
Pubblicazione: (2025)
di: Gürcan, Önder
Pubblicazione: (2025)
Automated Gateways: A Smart Contract-Powered Solution for Interoperability Across Blockchains
di: Khorasani, Koosha Esmaeilzadeh, et al.
Pubblicazione: (2024)
di: Khorasani, Koosha Esmaeilzadeh, et al.
Pubblicazione: (2024)
SmartQC: An Extensible DLT-Based Framework for Trusted Data Workflows in Smart Manufacturing
di: McGibney, Alan, et al.
Pubblicazione: (2024)
di: McGibney, Alan, et al.
Pubblicazione: (2024)
Enhancing Model Context Protocol (MCP) with Context-Aware Server Collaboration
di: Jayanti, Meenakshi Amulya, et al.
Pubblicazione: (2026)
di: Jayanti, Meenakshi Amulya, et al.
Pubblicazione: (2026)
On the First Computer Science Research Paper in an Indian Language and the Future of Science in Indian Languages
di: Jayanti, Siddhartha Visveswara
Pubblicazione: (2026)
di: Jayanti, Siddhartha Visveswara
Pubblicazione: (2026)
Reliable Replication Protocols on SmartNICs
di: Katebzadeh, M. R. Siavash, et al.
Pubblicazione: (2025)
di: Katebzadeh, M. R. Siavash, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults
di: Dolev, Shlomi, et al.
Pubblicazione: (2025) -
Data Poisoning Attacks in Gossip Learning
di: Pham, Alexandre, et al.
Pubblicazione: (2024) -
Emergent Peer-to-Peer Multi-Hub Topology
di: Legheraba, Mohamed Amine, et al.
Pubblicazione: (2024) -
Byzantine Attacks Exploiting Penalties in Ethereum PoS
di: Pavloff, Ulysse, et al.
Pubblicazione: (2024) -
LIFT: Byzantine Resilient Hub-Sampling
di: Legheraba, Mohamed Amine, et al.
Pubblicazione: (2026)