中文
相关论文

相关论文: An Efficient Framework for Execution of Smart Cont…

200 篇论文

This thesis proposes techniques aiming to make blockchain technologies and smart contract platforms practical by improving their scalability, latency, and privacy. This thesis starts by presenting the design and implementation of…

密码学与安全 · 计算机科学 2021-02-25 Alberto Sonnino

Blockchain and smart contract technology are novel approaches to data and code management that facilitate trusted computing by allowing for development in a distributed and decentralized manner. Testing smart contracts comes with its own…

As 6G networks evolve, inter-provider agreements become crucial for dynamic resource sharing and network slicing across multiple domains, requiring on-demand capacity provisioning while enabling trustworthy interaction among diverse…

网络与互联网体系结构 · 计算机科学 2025-03-04 Farhana Javed , Josep Mangues-Bafalluy

Cross-Blockchain communication has gained traction due to the increasing fragmentation of blockchain networks and scalability solutions such as side-chaining and sharding. With SmartSync, we propose a novel concept for cross-blockchain…

密码学与安全 · 计算机科学 2022-09-01 Martin Westerkamp , Axel Küpper

Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of digital currency which makes them an attractive target for…

软件工程 · 计算机科学 2019-06-10 Dmitrii Suvorov , Vladimir Ulyantsev

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to…

密码学与安全 · 计算机科学 2023-04-19 Nikolaj Bjørner , Shuo Chen , Yang Chen , Zhongxin Guo , Peng Liu , Nanqing Luo

Groundhog is a novel design for a smart contract execution engine based around concurrent execution of blocks of transactions. Unlike prior work, transactions within a block in Groundhog are not ordered relative to one another. Instead, our…

分布式、并行与集群计算 · 计算机科学 2024-04-05 Geoffrey Ramseyer , David Mazières

Blockchains are maintained by a network of participants that run algorithms designed to maintain collectively a distributed machine tolerant to Byzantine attacks. From the point of view of users, blockchains provide the illusion of…

计算机科学中的逻辑 · 计算机科学 2022-07-15 Martán Ceresa , César Sánchez

Smart contracts, the cornerstone of blockchain technology, enable secure, automated distributed execution. Given their role in handling large transaction volumes across clients, miners, and validators, exploring concurrency is critical.…

密码学与安全 · 计算机科学 2025-07-23 Atefeh Zareh Chahoki , Maurice Herlihy , Marco Roveri

A blockchain is a distributed ledger for recording transactions, maintained by many nodes without central authority through a distributed cryptographic protocol. All nodes validate the information to be appended to the blockchain, and a…

分布式、并行与集群计算 · 计算机科学 2017-07-10 Christian Cachin , Marko Vukolić

Blockchain has emerged as a trusted and secure distributed ledger for transactions while also being decentralised, distributed and its legitimacy not guaranteed by a trusted authority. Since the appearance of Bitcoin, Blockchain has known…

分布式、并行与集群计算 · 计算机科学 2018-10-01 Ioana Stanescu , Lenuta Alboaie , Andrei Panu

Synthetic data generation is increasingly recognized as a crucial solution to address data related challenges such as scarcity, bias, and privacy concerns. As synthetic data proliferates, the need for a robust evaluation framework to select…

Smart contracts (SC) are software codes which reside and run over a blockchain. The code can be written in different languages with the common purpose of implementing various kinds of transactions onto the hosting blockchain, They are ruled…

软件工程 · 计算机科学 2018-02-08 Roberto Tonelli , Giuseppe Destefanis , Michele Marchesi , Marco Ortu

Blockchain has been widely deployed in various sectors, such as finance, education, and public services. Since blockchain runs as an immutable distributed ledger, it has decentralized mechanisms with persistency, anonymity, and…

密码学与安全 · 计算机科学 2021-11-30 Qian Wei , Bingzhe Li , Wanli Chang , Zhiping Jia , Zhaoyan Shen , Zili Shao

This work unifies insights from the systems and functional programming communities, in order to enable compositional reasoning about software which is nonetheless efficiently realizable in hardware. It exploits a correspondence between…

分布式、并行与集群计算 · 计算机科学 2020-03-18 Thomas Dickerson

Despite the success in various scenarios, blockchain systems, especially EVM-compatible ones that serially execute transactions, still face the significant challenge of limited throughput. Concurrent transaction execution is a promising…

分布式、并行与集群计算 · 计算机科学 2022-11-18 Haoran Lin , Yajin Zhou , Lei Wu

Hyperledger Fabric is a popular permissioned blockchain system that features a highly modular and extensible system for deploying permissioned blockchains which are expected to have a major effect on a wide range of sectors. Unlike…

分布式、并行与集群计算 · 计算机科学 2023-01-18 Helmi Trabelsi , Kaiwen Zhang

Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the…

分布式、并行与集群计算 · 计算机科学 2025-02-11 Yackolley Amoussou-Guenou , Maurice Herlihy , Sucharita Jayanti , Maria Potop-Butucaru , Sergio Rajsbaum

Similar to other transaction processing frameworks, blockchain systems need to be dynamically reconfigured to adapt to varying workloads and changes in network conditions. However, achieving optimal reconfiguration is particularly…

分布式、并行与集群计算 · 计算机科学 2024-06-11 Jeeta Ann Chacko , Ruben Mayer , Hans-Arno Jacobsen

A new era in ICT has begun with the evolution of Next Generation Networks (NGNs) and the development of human-centric applications. Ultra-low latency, high throughput, and high availability are a few of the main characteristics of modern…

网络与互联网体系结构 · 计算机科学 2022-11-02 Michael Xevgenis , Dimitrios Kogias , Ioannis Christidis , Charalampos Patrikakis , Helen C. Leligou