Copertina

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Blake, Christopher, Feng, Chen, Wang, Xuechao, Yu, Qianyu
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Merged Bitcoin: Proof of Work Blockchains with Multiple Hash Types
di: Blake, Christopher, et al.
Pubblicazione: (2026)

Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities
di: Tas, Ertem Nusret, et al.
Pubblicazione: (2022)

TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus
di: Yu, Qianyu, et al.
Pubblicazione: (2024)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
di: Modesti, Paolo, et al.
Pubblicazione: (2021)

Applications Of Zero-Knowledge Proofs On Bitcoin
di: Ozmiş, Yusuf
Pubblicazione: (2025)

Bitcoin as an Interplanetary Monetary Standard with Proof-of-Transit Timestamping
di: Puente, Jose E., et al.
Pubblicazione: (2025)

SecurePay: Enabling Secure and Fast Payment Processing for Platform Economy
di: Lin, Junru, et al.
Pubblicazione: (2025)

ZAPS: A Zero-Knowledge Proof Protocol for Secure UAV Authentication with Flight Path Privacy
di: Naziri, Shayesta, et al.
Pubblicazione: (2025)

Bitcoin-IPC Whitepaper: Scaling Bitcoin with a Network of Proof-of-Stake Subnets
di: Vukolić, Marko, et al.
Pubblicazione: (2025)

Refined Bitcoin Security-Latency Under Network Delay
di: Doger, Mustafa, et al.
Pubblicazione: (2022)

Angelfish: Leader, DAG, or Anywhere in Between
di: Yu, Qianyu, et al.
Pubblicazione: (2025)

The Treasury Proof Ledger: A Cryptographic Framework for Accountable Bitcoin Treasuries
di: Puente, Jose E., et al.
Pubblicazione: (2025)

A Game-Theoretic Foundation for Bitcoin's Price: A Security-Utility Equilibrium
di: Chen, Liang
Pubblicazione: (2025)

Bitcoin Staking
di: Dong, Xinshu, et al.
Pubblicazione: (2024)

A Security Framework for General Blockchain Layer 2 Protocols
di: Avarikioti, Zeta, et al.
Pubblicazione: (2025)

Bitcoin Battle: Burning Bitcoin for Geopolitical Fun and Profit
di: Oosthoek, Kris, et al.
Pubblicazione: (2025)

BitMLx: Secure Cross-chain Smart Contracts For Bitcoin-style Cryptocurrencies
di: Badaloni, Federico, et al.
Pubblicazione: (2025)

How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain Protocol
di: Maddaloni, Dario, et al.
Pubblicazione: (2024)

Proof-of-Learning with Incentive Security
di: Zhao, Zishuo, et al.
Pubblicazione: (2024)

Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
di: Cosler, Matthias, et al.
Pubblicazione: (2026)

SMCP: Secure Model Context Protocol
di: Hou, Xinyi, et al.
Pubblicazione: (2026)

Programming on Bitcoin: A Survey of Layer 1 and Layer 2 Technologies in Bitcoin Ecosystem
di: Liao, Guofu, et al.
Pubblicazione: (2024)

Bitcoin: A Non-Continuous Time System
di: Chen, Bin
Pubblicazione: (2025)

OPAF: Optimized Secure Two-Party Computation Protocols for Nonlinear Activation Functions in Recurrent Neural Network
di: Feng, Qian, et al.
Pubblicazione: (2024)

Benchmarking Secure Sampling Protocols for Differential Privacy
di: Fu, Yucheng, et al.
Pubblicazione: (2024)

Proof of Diligence: Cryptoeconomic Security for Rollups
di: Sheng, Peiyao, et al.
Pubblicazione: (2024)

Deanonymizing Bitcoin Transactions via Network Traffic Analysis with Semi-supervised Learning
di: Zhang, Shihan, et al.
Pubblicazione: (2026)

Bitcoin Smart Accounts: Trust-Minimized Native Bitcoin DeFi Infrastructure
di: Lalor, Cian, et al.
Pubblicazione: (2026)

Manifoldchain: Maximizing Blockchain Throughput via Bandwidth-Clustered Sharding
di: Che, Chunjiang, et al.
Pubblicazione: (2024)

On the Design and Security of Collective Remote Attestation Protocols
di: Ahmadi, Sharar, et al.
Pubblicazione: (2024)

Bittensor Protocol: The Bitcoin in Decentralized Artificial Intelligence? A Critical and Empirical Analysis
di: Lui, Elizabeth, et al.
Pubblicazione: (2025)

Emulating OP_RAND in Bitcoin
di: Kurbatov, Oleksandr
Pubblicazione: (2025)

Bitcoin under Volatile Block Rewards: How Mempool Statistics Can Influence Bitcoin Mining
di: Sarenche, Roozbeh, et al.
Pubblicazione: (2024)

Model Context Protocol for Vision Systems: Audit, Security, and Protocol Extensions
di: Tiwari, Aditi, et al.
Pubblicazione: (2025)

Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
di: Bogdanov, Dan, et al.
Pubblicazione: (2025)

Navigating Quantum Security Risks in Networked Environments: A Comprehensive Study of Quantum-Safe Network Protocols
di: Baseri, Yaser, et al.
Pubblicazione: (2024)

Security, Latency, and Throughput of Proof-of-Work Nakamoto Consensus
di: Cao, Shu-Jie, et al.
Pubblicazione: (2023)

Probabilistic Atomic Swaps for Bitcoin and Friends
di: Gerhart, Paul, et al.
Pubblicazione: (2026)

Transaction Fee Estimation in the Bitcoin System
di: Zhang, Limeng, et al.
Pubblicazione: (2024)

A Secure Remote Password Protocol From The Learning With Errors Problem
di: Li, Huapeng, et al.
Pubblicazione: (2025)