sign up
sign up
sign up
sign up
pull down to refresh
Bithoven: A Formally Verified, Imperative Smart Contract Language for Bitcoin
delvingbitcoin.org/t/bithoven-a-formally-verified-imperative-smart-contract-language-for-bitcoin/2189
136 sats
\
102 boost
\
1 comment
\
@Scoresby
21 Jan
bitcoin
related
Definitive explanation of my weird Bitcoin transaction
62.8k sats
\
39 comments
\
@vostrnad
7 Jul 2024
bitcoin
Analysis of 0xB10C's weird bitcoin transaction
25.4k sats
\
61 comments
\
@supertestnet
1 Jul 2024
bitcoin
Learn How to Verify with Me ( with Baby Steps )
16.3k sats
\
57 comments
\
@Natalia
26 Mar 2024
bitcoin
freebie
Miniscript 101: A Technical Guide by Nunchuk
nunchuk.io/blog/miniscript101
1358 sats
\
2 comments
\
@supratic
29 Aug 2025
bitcoin
I'm Rob Hamilton Co-Founder & CEO of AnchorWatch AMA
17.6k sats
\
10k boost
\
47 comments
\
@Rob1Ham
29 Aug 2023
bitcoin
π Script State From Lamport Signatures
216 sats
\
0 comments
\
@blockstream_official
4 Jul 2024
bitcoin
Opcodes Explained
3768 sats
\
4 comments
\
@nym
1 Apr 2024
bitcoin
JUST SHIPPED: Base58's Crypto + Sigs online course!
8724 sats
\
21 comments
\
@niftynei
27 Jan 2024
bitdevs
π§ Lamport Signatures Explained (Visually)
1195 sats
\
2 comments
\
@bitcoin_devs
16 Jun 2025
bitcoin
Am I getting UTXO's and the likes right?
2431 sats
\
8 comments
\
@Fabs
20 Feb 2024
bitcoin_beginners
Can you help me build raw bitcoin transaction?
1990 sats
\
8 comments
\
@hynek
16 May 2023
bitcoin
The Curious Case of Digital Signatures
22k sats
\
60 comments
\
@ek
23 Feb 2024
crypto
A short story of how 2,609 Bitcoins got lost FOREVAAAAR
5649 sats
\
10 comments
\
@raw_avocado
12 Jan 2024
bitcoin
SPHINCS+ - explained by nifty
insider.btcpp.dev/p/sphincs
1535 sats
\
3 comments
\
@Scoresby
4 Aug 2025
crypto
Private Keys, Public Keys, Scripts, and Addresses
1831 sats
\
7 comments
\
@ChrisS
20 May 2024
bitcoin_beginners
[Base58βπ] Bitcoin Transaction Deep Dive Class in-person ATX // APR + MAR
1138 sats
\
3 comments
\
@niftynei
28 Feb 2023
bitcoin
AWS signature version 1 is insecure (2008)
www.daemonology.net/blog/2008-12-18-AWS-signature-version-1-is-insecure.html
492 sats
\
0 comments
\
@ek
12 Mar 2024
crypto
Tree++: A language for smarter Bitcoin contracts
bitvm.org/treeplusplus.html
195 sats
\
0 comments
\
@Rsync25
12 Jun 2024
bitdevs
Submarine Swaps Guide
20.5k sats
\
27 comments
\
@aftermath
11 Apr 2023
bitcoin
freebie
ZeroSync: Introducing Validity Proofs to Bitcoin
zerosync.org/zerosync.pdf
539 sats
\
0 comments
\
@Rsync25
11 May 2023
bitcoin
RawβΏit β the visual raw transaction builder & script debugger
rawbit.io
1343 sats
\
0 comments
\
@0xbitcoiner
20 Nov 2025
bitcoin
more