USENIX Security2020Top-tier venue
Pixel: Multi-signatures for Consensus
Manu Drijvers, Sergey Gorbunov, Gregory Neven, Hoeteck Wee
Abstract
In Proof-of-Stake (PoS) and permissioned blockchains, a committee of verifiers agrees and sign every new block of transactions. These blocks are validated, propagated, and stored by all users in the network. However, posterior corruptions pose a common threat to these designs, because the adversary can corrupt committee verifiers after they certified a block and use their signing keys to certify a different block. Designing efficient and secure digital signatures for use in PoS blockchains can substantially reduce bandwidth, storage and computing requirements from nodes, thereby enabling more efficient applications. We present Pixel, a pairing-based forward-secure multisignature scheme optimized for use in blockchains, that achieves substantial savings in bandwidth, storage requirements, and verification effort. Pixel signatures consist of two group elements, regardless of the number of signers, can be verified using three pairings and one exponentiation, and support non-interactive aggregation of individual signatures into a multi-signature. Pixel signatures are also forward-secure and let signers evolve their keys over time, such that new keys cannot be used to sign on old blocks, protecting against posterior corruptions attacks on blockchains. We show how to integrate Pixel into any PoS blockchain. Next, we evaluate Pixel in a real-world PoS blockchain implementation, showing that it yields notable savings in storage, bandwidth, and block verification time. In particular, Pixel signatures reduce the size of blocks with 1500 transactions by 35% and reduce block verification time by 38%.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 03a37911-6e75-4d1d-8a76-fa73f783ad42Cited by top-tier papers10
- Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable - (Extended Abstract)Martin R. Albrecht, Valerio Cini, Russell W. F. Lai, Giulio Malavolta et al.CRYPTO 2022 · 73 citations
- hinTS: Threshold Signatures with Silent SetupSanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha et al.S&P 2024 · 48 citations
- Squirrel: Efficient Synchronized Multi-Signatures from LatticesNils Fleischhacker, Mark Simkin, Zhenfei ZhangCCS 2022 · 33 citations
- Chop Chop: Byzantine Atomic Broadcast to the Network LimitMartina Camaioni, Rachid Guerraoui, Matteo Monti, Pierre-Louis Roman et al.OSDI 2024 · 9 citations
- Pixel+ and Pixel++: Compact and Efficient Forward-Secure Multi-Signatures for PoS Blockchain ConsensusJianghong Wei, Guohua Tian, Ding Wang, Fuchun Guo et al.USENIX Security 2024 · 9 citations
Builds on5
- Enhancing Bitcoin Security and Performance with Strong Consistency via Collective SigningEleftherios Kokoris-Kogias, Philipp Jovanovic, Nicolas Gailly, Ismail Khoffi et al.USENIX Security 2016 · 769 citations
- Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic AvailabilityChristian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell et al.CCS 2018 · 306 citations
- On the Security of Two-Round Multi-SignaturesManu Drijvers, Kasra Edalatnejad, Bryan Ford, Eike Kiltz et al.S&P 2019 · 126 citations
- Ouroboros Crypsinous: Privacy-Preserving Proof-of-StakeThomas Kerber, Aggelos Kiayias, Markulf Kohlweiss, Vassilis ZikasS&P 2019 · 82 citations
- Vault: Fast Bootstrapping for the Algorand CryptocurrencyDerek Leung, Adam Suhl, Yossi Gilad, Nickolai ZeldovichNDSS 2019 · 53 citations
Related papers
- Threshold Signatures from Inner Product Argument: Succinct, Weighted, and Multi-thresholdSourav Das, Philippe Camacho, Zhuolun Xiang, Javier Nieto et al.CCS 2023 · 34 citations
- Pointproofs: Aggregating Proofs for Multiple Vector CommitmentsSergey Gorbunov, Leonid Reyzin, Hoeteck Wee, Zhenfei ZhangCCS 2020 · 5 citations
- Compact Certificates of Collective KnowledgeSilvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby et al.S&P 2021 · 15 citations
- Chipmunk: Better Synchronized Multi-Signatures from LatticesNils Fleischhacker, Gottfried Herold, Mark Simkin, Zhenfei ZhangCCS 2023 · 10 citations
- Practical Non-interactive Publicly Verifiable Secret Sharing with Thousands of PartiesCraig Gentry, Shai Halevi, Vadim LyubashevskyEUROCRYPT 2022 · 65 citations
