Tootfinder

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS )
Christian Gang Liu, Peter Bodorik, Dawn Jutla
https://arxiv.org/abs/2506.02727

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other research efforts, we also use Business Process Model and Notation BPMN modeling to describe application requirements for trade of goods and services and then transform automatically the BPMN model into the methods of a smart contract. In our previous research…

FSM Modeling For Off-Blockchain Computation
Christian Gang Liu
https://arxiv.org/abs/2506.02086 https://arxiv.org/pdf/2506.02086

FSM Modeling For Off-Blockchain Computation
Blockchain benefits are due to immutability, replication, and storage-and-execution of smart contracts on the blockchain. However, the benefits come at increased costs due to the blockchain size and execution. We address three fundamental issues that arise in transferring certain parts of a smart contract to be executed off-chain: (i) identifying which parts (patterns) of the smart contract should be considered for processing off-chain, (ii) under which conditions should a smart-contract patter…

Solsmith: Solidity Random Program Generator for Compiler Testing
Lantian Li, Zhihao Liu, Zhongxing Yu
https://arxiv.org/abs/2506.03909 https://

Solsmith: Solidity Random Program Generator for Compiler Testing
Smart contracts are computer programs that run on blockchain platforms, with Solidity being the most widely used language for their development. As blockchain technology advances, smart contracts have become increasingly important across various fields. In order for smart contracts to operate correctly, the correctness of the compiler is particularly crucial. Although some research efforts have been devoted to testing Solidity compilers, they primarily focus on testing methods and do not addres…

Shill Bidding Prevention in Decentralized Auctions Using Smart Contracts
M. A. Bouaicha, G. Destefanis, T. Montanaro, N. Lasla, L. Patrono
https://arxiv.org/abs/2506.00282

