Bitcoin TLDR

#126

newsletter icon

Summary

Jun 29 - Jul 3, 2026

Our weekly newsletter is focused on keeping you updated on what's new in Bitcoin, and summarizes the bitcoin-dev, lightning-dev and delving bitcoin mailing lists

Recent discussions in the Bitcoin development community have highlighted significant advancements and ongoing projects. The btc-verified project has made notable progress using Lean4 for formal verification of Bitcoin's protocol, focusing on factual accuracy in design discussions and providing clear definitions and proofs of the system's operations. This method has underscored the non-malleability of the Merkle Root, establishing a dependable correlation with its tree, which is vital for the security and integrity of block transactions.

Simultaneously, the release of multiple Bitcoin Core versions for testing has been announced, with the latest being v31.1rc1, accessible for download and review from Bitcoin Core's official page. These release candidates, such as v30.3rc1 and v29.4rc1, serve as precursors to final versions, providing an opportunity for the community to identify and address any critical issues. Detailed information about these versions is available in the release notes on GitHub, encouraging community feedback to ensure stability and functionality before the official releases.

Moreover, the KVANTA5 blockchain has implemented a new signature scheme, ML-DSA-87, demonstrating robustness through extensive stress tests and transaction validations. This implementation highlights the chain's ability to handle large-scale operations and provides empirical data useful for ongoing cryptographic discussions. The technical details and transaction data are transparently shared for verification and research purposes through resources like the KVANTA5 Explorer and GitHub repository.

These developments reflect the Bitcoin community's commitment to enhancing protocol understanding, improving system reliability, and fostering an open testing environment to address any potential issues before official releases.

Active Discussions

Prohibit Merkle Internal Node Preimages That Encode Minimal 64-Byte Transactions

17 replies

By Antoine Riard

Involving jeremy, Antoine Poinsot+4 others

calendar icon

Original post on June 1, 2026 17:46 UTC

cyclic icon

Last reply on June 29, 2026 03:40 UTC

bitcoin-dev

  • The email discusses enhancing blockchain with merkle trees for better transaction validation.

  • It proposes utilization of merkle trees to create cryptographic puzzles and compact proofs.

  • The discussion includes considerations on blockchain's validation block costs and protocol improvements.

Giving teeth to expected EC disabling: P2XX(-T)(-ML)

9 replies

By Antoine Riard

Involving Pieter Wuille, Sjors Provoost+3 others

calendar icon

Original post on June 25, 2026 17:42 UTC

cyclic icon

Last reply on June 29, 2026 02:17 UTC

bitcoin-dev

  • Antoine questions the security of disabling EC paths through a proposed tripwire mechanism.

  • He argues that miners might not act against their economic interests, risking network security.

  • Antoine doubts the proposal's game-theoretical robustness due to potential collusion risks.

[BIP Draft] Segregated Data: a prunable, script-isolated block region for data carriage

32 replies

By MrHash

Involving murch, AntoineP+3 others

calendar icon

Original post on June 23, 2026 16:40 UTC

cyclic icon

Last reply on July 3, 2026 17:03 UTC

delvingbitcoin

  • Entry content in blockchain is non-essential for consensus and can be discarded.

  • Entry presence is critical only within a specific retention window for block validity.

  • SegData allows for selective pruning within blocks, enhancing operational flexibility.

SHRINCS: 324-byte stateful post-quantum signatures with static backups

21 replies

By jonasnick

Involving conduition, moonsettler+4 others

calendar icon

Original post on December 11, 2025 08:40 UTC

cyclic icon

Last reply on July 1, 2026 02:39 UTC

delvingbitcoin

  • The revised SHRINCS scheme simplifies cryptographic key management and device initialization.

  • A single static master seed replaces multiple secret seeds, enhancing security and user convenience.

  • The scheme's core algorithms include MasterSeedGen, KeyGen, and Sign, supporting robust security operations.

Addressing the Diminishing Block Subsidy

17 replies

By micah541

Involving show1225, cmp_ancp+6 others

calendar icon

Original post on June 23, 2026 15:33 UTC

cyclic icon

Last reply on June 29, 2026 17:58 UTC

delvingbitcoin

  • The email discusses Bitcoin's security risks, including miner consolidation and network control issues.

  • Potential decreases in Bitcoin subsidy could prompt the community to adopt controversial protective measures.

  • The future economic impact of Bitcoin might be shaped by less speculative influences and potential centralization.

Emulating OP_RAND

14 replies

By AdamISZ

Involving ajtowns, olkurbatov+4 others

calendar icon

Original post on January 29, 2025 11:17 UTC

cyclic icon

Last reply on July 3, 2026 17:59 UTC

delvingbitcoin

  • The paper discusses enhancing blockchain security using taproot and novel funding methods.

  • It introduces confidentiality methods integrating MuSig2, ZKPs, and adaptor signatures.

  • Advanced cryptographic layers prevent premature access to secret transaction values.

Input-triggered transaction expiry

11 replies

By josh

Involving instagibbs, ajtowns+1 other

calendar icon

Original post on June 29, 2026 01:13 UTC

cyclic icon

Last reply on June 29, 2026 20:17 UTC

delvingbitcoin

  • An error in a prior proposal was identified and the idea was withdrawn.

  • Acknowledgment and thanks were expressed following another party's corrective challenge.

  • The incident highlights the value of peer review in problem-solving and intellectual tasks.

Proof-of-work based signet faucet

6 replies

By ajtowns

Involving garlonicon, levantah

calendar icon

Original post on June 3, 2024 08:56 UTC

cyclic icon

Last reply on July 2, 2026 05:27 UTC

delvingbitcoin

  • The new mining software update supports stratumv1 ASIC miners on a test network.

  • Miners can connect using the address on inquisition.bitcoin-signet.net at port 3333.

  • Participants will solve blocks regularly and receive payouts within a few days.

Quantum Sunset Economics: a working paper analyzing PACT adoption

4 replies

By AdamISZ

Involving ahmedraza

calendar icon

Original post on June 24, 2026 02:27 UTC

cyclic icon

Last reply on June 29, 2026 12:35 UTC

delvingbitcoin

  • Section 3.8 highlights underestimated quantum threats from xpub data exposure.

  • Institutions vulnerable to xpub leaks should consider centralized pooling services.

  • The xpub mechanism's design, balancing convenience and security, is critically examined.

Expiring HTLCs without free relay

1 reply

By instagibbs

Involving josh

calendar icon

Original post on June 28, 2026 01:47 UTC

cyclic icon

Last reply on June 29, 2026 13:54 UTC

delvingbitcoin

  • The mechanism avoids free relay in network transactions, enhancing security.

  • It allows replacement cycling within the refund path, unlike `OP_EXPIRE`.

  • This approach guarantees refunds if conditions are not met, reducing attack incentives.

Bitcoin Logo

TLDR

Join Our Newsletter

We’ll email you summaries of the latest discussions from high signal bitcoin sources, like bitcoin-dev, lightning-dev, and Delving Bitcoin.

Explore all Products

ChatBTC imageBitcoin searchBitcoin TranscriptsSaving SatoshiDecoding BitcoinWarnet
Built with 🧡 by the Bitcoin Dev Project
View our public visitor count

We'd love to hear your feedback on this project.

Give Feedback