Loading posts…
TLDR
We’ll email you summaries of the latest discussions from high signal bitcoin sources, like bitcoin-dev, lightning-dev, and Delving Bitcoin.
We'd love to hear your feedback on this project.
Give FeedbackCheck out posts actively getting replies and inspiring conversations.
Emulating OP_RAND
14 repliesBy AdamISZ
delvingbitcoin
Involving ajtowns, olkurbatov+4 others
Original post on January 29, 2025 11:17 UTC
Last reply on July 3, 2026 17:59 UTC
delvingbitcoin
The email details a cryptographic protocol involving Bob computing secret values.
A potential modification in the protocol includes using hash functions for enhanced security.
The method discussed is efficient but limited to specific set types in cryptographic applications.
Btc-verified: formalizing the Bitcoin protocol
By ProofOfKeags
delvingbitcoin
Original post on July 3, 2026 16:55 UTC
Last reply on July 3, 2026 16:55 UTC
delvingbitcoin
Formal Verification enhances software reliability, useful in Bitcoin protocol analysis.
The project uses Lean4 to explore Bitcoin Improvement Proposal claims with mathematical rigor.
Efforts aim to clarify Bitcoin's operational integrity and resolve technical disputes formally.
Empirical ML-DSA-87 data from a live SHA-256 PoW chain (relevant to BIP-360 / Witness V3 sizing discussion)
By geobees
delvingbitcoin
Original post on July 3, 2026 12:43 UTC
Last reply on July 3, 2026 12:43 UTC
delvingbitcoin
ML-DSA-87 was implemented on the KVANTA5 blockchain using SHA-256 proof-of-work since June 1, 2026.
Recent stress tests show insights on computational costs in handling input over output sizes.
The ML-DSA-87, based on pq-crystals, ensures security and efficiency in signature processes.
