|
Bithoven: A Formally Verified, Imperative Smart Contract Language for Bitcoin
|
|
8
|
398
|
February 13, 2026
|
|
What is the importance of running a node?
|
|
13
|
483
|
February 12, 2026
|
|
Hourglass V2 Update
|
|
2
|
283
|
February 10, 2026
|
|
BIP 119 CTV activation client
|
|
0
|
140
|
February 9, 2026
|
|
Algorithm agility to defeat quantum and classical attacks on Bitcoin's signature algorithms
|
|
0
|
86
|
February 9, 2026
|
|
Benchmarking Bitcoin Script Evaluation for the Varops Budget (Great Script Restoration)
|
|
16
|
414
|
February 8, 2026
|
|
A max-plus perspective on package relay and block assembly
|
|
2
|
121
|
February 7, 2026
|
|
OP_CC: A simple introspection opcode to enable cheaper consolidations
|
|
15
|
336
|
February 7, 2026
|
|
Lehar / Parlour Paper
|
|
5
|
114
|
February 5, 2026
|
|
Bitcoin as Digital Latin: Asymptotic Ossification and the End of Semantic Drift
|
|
1
|
158
|
February 3, 2026
|
|
OP_CAT and Bitcoin’s Path to Quantum Resistance
|
|
2
|
290
|
January 30, 2026
|
|
Scheduled (Delayed) Transaction Broadcast
|
|
8
|
296
|
January 28, 2026
|
|
LN-Symmetry Project Recap
|
|
16
|
4083
|
January 22, 2026
|
|
Argo: a garbled-circuits scheme for 1000x more efficient off-chain computation
|
|
0
|
171
|
January 22, 2026
|
|
Programming Lightning: An Introduction to Payment Channels
|
|
0
|
165
|
January 21, 2026
|
|
BMAX: pricing “sats now vs sats later” via a mining sharechain (no L1 changes, no custodians, no oracles)
|
|
8
|
215
|
January 20, 2026
|
|
A Mathematical Theory of Payment Channel Networks
|
|
1
|
281
|
January 16, 2026
|
|
BIP352: PSBT support
|
|
29
|
2182
|
January 16, 2026
|
|
Provable Cryptography for Bitcoin: An Introduction (Workbook)
|
|
1
|
1100
|
January 7, 2026
|
|
Ark as a Channel Factory: Compressed Liquidity Management for Improved Payment Feasibility
|
|
7
|
1042
|
January 6, 2026
|
|
Writing version 2 of my Bitcoin Game Theory book with de Gruyter, what should I cover?
|
|
1
|
102
|
January 6, 2026
|
|
Bitcoin Core v30.1 Released
|
|
0
|
104
|
January 2, 2026
|
|
Understanding and Mitigating a OP_CTV Footgun: The Unsatisfiable UTXO
|
|
18
|
562
|
December 30, 2025
|
|
P2share: how to turn any network (or testnet!) into a bitcoin miner
|
|
24
|
435
|
December 28, 2025
|
|
Bitcoin Embracing MimbleWimble
|
|
13
|
837
|
December 22, 2025
|
|
A Proposal for Trustless Custody
|
|
0
|
171
|
December 22, 2025
|
|
Scaling Noncustodial Mining Payouts with CTV
|
|
17
|
796
|
December 20, 2025
|
|
Measuring minrelaytxfee across the Bitcoin network
|
|
5
|
492
|
December 18, 2025
|
|
Modifying BIP54 to Support Future nTime Soft Fork
|
|
5
|
239
|
December 18, 2025
|
|
ZK-Statechains Without States
|
|
2
|
280
|
December 17, 2025
|