中文
相关论文

相关论文: Multi-Party Timed Commitments

200 篇论文

Blockchains provide environments where parties can interact transparently and securely peer-to-peer without needing a trusted third party. Parties can trust the integrity and correctness of transactions and the verifiable execution of…

密码学与安全 · 计算机科学 2023-03-02 Simon Tschirner , Shashank Shekher Tripathi , Mathias Roeper , Markus M. Becker , Volker Skwarek

In a blockchain system, consensus protocol as an incentive and security mechanism, is to ensure the participants to build the block honestly and effectively. There are different consensus protocols for blockchain, like Proof of work (PoW),…

分布式、并行与集群计算 · 计算机科学 2019-03-25 Zhongli Dong , Young Choon Lee , Albert Y. Zomaya

Secret sharing and multiparty computation (also called "secure function evaluation") are fundamental primitives in modern cryptography, allowing a group of mutually distrustful players to perform correct, distributed computations under the…

量子物理 · 物理学 2016-11-17 Michael Ben-Or , Claude Crépeau , Daniel Gottesman , Avinatan Hassidim , Adam Smith

Blockchain is an essentially distributed database recording all transactions or digital events among participating parties. Each transaction in the records is approved and verified by consensus of the participants in the system that…

分布式、并行与集群计算 · 计算机科学 2023-07-07 Jie You

Relativistic cryptography exploits the fact that no information can travel faster than the speed of light in order to obtain security guarantees that cannot be achieved from the laws of quantum mechanics alone. Recently, Lunghi et al [Phys.…

量子物理 · 物理学 2016-12-16 Kaushik Chakraborty , André Chailloux , Anthony Leverrier

HOT Protocol provides the infrastructure that allows smart contracts to securely own and manage private keys. The Multi-Party Computation (MPC) Network manages signing keys. By running an MPC node inside a Trusted Execution Environment…

密码学与安全 · 计算机科学 2025-12-03 Peter Volnov , Georgii Kuksa , Andrey Zhevlakov

A powerful feature in mechanism design is the ability to irrevocably commit to the rules of a mechanism. Commitment is achieved by public declaration, which enables players to verify incentive properties in advance and the outcome in…

理论经济学 · 经济学 2025-07-08 Ran Canetti , Amos Fiat , Yannai A. Gonczarowski

Proof of Stake (PoS) protocols rely on voting mechanisms to reach consensus on the current state. If an enhanced majority of staking nodes, also called validators, agree on a proposed block, then this block is appended to the blockchain.…

计算机科学与博弈论 · 计算机科学 2021-07-20 Stefanos Leonardos , Daniel Reijsbergen , Georgios Piliouras

In the paper, we present designs for multiple blockchain consensus primitives and a novel blockchain system, all based on the use of trusted execution environments (TEEs), such as Intel SGX-enabled CPUs. First, we show how using TEEs for…

密码学与安全 · 计算机科学 2017-03-17 Mitar Milutinovic , Warren He , Howard Wu , Maxinder Kanwal

Decentralised cloud computing platforms enable individuals to offer and rent resources in a peer-to-peer fashion. They must assign resources from multiple sellers to multiple buyers and derive prices that match the interests and capacities…

密码学与安全 · 计算机科学 2020-12-17 Michał Król , Alberto Sonnino , Argyrios Tasiopoulos , Ioannis Psaras , Etienne Rivière

The classic Fischer, Lynch, and Paterson impossibility proof demonstrates that any deterministic protocol for consensus in either a message-passing or shared-memory system must violate at least one of termination, validity, or agreement in…

分布式、并行与集群计算 · 计算机科学 2026-02-20 James Aspnes , Shlomi Dolev , Amit Hendin

Rapid advancements in quantum computing and machine learning threaten the long-term security of classical blockchain systems, whose protection mechanisms largely rely on computational difficulties. In this study, we propose a quantum…

量子物理 · 物理学 2025-12-24 Aktaş , Arzu , Yılmaz , İhsan

Secure Multi-Party Computation (SMC) allows multiple parties to compute some function of their inputs without disclosing the actual inputs to one another. Secure sum computation is an easily understood example and the component of the…

密码学与安全 · 计算机科学 2010-03-25 Rashid Sheikh , Beerendra Kumar , Durgesh Kumar Mishra

We study a collaborative revenue management problem where multiple decentralized parties agree to share some of their capacities. This collaboration is performed by constructing a large mathematical programming model available to all…

最优化与控制 · 数学 2021-12-30 Utku Karaca , S. Ilker Birbil , Nursen Aydin , Gizem Mullaoglu

We study a robust, i.e. in presence of malicious participants, multi-agent multi-armed bandit problem where multiple participants are distributed on a fully decentralized blockchain, with the possibility of some being malicious. The rewards…

机器学习 · 计算机科学 2024-07-29 Mengfan Xu , Diego Klabjan

In this paper, we consider a secure multi-party computation problem (MPC), where the goal is to offload the computation of an arbitrary polynomial function of some massive private matrices (inputs) to a cluster of workers. The workers are…

信息论 · 计算机科学 2020-09-16 Hanzaleh Akbari Nodehi , Mohammad Ali Maddah-Ali

Countries across the globe have been pushing strict regulations on the protection of personal or private data collected. The traditional centralized machine learning method, where data is collected from end-users or IoT devices, so that it…

Bit commitment is a fundamental cryptographic primitive in which a party wishes to commit a secret bit to another party. Perfect security between mistrustful parties is unfortunately impossible to achieve through the asynchronous exchange…

The performance of machine learning algorithms heavily relies on the availability of a large amount of training data. However, in reality, data usually reside in distributed parties such as different institutions and may not be directly…

机器学习 · 计算机科学 2021-04-15 Maoguo Gong , Yuan Gao , Yu Xie , A. K. Qin , Ke Pan , Yew-Soon Ong

Distributed systems have become increasingly prevalent in the software industry. Due to their intrinsic complexity, much research has focused on the verification of their behaviour. An active research line is around behaviour models that…

编程语言 · 计算机科学 2026-04-09 Francisco Parrinha , João Mota , António Ravara