Shill Bidding Prevention in Decentralized Auctions Using Smart Contracts
In online auctions, fraudulent behaviors such as shill bidding pose significant risks. This paper presents a conceptual framework that applies dynamic, behavior-based penalties to deter auction fraud using blockchain smart contracts. Unlike traditional post-auction detection methods, this approach prevents manipulation in real-time by introducing an economic disincentive system where penalty severity scales with suspicious bidding patterns. The framework employs the proposed Bid Shill Score (BS…

Real-Time Monitoring and Transparency in Pizza Production Using IoT and Blockchain
Azmat Ullah, Maria Ilaria Lunesu, Lodovica Marchesi, Roberto Tonelli
https://arxiv.org/abs/2507.02536

Real-Time Monitoring and Transparency in Pizza Production Using IoT and Blockchain
This paper presents a blockchain-based Internet of Things (IoT) system for monitoring pizza production in restaurants. IoT devices track temperature and humidity in real-time, while blockchain ensures secure and tamper-proof data. A Raspberry Pi processes sensor data, captures images, triggers alerts, and interacts with smart contracts. The system detects abnormal conditions, enabling quick responses. Blockchain adds transparency and traceability, supporting compliance and audits. Experiments s…

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
Christian Gang Liu, Peter Bodorik, Dawn Jutla
https://arxiv.org/abs/2506.03877

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
In our previous research, we addressed the problem of automated transformation of models, represented using the business process model and notation (BPMN) standard, into the methods of a smart contract. The transformation supports BPMN models that contain complex multi-step activities that are supported using our concept of multi-step nested trade transactions, wherein the transactional properties are enforced by a mechanism generated automatically by the transformation process from a BPMN mode…

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Chanuka Wijayakoon, Hai Dong, H. M. N. Dilum Bandara, Zahir Tari, Anurag Soin
https://arxiv.org/abs/2506.00943

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Smart contracts can implement and automate parts of legal contracts, but ensuring their legal compliance remains challenging. Existing approaches such as formal specification, verification, and model-based development require expertise in both legal and software development domains, as well as extensive manual effort. Given the recent advances of Large Language Models (LLMs) in code generation, we investigate their ability to generate legally compliant smart contracts directly from natural lang…

EVMx: An FPGA-Based Smart Contract Processing Unit
Joel Poncha Lemayian, Hachem Bensalem, Ghyslain Gagnon, Kaiwen Zhang, Pascal Giard
https://arxiv.org/abs/2507.23518 https://…

EVMx: An FPGA-Based Smart Contract Processing Unit
Ethereum blockchain uses smart contracts (SCs) to implement decentralized applications (dApps). SCs are executed by the Ethereum virtual machine (EVM) running within an Ethereum client. Moreover, the EVM has been widely adopted by other blockchain platforms, including Solana, Cardano, Avalanche, Polkadot, and more. However, the EVM performance is limited by the constraints of the general-purpose computer it operates on. This work proposes offloading SC execution onto a dedicated hardware-based …

Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
Christian Gang Liu
https://arxiv.org/abs/2505.24309

Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
To alleviate difficulties in writing smart contracts for distributed blockchain applications, as other research, we propose transformation of Business Process Model and Notation (BPMN) models into blockchain smart contracts. Unlike other research, we use Discrete Event Hierarchical State Machine (DE-HSM) multi-modal modeling to identify collaborative trade transactions that need to be supported by the smart contract and describe how the trade transactions, that may be nested, are supported by a…

Reliability Analysis of Smart Contract Execution Architectures: A Comparative Simulation Study
\"Onder G\"urcan
https://arxiv.org/abs/2506.22180 …

Reliability Analysis of Smart Contract Execution Architectures: A Comparative Simulation Study
The industrial market continuously needs reliable solutions to secure autonomous systems. Especially as these systems become more complex and interconnected, reliable security solutions are becoming increasingly important. One promising solution to tackle this challenge is using smart contracts designed to meet contractual conditions, avoid malicious errors, secure exchanges, and minimize the need for reliable intermediaries. However, smart contracts are immutable. Moreover, there are different…

Optimal Benchmark Design under Costly Manipulation
\'Angel Hernando-Veciana
https://arxiv.org/abs/2506.22142 https://arxiv.org/pd…

Optimal Benchmark Design under Costly Manipulation
Price benchmarks are used to incorporate market price trends into contracts, but their use can create opportunities for manipulation by parties involved in the contract. This paper examines this issue using a realistic and tractable model inspired by smart contracts on blockchains like Ethereum. In our model, manipulation costs depend on two factors: the magnitude of adjustments to individual prices (variable costs) and the number of prices adjusted (fixed costs). We find that a weighted mean i…

Ethereum Conflicts Graphed
Dvir David Biton, Roy Friedman, Yaron Hay
https://arxiv.org/abs/2507.20196 https://arxiv.org/pdf/2507.20196

Ethereum Conflicts Graphed
Ethereum, a leading blockchain platform, has revolutionized the digital economy by enabling decentralized transactions and the execution of smart contracts. Ethereum transactions form the backbone of its network, facilitating peer-to-peer exchanges and interactions with complex decentralized applications. Smart contracts extend Ethereum's capabilities by automating processes and enabling trustless execution of agreements. Hence, understanding how these smart contracts interact is important in o…

This story is cute: A malicious "Solidity" (that's the smart contract language Ethereum and other blockchains use) extension for Cursor, the Vibe-Coding Editor included code that steals your tokens/coins.
I find it funny for two reasons:
- Blockchainers love talking about how you need to verify things you interact with but someone wasn't checking if they have the right extension
- Programming smart contracts is hard because it's a massively hostile envir…

Code highlighting with Cursor AI for $500,000
Kaspersky GReAT experts uncover malicious extensions for Cursor AI that download the Quasar backdoor and a crypto stealer.

MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner
Yichen Zhou, Chenxing Li, Fan Long
https://arxiv.org/abs/2507.20554 https://ar…

MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner
This paper presents MPC-EVM, the first blockchain prototype that extends the EVM to enable asynchronous MPC invocations by smart contracts during transaction executions without compromising consistency or throughput. MPC-EVM uses an asynchronous execution model to process MPC-invoking transactions in a non-blocking fashion, saving the transaction's progress when it enters an MPC and resuming its execution upon MPC's completion. Additionally, it employs an access control mechanism that prevents …

A Formalization of the Yul Language and Some Verified Yul Code Transformations
Alessandro Coglio (Kestrel Institute), Eric McCarthy (Kestrel Institute)
https://arxiv.org/abs/2507.19012

A Formalization of the Yul Language and Some Verified Yul Code Transformations
Yul is an intermediate language used in the compilation of the Solidity programming language for Ethereum smart contracts. The compiler applies customizable sequences of transformations to Yul code. To help ensure the correctness of these transformations and their sequencing, we used the ACL2 theorem prover to develop a formalization of the syntax and semantics of Yul, proofs relating static and dynamic semantics, a formalization of some Yul code transformations, and correctness proofs for thes…

Enabling Bitcoin Smart Contracts on the Internet Computer
Ryan Croote, Islam El-Ashi, Thomas Locher, Yvonne-Anne Pignolet
https://arxiv.org/abs/2506.21327 …

Enabling Bitcoin Smart Contracts on the Internet Computer
There is growing interest in providing programmatic access to the value locked in Bitcoin, which famously offers limited programmability itself. Various approaches have been put forth in recent years, with the vast majority of proposed mechanisms either building new functionality on top of Bitcoin or leveraging a bridging mechanism to enable smart contracts that make use of ``wrapped'' bitcoins on entirely different platforms. In this work, an architecture is presented that follows a differen…

On LLM-Assisted Generation of Smart Contracts from Business Processes
Fabian Stiehle, Hans Weytjens, Ingo Weber
https://arxiv.org/abs/2507.23087 https://ar…

On LLM-Assisted Generation of Smart Contracts from Business Processes
Large language models (LLMs) have changed the reality of how software is produced. Within the wider software engineering community, among many other purposes, they are explored for code generation use cases from different types of input. In this work, we present an exploratory study to investigate the use of LLMs for generating smart contract code from business process descriptions, an idea that has emerged in recent literature to overcome the limitations of traditional rule-based code generati…

Smart contracts and reaction-function games
Jens Gudmundsson, Jens Leth Hougaard
https://arxiv.org/abs/2506.14413 https://arxiv.org/p…

Smart contracts and reaction-function games
Blockchain-based smart contracts offer a new take on credible commitment, where players can commit to actions in reaction to actions of others. Such reaction-function games extend on strategic games with players choosing reaction functions instead of strategies. We formalize a solution concept in terms of fixed points for such games, akin to Nash equilibrium, and prove equilibrium existence. Reaction functions can mimic "trigger" strategies from folk theorems on infinitely repeated games -- but…

PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes
Pasquale De Rosa, Simon Queyrut, Y\'erom-David Bromberg, Pascal Felber, Valerio Schiavoni
https://arxiv.org/abs/2506.19480

PhishingHook: Catching Phishing Ethereum Smart Contracts leveraging EVM Opcodes
The Ethereum Virtual Machine (EVM) is a decentralized computing engine. It enables the Ethereum blockchain to execute smart contracts and decentralized applications (dApps). The increasing adoption of Ethereum sparked the rise of phishing activities. Phishing attacks often target users through deceptive means, e.g., fake websites, wallet scams, or malicious smart contracts, aiming to steal sensitive information or funds. A timely detection of phishing activities in the EVM is therefore crucial …

More Belgian (Flemish?) households with solar panels, batteries or electric vehicles will be able to benefit from the flexibility they can offer the energy system as energy retailers Bolt and Trevion collaborate with VPP operator Powernaut.
https://powernaut.io/press/powernaut-a

Powernaut, Bolt, Trevion and Partners launch Belgium’s first energy contracts that pay consumers for grid support - Powernaut
Using Powernaut’s smart software, households with solar panels, home batteries, or EVs can now earn money by allowing their energy retailer to manage their devices intelligently. For example, devices may charge or reduce output during peak times to avoid grid overload. Retailers like Bolt and Trevion are offering these new contracts, allowing customers to benefit financially without sacrificing comfort. Partners such as Qbus and Innovoltus support the initiative, which is seen as a key step …

Towards Multi-Agent Economies: Enhancing the A2A Protocol with Ledger-Anchored Identities and x402 Micropayments for AI Agents
Awid Vaziry, Sandro Rodriguez Garzon, Axel K\"upper
https://arxiv.org/abs/2507.19550

Towards Multi-Agent Economies: Enhancing the A2A Protocol with Ledger-Anchored Identities and x402 Micropayments for AI Agents
This research article presents a novel architecture to empower multi-agent economies by addressing two critical limitations of the emerging Agent2Agent (A2A) communication protocol: decentralized agent discoverability and agent-to-agent micropayments. By integrating distributed ledger technology (DLT), this architecture enables tamper-proof, on-chain publishing of AgentCards as smart contracts, providing secure and verifiable agent identities. The architecture further extends A2A with the x402 …

Decompiling Smart Contracts with a Large Language Model
Isaac David, Liyi Zhou, Dawn Song, Arthur Gervais, Kaihua Qin
https://arxiv.org/abs/2506.19624 http…

Decompiling Smart Contracts with a Large Language Model
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 impediment to blockchain security. This opacity necessitates the automated semantic analysis of on-chain smart contract bytecode, a fundamental research challenge with direct implications for identifying vulnerabilities and understanding malicious behavior. Pre…

Mgmt: We don't have the resources to make our own LLM. Can we just monetize AI prompts?
Business School Student: Hold my beer 🍺
#blockchain

PromptChain: A Decentralized Web3 Architecture for Managing AI Prompts as Digital Assets
We present PromptChain, a decentralized Web3 architecture that establishes AI prompts as first-class digital assets with verifiable ownership, version control, and monetization capabilities. Current centralized platforms lack mechanisms for proper attribution, quality assurance, or fair compensation for prompt creators. PromptChain addresses these limitations through a novel integration of IPFS for immutable storage, smart contracts for governance, and token incentives for community curation. O…

ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
Chenyang Peng, Haijun Wang, Yin Wu, Hao Wu, Ming Fan, Yitao Zhao, Ting Liu
https://arxiv.org/abs/2506.15790

ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
With the advance application of blockchain technology in various fields, ensuring the security and stability of smart contracts has emerged as a critical challenge. Current security analysis methodologies in vulnerability detection can be categorized into static analysis and dynamic analysis methods.However, these existing traditional vulnerability detection methods predominantly rely on analyzing original contract code, not all smart contracts provide accessible code.We present ETrace, a novel…

AI Agent Architecture for Decentralized Trading of Alternative Assets
Ailiya Borjigin, Cong He, Charles CC Lee, Wei Zhou
https://arxiv.org/abs/2507.11117 h…

AI Agent Architecture for Decentralized Trading of Alternative Assets
Decentralized trading of real-world alternative assets (e.g., gold) requires bridging physical asset custody with blockchain systems while meeting strict requirements for compliance, liquidity, and risk management. We present GoldMine OS, a research oriented architecture that employs multiple specialized AI agents to automate and secure the tokenization and exchange of physical gold into a blockchain based stablecoin ("OZ"). Our approach combines on chain smart contracts for critical risk contr…

Talking Transactions: Decentralized Communication through Ethereum Input Data Messages (IDMs)
Xihan Xiong, Zhipeng Wang, Qin Wang, Endong Liu, Pascal Berrang, William Knottenbelt
https://arxiv.org/abs/2505.24724

Talking Transactions: Decentralized Communication through Ethereum Input Data Messages (IDMs)
Can you imagine, blockchain transactions can talk! In this paper, we study how they talk and what they talk about. We focus on the input data field of Ethereum transactions, which is designed to allow external callers to interact with smart contracts. In practice, this field also enables users to embed natural language messages into transactions. Users can leverage these Input Data Messages (IDMs) for peer-to-peer communication. This means that, beyond Ethereum's well-known role as a financial …

Optimistic MEV in Ethereum Layer 2s: Why Blockspace Is Always in Demand
Ozan Solmaz, Lioba Heimbach, Yann Vonlanthen, Roger Wattenhofer
https://arxiv.org/abs/2506.14768

Optimistic MEV in Ethereum Layer 2s: Why Blockspace Is Always in Demand
Layer 2 rollups are rapidly absorbing DeFi activity, securing over $40 billion and accounting for nearly half of Ethereum's DEX volume by Q1 2025, yet their MEV dynamics remain understudied. We address this gap by defining and quantifying optimistic MEV, a form of speculative, on-chain cyclic arbitrage whose detection and execution logic reside largely on-chain in smart contracts. As a result of their speculative nature and lack of off-chain opportunity verification, optimistic MEV transactions…

Dataset of Yul Contracts to Support Solidity Compiler Research
Krzysztof Fonal
https://arxiv.org/abs/2506.19153 https://arxiv.org/pdf…

Dataset of Yul Contracts to Support Solidity Compiler Research
The YulCode dataset presents a comprehensive collection of 348,840 Yul-based smart contract instances, comprising approximately 135,013 unique contracts. These contracts were generated through the compilation of Solidity source files that have been deployed on the Ethereum mainnet, making the dataset directly representative of real-world decentralized applications. YulCode provides a rich foundation for a variety of research and development tasks, including but not limited to machine learning a…

From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
Lambard Maxence, Bertelle Cyrille, Duvallet Claude
https://arxiv.org/abs/2507.16276

From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
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 costs, minimizing fraud risks, and enhancing system compatibility. Smart contracts, initially conceptualized by Nick Szabo and later implemented on the Ethereum blockchain, automate and secure contractual clauses, offering a robust solution for various indus…

Properties of UTxO Ledgers and Programs Implemented on Them
Polina Vinogradova (Input Output Global), Alexey Sorokin (Input Output Global)
https://arxiv.org/abs/2506.05832

Properties of UTxO Ledgers and Programs Implemented on Them
Trace-based properties are the gold standard for program behaviour analysis. One of the domains of application of this type of analysis is cryptocurrency ledgers, both for the purpose of analyzing the behaviour of the ledger itself, and any user-defined programs called by it, known as smart contracts. The (extended) UTxO ledger model is a kind of ledger model where all smart contract code is stateless, and additional work must be done to model stateful programs. We formalize the application of …

Automated Risk Management Mechanisms in DeFi Lending Protocols: A Crosschain Comparative Analysis of Aave and Compound
Erum Iftikhar, Wei Wei, John Cartlidge
https://arxiv.org/abs/2506.12855

Automated Risk Management Mechanisms in DeFi Lending Protocols: A Crosschain Comparative Analysis of Aave and Compound
Blockchain-based decentralised lending is a rapidly growing and evolving alternative to traditional lending, but it poses new risks. To mitigate these risks, lending protocols have integrated automated risk management tools into their smart contracts. However, the effectiveness of the latest risk management features introduced in the most recent versions of these lending protocols is understudied. To close this gap, we use a panel regression fixed effects model to empirically analyse the cross-…

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
Zareh Chahoki Atefeh, Roveri Marco
https://arxiv.org/abs/2507.04357 https:/…

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
Ethereum smart contracts operate in a concurrent environment where multiple transactions can be submitted simultaneously. However, the Ethereum Virtual Machine (EVM) enforces sequential execution of transactions within each block to prevent conflicts arising from concurrent access to the same state variables. Although this approach guarantees correct behavior, it limits the ability of validators to leverage multi-core architectures for faster transaction processing, thus restricting throughput.…

LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation
Keke Gai, Haochen Liang, Jing Yu, Liehuang Zhu, Dusit Niyato
https://arxiv.org/abs/2507.12084

LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation
Smart contracts play a pivotal role in blockchain ecosystems, and fuzzing remains an important approach to securing smart contracts. Even though mutation scheduling is a key factor influencing fuzzing effectiveness, existing fuzzers have primarily explored seed scheduling and generation, while mutation scheduling has been rarely addressed by prior work. In this work, we propose a Large Language Models (LLMs)-based Multi-feedback Smart Contract Fuzzing framework (LLAMA) that integrates LLMs, evo…

IDOL: Improved Different Optimization Levels Testing for Solidity Compilers
Lantian Li, Yejian Liang, Zhongxing Yu
https://arxiv.org/abs/2506.12760 https:/…

IDOL: Improved Different Optimization Levels Testing for Solidity Compilers
As blockchain technology continues to evolve and mature, smart contracts have become a key driving force behind the digitization and automation of transactions. Smart contracts greatly simplify and refine the traditional business transaction processes, and thus have had a profound impact on various industries such as finance and supply chain management. However, because smart contracts cannot be modified once deployed, any vulnerabilities or design flaws within the contract cannot be easily fix…

The Feasibility of MBSs as Decentralized Autonomous Organizations
Timothy Dombrowski, V. Carlos Slawson Jr
https://arxiv.org/abs/2507.05439 https://…

The Feasibility of MBSs as Decentralized Autonomous Organizations
Can the general structure of a mortgage-backed security (MBS) contract be programmatically represented through the use of decentralized autonomous organizations (DAOs)? Such an approach could allow for the portfolio of loans to be managed by investors in a trustless and transparent way. The focus and scope of this paper is to explore the potential for applying the tools of modern fintech, such as asset tokenization, smart contracts, and DAOs, to reconstruct traditional structured products that …

Automated Energy Billing with Blockchain and the Prophet Forecasting Model: A Holistic Approach
Ajesh Thangaraj Nadar, Soham Chandane, Gabriel Nixon Raj, Nihar Mahesh Pasi, Yash Arvind Patil
https://arxiv.org/abs/2506.16649

Automated Energy Billing with Blockchain and the Prophet Forecasting Model: A Holistic Approach
This paper presents a comprehensive approach to automated energy billing that leverages IoT-based smart meters, blockchain technology, and the Prophet time series forecasting model. The proposed system facilitates real-time power consumption monitoring via Wi-Fi-enabled ESP32 modules and a mobile application interface. It integrates Firebase and blockchain for secure, transparent billing processes and employs smart contracts for automated payments. The Prophet model is used for energy demand fo…

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
Hao Wu, Haijun Wang, Shangwang Li, Yin Wu, Ming Fan, Yitao Zhao, Ting Liu
https://arxiv.org/abs/2506.08561

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
An increasing number of DeFi protocols are gaining popularity, facilitating transactions among multiple anonymous users. State Manipulation is one of the notorious attacks in DeFi smart contracts, with price variable being the most commonly exploited state variable-attackers manipulate token prices to gain illicit profits. In this paper, we propose PriceSleuth, a novel method that leverages the Large Language Model (LLM) and static analysis to detect Price Manipulation (PM) attacks proactively.…

Modeling Wallet-Level Behavioral Shifts Post-FTX Collapse: An XAI-Driven GLM Study on Ethereum Transactions
Benjamin Gillen, Rashmi Ranjan Bhuyan, Gourab Mukherjee, Austin Pollok
https://arxiv.org/abs/2507.08455

Modeling Wallet-Level Behavioral Shifts Post-FTX Collapse: An XAI-Driven GLM Study on Ethereum Transactions
The Ethereum blockchain plays a central role in the broader cryptocurrency ecosystem, enabling a wide range of financial activity through the use of smart contracts. This paper investigates how individual Ethereum wallets responded to the collapse of FTX, one of the largest centralized cryptocurrency exchanges. Moving beyond price-based event studies, we adopt a bottom-up approach using granular wallet-level data. We construct a representative sample of Ethereum addresses and analyze their tran…

This https://arxiv.org/abs/2504.13398 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts
Most blockchains cannot hide the binary code of programs (i.e., smart contracts) running on them. To conceal proprietary business logic and to potentially deter attacks, many smart contracts are closed-source and employ layers of obfuscation. However, we demonstrate that such obfuscation can obscure critical vulnerabilities rather than enhance security, a phenomenon we term insecurity through obscurity. To systematically analyze these risks on a large scale, we present SKANF, a novel EVM byteco…

Yotta: A Large-Scale Trustless Data Trading Scheme for Blockchain System
Xiang Liu, Zhanpeng Guo, Liangxi Liu, Mengyao Zheng, Yiming Qiu, Linshan Jiang
https://arxiv.org/abs/2506.19368

Yotta: A Large-Scale Trustless Data Trading Scheme for Blockchain System
Data trading is one of the key focuses of Web 3.0. However, all the current methods that rely on blockchain-based smart contracts for data exchange cannot support large-scale data trading while ensuring data security, which falls short of fulfilling the spirit of Web 3.0. Even worse, there is currently a lack of discussion on the essential properties that large-scale data trading should satisfy. In this work, we are the first to formalize the property requirements for enabling data trading in W…

Novel Blockchain-based Protocols for Electronic Voting and Auctions
Zhaorun Lin
https://arxiv.org/abs/2507.03258 https://arxiv.org/pd…

Novel Blockchain-based Protocols for Electronic Voting and Auctions
Programmable blockchains have long been a hot research topic given their tremendous use in decentralized applications. Smart contracts, using blockchains as their underlying technology, inherit the desired properties such as verifiability, immutability, and transparency, which make it a great suit in trustless environments. In this thesis, we consider several decentralized protocols to be built on blockchains, specifically using smart contracts on Ethereum. We used algorithmic and cryptograph…

Wrapless: The trustless lending protocol on top of Bitcoin
Oleksandr Kurbatov, Kyrylo Baybula, Yaroslava Chopa, Sergey Kozlov, Oleg Komendant, Illia Dovgopoly, Dmitrii Kurbatov, Zakhar Naumets, Yulia Artikulova, Pavel Kravchenko, Volodymyr Dubinin, Lasha Antadze, Yaroslav Panasenko, Mykhailo Velykodnyi
https://arxiv.org/abs/2507…

Wrapless: The trustless lending protocol on top of Bitcoin
This paper presents Wrapless -- a lending protocol that enables the collateralization of bitcoins without requiring a trusted wrapping mechanism. The protocol facilitates a "loan channel" on the Bitcoin blockchain, allowing bitcoins to be locked as collateral for loans issued on any blockchain that supports Turing-complete smart contracts. The protocol is designed in a way that makes it economically irrational for each involved party to manipulate the loan rules. There is still a significant re…