English
Related papers

Related papers: The Monotone Priority System: Foundations of Contr…

200 papers

Public blockchains have spurred the growing popularity of decentralized transactions and smart contracts, but they exhibit limitations on the transaction throughput, storage, and computation. To avoid transaction gridlock, public…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-13 Nikolay Ivanov , Qiben Yan , Qingyang Wang

Currently, blockchain proposals are being adopted to solve security issues, such as data integrity, resilience, and non-repudiation. To improve certain aspects, e.g., energy consumption and latency, of traditional blockchains, different…

Cryptography and Security · Computer Science 2020-05-05 Henry C. Nunes , Roben C. Lunardi , Avelin F. Zorzo , Regio A. Michelin , Salil S. Kanhere

This paper presents the development of an online procurement system and the integration of blockchain technology. Various tools such as PHP, JavaScript, HTML, CSS, and jQuery were used in designing the graphical, programming logic, and…

Cryptography and Security · Computer Science 2019-11-14 August Thio-ac , Erwin John Domingo , Ricca May Reyes , Nilo Arago , Romeo Jr. Jorda , Jessica Velasco

Parallel execution of smart contract transactions in large multicore architectures is critical for higher efficiency and improved throughput. The main bottleneck for maximizing the throughput of a node through parallel execution is…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-15 Parwat Singh Anjana , Matin Amini , Rohit Kapoor , Rahul Parmar , Raghavendra Ramesh , Srivatsan Ravi , Joshua Tobkin

Construction project governance relies on agreements between the actors along the construction industry value chain. The mutual obligations arising from these contracts rely on timely monetary transactions. Despite the advantages of…

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

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

Blockchain, also coined as decentralized AI, has the potential to empower AI to be more trustworthy by creating a decentralized trust of privacy, security, and audibility. However, systematic studies on the design principle of blockchain as…

Cryptography and Security · Computer Science 2023-01-18 Luyao Sunshine Zhang

A Unitychain is a novel blockchain-like structure that drastically improves transaction scalability and security while maintaining ongoing network performance, even if participating nodes are required to perform a new Distributed Key…

Cryptography and Security · Computer Science 2021-01-22 Joshua D. Tobkin

The widespread recognition of the smart contracts has established their importance in the landscape of next generation blockchain technology. However, writing a correct smart contract is notoriously difficult. Moreover, once a…

Software Engineering · Computer Science 2019-11-26 Xinming Wang , Zhijian Xie , Jiahao He , Gansen Zhao , Nie Ruihua

Some of the most significant high-level properties of currencies are the sums of certain account balances. Properties of such sums can ensure the integrity of currencies and transactions. For example, the sum of balances should not be…

Logic in Computer Science · Computer Science 2021-05-18 Neta Elad , Sophie Rain , Neil Immerman , Laura Kovács , Mooly Sagiv

Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This interface should provide for originating and invoking…

Programming Languages · Computer Science 2021-08-31 Thi Thu Ha Doan , Peter Thiemann

Traceability and auditability are key structures that are vital in supply chain management and construction. However, trust is the most important aspect of customers in these systems. Also, we have to rely on third parties to trade in…

Cryptography and Security · Computer Science 2021-03-22 Bora Bugra Sezer , Selcuk Topal , Urfat Nuriyev

We describe a plausible probabilistic model for a blockchain queueing environment in which rational, profit-maximising schedulers impose adversarial disciplines on incoming messages containing a payload that encodes a state transition in a…

Probability · Mathematics 2023-02-17 Andrew W. Macpherson

Throughput limitations of existing blockchain architectures are one of the most significant hurdles for their wide-spread adoption. Attempts to address this challenge include layer-2 solutions, such as Bitcoin's Lightning or Ethereum's…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-09-13 Alexander Hentschel , Dieter Shirley , Layne Lafrance

The advent of blockchain technology and its adoption across various sectors have raised critical discussions about the need for regulatory mechanisms to ensure consumer protection, maintain financial stability, and address privacy concerns…

Cryptography and Security · Computer Science 2024-07-16 Oshani Seneviratne

Most current blockchains require all full nodes to execute all tasks limits the throughput of existing blockchains, which are well documented and among the most significant hurdles for the widespread adoption of decentralized technology.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-19 Alexander Hentschel , Yahya Hassanzadeh-Nazarabadi , Ramtin Seraj , Dieter Shirley , Layne Lafrance

Blockchains rely on economic incentives to ensure secure and decentralised operation, making incentive compatibility a core design concern. However, protocols are rarely deployed in isolation. Applications interact with the underlying…

Computer Science and Game Theory · Computer Science 2026-04-08 Zeta Avarikioti , Georg Fuchsbauer , Pim Keer , Matteo Maffei , Fabian Regen

Smart contracts show a high potential for ensuring that Supply Chain Management strategies make a qualitative leap toward higher levels of optimality, not only in terms of efficiency and profitability but also in the aggregation of skills…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-16 Paolo Bottoni , Claudio Di Ciccio , Remo Pareschi , Nicola Gessa , Gilda Massa

Blockchain networks are facing increasingly heterogeneous computational demands, and in response, protocol designers have started building specialized infrastructure to supply that demand. This paper introduces Resonance: a new kind of…

Computer Science and Game Theory · Computer Science 2024-11-20 Maryam Bahrani , Naveen Durvasula