English
Related papers

Related papers: A ZK-SNARK based Proof of Assets Protocol for Bitc…

200 papers

Traditionally, blockchain systems involve sharing transaction information across all blockchain network participants. Clearly, this introduces barriers to the adoption of the technology by the enterprise world, where preserving the privacy…

Cryptography and Security · Computer Science 2020-10-19 Elli Androulaki , Angelo De Caro , Kaoutar Elkhiyaoui , Christian Gorenflo , Alessandro Sorniotti , Marko Vukolic

Digital transactions currently exceed trillions of dollars annually, yet traditional paper-based agreements remain a bottleneck for automation, enforceability, and dispute resolution. Natural language contracts introduce ambiguity, require…

Cryptography and Security · Computer Science 2025-10-24 To-Wen Liu , Matthew Green

We describe the Lockchain Protocol, a lightweight Bitcoin meta-protocol that enables highly efficient transaction discovery at zero marginal block space cost, and data verification without introducing any new on-chain storage mechanism. The…

Cryptography and Security · Computer Science 2025-12-22 Nikodem Tomczak

Bitcoin is one of the decentralized cryptocurrencies powered by a peer-to-peer blockchain network. Parties who trade in the bitcoin network are not required to disclose any personal information. Such property of anonymity, however,…

Cryptography and Security · Computer Science 2022-11-29 Zhengjie Huang , Yunyang Huang , Peng Qian , Jianhai Chen , Qinming He

Bitcoin is the first fully-decentralized permissionless blockchain protocol to achieve a high level of security, but at the expense of poor throughput and latency. Scaling the performance of Bitcoin has a been a major recent direction of…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-20 Lei Yang , Xuechao Wang , Vivek Bagaria , Gerui Wang , Mohammad Alizadeh , David Tse , Giulia Fanti , Pramod Viswanath

This survey provides a comprehensive examination of verifiable computing, tracing its evolution from foundational complexity theory to modern zero-knowledge succinct non-interactive arguments of knowledge (ZK-SNARKs). We explore key…

Logic in Computer Science · Computer Science 2025-01-13 Angold Wang

Many blockchain-based algorithms, such as Bitcoin, implement a decentralized asset transfer system, often referred to as a cryptocurrency. As stated in the original paper by Nakamoto, at the heart of these systems lies the problem of…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-14 Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi

Establishing efficient and robust covert channels is crucial for secure communication within insecure network environments. With its inherent benefits of decentralization and anonymization, blockchain has gained considerable attention in…

Cryptography and Security · Computer Science 2024-03-26 Xiaobo Ma , Pengyu Pan , Jianfeng Li , Wei Wang , Weizhi Meng , Xiaohong Guan

We argue that the current POW based consensus algorithm of the Bitcoin network suffers from a fundamental economic discrepancy between the real world transaction (txn) costs incurred by miners and the wealth that is being transacted. Put…

Numerical Analysis · Mathematics 2024-04-24 Valdemar Melicher

Since its advent in 2009, Bitcoin, a cryptography-enabled peer-to-peer digital payment system, has been gaining increasing attention from both academia and industry. An effort designed to overcome a cluster of bottlenecks inherent in…

Cryptography and Security · Computer Science 2021-05-18 Ling Cheng , Feida Zhu , Huiwen Liu , Chunyan Miao

Software Bills of Materials (SBOMs) are increasingly mandated by regulators, yet existing sharing mechanisms impose a binary choice between full disclosure and full opacity. This exposes software suppliers to attacks that can be deduced…

Cryptography and Security · Computer Science 2026-05-04 Tom Sorger , Eric Cornelissen , Aman Sharma , Javier Ron , Musard Balliu , Martin Monperrus

As Lightning network payments are neither broadcasted nor publicly stored. Thus LN has been seen not only as scalability but also as privacy solution for Bitcoin. The protocol guarantees that only the latest channel state can be confirmed…

Cryptography and Security · Computer Science 2020-04-02 Sergei Tikhomirov , Rene Pickhardt , Alex Biryukov , Mariusz Nowostawski

Our work focuses on the design of a scalable permissionless blockchain in the proof-of-stake setting. In particular, we use a distributed hash table as a building block to set up randomized shards, and then leverage the sharded architecture…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-12 Antoine Durand , Emmanuelle Anceaume , Romaric Ludinard

Bitcoin is a digital currency which relies on a distributed set of miners to mint coins and on a peer-to-peer network to broadcast transactions. The identities of Bitcoin users are hidden behind pseudonyms (public keys) which are…

Cryptography and Security · Computer Science 2014-07-08 Alex Biryukov , Dmitry Khovratovich , Ivan Pustogarov

One decade ago, Bitcoin was introduced, becoming the first cryptocurrency and establishing the concept of "blockchain" as a distributed ledger. As of today, there are many different implementations of cryptocurrencies working over a…

Neural and Evolutionary Computing · Computer Science 2019-07-26 Alejandro Baldominos , Yago Saez

A typical blockchain protocol uses consensus to make sure that mutually mistrusting users agree on the order in which their operations on shared data are executed. However, it is known that asset transfer systems, by far the most popular…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-28 Andrei Tonkikh , Pavel Ponomarev , Petr Kuznetsov , Yvonne-Anne Pignolet

Bitcoin is a cryptocurrency attracting a lot of interest both from the general public and researchers. There is an ongoing debate on the question of users' anonymity: while the Bitcoin protocol has been designed to ensure that the activity…

Cryptography and Security · Computer Science 2019-06-14 Remy Cazabet , Baccour Rym , Latapy Matthieu , Cazabet Remy

With the widespread adoption of Zero-Knowledge Proof systems, particularly ZK-SNARK, the efficiency of proof generation, encompassing both the witness generation and proof computation phases, has become a significant concern. While…

Cryptography and Security · Computer Science 2025-02-26 Zheming Ye , Xiaodong Qi , Zhao Zhang , Cheqing Jin

As a valuable digital resource, graph data is an important data asset, which has been widely utilized across various fields to optimize decision-making and enable smarter solutions. To manage data assets, blockchain is widely used to enable…

Cryptography and Security · Computer Science 2025-01-28 Hongguang Zhao , Xu Yang , Saiyu Qi , Qiuhao Wang , Ke Li

Blockchain is a decentralized ledger used to securely exchange digital currency, perform deals and transactions efficient manner, each user of the network has access to the least copy of the encrypted ledger so that they can validate a new…

Cryptography and Security · Computer Science 2022-01-03 Bosubabu Sambana