English
Related papers

Related papers: OptSmart: A Space Efficient Optimistic Concurrent …

200 papers

Modern distributed data management systems face a new challenge: how can autonomous, mutually-distrusting parties cooperate safely and effectively? Addressing this challenge brings up questions familiar from classical distributed systems:…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-16 Maurice Herlihy , Barbara Liskov , Liuba Shrira

The General Purpose Atomic Crosschain Transaction protocol allows composable programming across multiple Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one…

Cryptography and Security · Computer Science 2021-07-06 Peter Robinson , Raghavendra Ramesh

Blockchains have popularized the Automated Market Makers (AMMs), where users trade crypto-assets directly with a smart contract, governed by a pricing function embedded in the contract's code. Today, users of AMMs are often forced to accept…

Computer Science and Game Theory · Computer Science 2026-05-28 Yuhao Li , Elaine Shi , Mengqian Zhang

Ethereum Smart contracts use blockchain to transfer values among peers on networks without central agency. These programs are deployed on decentralized applications running on top of the blockchain consensus protocol to enable people to…

Cryptography and Security · Computer Science 2021-05-10 Noama Fatima Samreen , Manar H. Alalfi

Blockchain is the underlying technology for cryptocurrencies such as Bitcoin. Blockchain is a robust distributed ledger that uses consensus algorithms to approve transactions in a decentralized manner, making malicious tampering extremely…

Neural and Evolutionary Computing · Computer Science 2024-05-08 Atsushi Masumori , Norihiro Maruyama , Takashi Ikegami

In an age where sustainability is of paramount importance, the significance of both high-performance computing and intelligent algorithms cannot be understated. Yet, these domains often demand hefty computational power, translating to…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-12-01 Murat Yaslioglu

The Blockchain and the programs running on it, called Smart Contracts, are more and more applied in all fields requiring trust and strong certifications. In this work we compare public and permissioned blockchains for industrial…

Cryptography and Security · Computer Science 2020-05-07 Lodovica Marchesi , Michele Marchesi , Roberto Tonelli

Smart contracts are autonomous software executing predefined conditions. Two of the biggest advantages of the smart contracts are secured protocols and transaction costs reduction. On the Ethereum platform, an open-source blockchain-based…

Computational Engineering, Finance, and Science · Computer Science 2019-05-27 Jeremy Charlier , Radu Statem , Jean Hilger

Although almost all information about Smart Contract addresses is shared via websites, emails, or other forms of digital communication, Blockchains and distributed ledger technology are unable to establish secure bindings between websites…

Cryptography and Security · Computer Science 2020-04-30 Ulrich Gallersdörfer , Florian Matthes

Optimistic concurrency control (OCC) can exploit the strengths of parallel hardware to provide excellent performance for uncontended transactions, and is popular in high-performance in-memory databases and transactional systems. But at high…

Databases · Computer Science 2018-11-14 Yihe Huang , Hao Bai , Eddie Kohler , Barbara Liskov , Liuba Shrira

The emergence of blockchain technology has revolutionized contract execution through the introduction of smart contracts. Ethereum, the leading blockchain platform, leverages smart contracts to power decentralized applications (DApps),…

Cryptography and Security · Computer Science 2025-10-23 Tahrim Hossain , Sakib Hassan , Faisal Haque Bappy , Muhammad Nur Yanhaona , Tarannum Shaila Zaman , Tariqul Islam

Blockchain performance has historically faced challenges posed by the throughput limitations of consensus algorithms. Recent breakthroughs in research have successfully alleviated these constraints by introducing a modular architecture that…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-19 Ray Neiheiser , Arman Babaei , Giannis Alexopoulos , Marios Kogias , Eleftherios Kokoris Kogias

Most modern electronic devices can produce a random number. However, it is difficult to see how a group of mutually distrusting entities can have confidence in any such hardware-produced stream of random numbers, since the producer could…

Cryptography and Security · Computer Science 2019-06-27 Peter Mell , John Kelsey , James Shook

We investigate the market microstructure of Automated Market Makers (AMMs), the most prominent type of blockchain-based decentralized exchanges. We show that the order execution mechanism yields token value loss for liquidity providers if…

Trading and Market Microstructure · Quantitative Finance 2021-07-22 Agostino Capponi , Ruizhe Jia

Smart contracts are programs stored on a blockchain that run when predetermined conditions are met. However, designing and implementing a smart contract is not trivial since upon deployment on a blockchain, it is no longer possible to…

Software Engineering · Computer Science 2021-12-08 Chaïmaa Benabbou , Önder Gürcan

Smart contracts are programs stored and executed on a blockchain. The Ethereum platform, an open-source blockchain-based platform, has been designed to use these programs offering secured protocols and transaction costs reduction. The…

Computational Engineering, Finance, and Science · Computer Science 2019-05-27 Jeremy Charlier , Radu State , Jean Hilger

We introduce the DeTerministic Virtual Machine (DTVM) Stack, a next-generation smart contract execution framework designed to address critical performance, determinism, and ecosystem compatibility challenges in blockchain networks. Building…

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…

Software Engineering · Computer Science 2025-06-02 Christian Gang Liu

In the age of Big Data, enabling task scheduling while protecting users' privacy is critical for various decentralized applications in blockchain-based smart contract platforms. Such a privacy-preserving task scheduler requires the task…

Cryptography and Security · Computer Science 2019-02-18 Chao Li , Balaji Palanisamy

Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious…

Logic in Computer Science · Computer Science 2021-11-29 Kunjian Song , Nedas Matulevicius , Eddie B. de Lima Filho , Lucas C. Cordeiro
‹ Prev 1 8 9 10 Next ›