Imagen de Portada

Scalable UTXO Smart Contracts via Fine-Grained Distributed State

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bartoletti, Massimo, Marchesin, Riccardo, Zunino, Roberto
Formato:	Preprint
Publicado:	2024
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Secure compilation of rich smart contracts on poor UTXO blockchains
por: Bartoletti, Massimo, et al.
Publicado: (2023)

DeFi composability as MEV non-interference
por: Bartoletti, Massimo, et al.
Publicado: (2023)

Certifying optimal MEV strategies with Lean
por: Bartoletti, Massimo, et al.
Publicado: (2025)

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
por: Maddaloni, Dario, et al.
Publicado: (2024)

A theoretical basis for MEV
por: Bartoletti, Massimo, et al.
Publicado: (2023)

Smart Contract Languages: a comparative analysis
por: Bartoletti, Massimo, et al.
Publicado: (2024)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
por: Su, Jianzhong, et al.
Publicado: (2024)

A quantitative notion of economic security for smart contract compositions
por: Priyadarshini, Emily, et al.
Publicado: (2025)

Neuroforger: certified violation witnesses for smart contracts verification via LLMs
por: Bartoletti, Massimo, et al.
Publicado: (2026)

Reuse of Public Keys Across UTXO and Account-Based Cryptocurrencies
por: Stütz, Rainer, et al.
Publicado: (2026)

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact
por: Bartoletti, Massimo, et al.
Publicado: (2017)

Formal verification in Solidity and Move: insights from a comparative analysis
por: Bartoletti, Massimo, et al.
Publicado: (2025)

Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM
por: Bu, Jiuyang, et al.
Publicado: (2025)

From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
por: Maxence, Lambard, et al.
Publicado: (2025)

Malicious Code Detection in Smart Contracts via Opcode Vectorization
por: Zou, Huanhuan, et al.
Publicado: (2025)

Prompt Engineering vs. Fine-Tuning for LLM-Based Vulnerability Detection in Solana and Algorand Smart Contracts
por: Boi, Biagio, et al.
Publicado: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
por: Wei, Zhiyuan, et al.
Publicado: (2024)

Smart Contract Security Beyond Detection
por: Abdelaziz, Tamer
Publicado: (2026)

HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
por: Giesen, Jens-Rene, et al.
Publicado: (2022)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
por: Eshghie, Mojtaba, et al.
Publicado: (2025)

Architectural Design for Secure Smart Contract Development
por: Lewis, Myles, et al.
Publicado: (2024)

Temporarily Restricting Solidity Smart Contract Interactions
por: Callens, Valerian, et al.
Publicado: (2024)

Exploring Vulnerabilities and Concerns in Solana Smart Contracts
por: Wu, Xiangfan, et al.
Publicado: (2025)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
por: Smolka, Sven, et al.
Publicado: (2023)

X-PRINT:Platform-Agnostic and Scalable Fine-Grained Encrypted Traffic Fingerprinting
por: Zhu, YuKun, et al.
Publicado: (2025)

Solvent: liquidity verification of smart contracts
por: Bartoletti, Massimo, et al.
Publicado: (2024)

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
por: Bu, Jiuyang, et al.
Publicado: (2025)

Model Context Contracts - MCP-Enabled Framework to Integrate LLMs With Blockchain Smart Contracts
por: Bandara, Eranga, et al.
Publicado: (2025)

FlexiContracts: A Novel and Efficient Scheme for Upgrading Smart Contracts in Ethereum Blockchain
por: Hossain, Tahrim, et al.
Publicado: (2025)

LLMs as verification oracles for Solidity
por: Bartoletti, Massimo, et al.
Publicado: (2025)

Capturing Monetarily Exploitable Vulnerability in Smart Contracts via Auditor Knowledge-Learning Fuzzing
por: Cai, Bowen, et al.
Publicado: (2026)

Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
por: Li, Wenkai, et al.
Publicado: (2024)

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
por: Shou, Chaofan, et al.
Publicado: (2024)

RaceTEE: Enabling Interoperability of Confidential Smart Contracts
por: Zhang, Keyu, et al.
Publicado: (2025)

Security Analysis of Ponzi Schemes in Ethereum Smart Contracts
por: Zhang, Chunyi, et al.
Publicado: (2025)

Evaluating the Vulnerability Landscape of LLM-Generated Smart Contracts
por: Do, Hoang Long, et al.
Publicado: (2026)

An Automated Analyzer for Financial Security of Ethereum Smart Contracts
por: Wang, Wansen, et al.
Publicado: (2022)

Decompiling Smart Contracts with a Large Language Model
por: David, Isaac, et al.
Publicado: (2025)

A theory of Lending Protocols in DeFi
por: Bartoletti, Massimo, et al.
Publicado: (2025)

ContractShield: Bridging Semantic-Structural Gaps via Hierarchical Cross-Modal Fusion for Multi-Label Vulnerability Detection in Obfuscated Smart Contracts
por: Tran-Duong, Minh-Dai, et al.
Publicado: (2026)