@anon
sign up
@anon
sign up
pull down to refresh
Grant Application: Formal Verification of Bitcoin and Bitcoin Core
docs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats
\
1 comment
\
@Scoresby
30 Jun
bitcoin
related
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]
bitvm.org/bitvm2
6308 sats
\
5 comments
\
@lightcoin
25 Mar 2024
bitcoin
BTRY - Lottery powered by Bitcoin
6093 sats
\
18 comments
\
@aftermath
15 Nov 2023
bitcoin
HRF gifts 16.5 BTC via its Bitcoin Development Fund to support 12 projects
4435 sats
\
5 comments
\
@DarthCoin
9 May 2023
bitcoin
Bitcoin CoreDev reflections 2024-2025
adamjonas.com/bitcoin/coredev/retro/coredev-2024-retro/
2246 sats
\
1 comment
\
@supratic
9 Feb
bitdevs
My Bitcoin 2025 Conference Journal Ep. 1: More of the Same
1469 sats
\
6 comments
\
@unschooled
27 May
bitcoin
John Light's report on validity rollups on bitcoin is ready
bitcoinrollups.org/
1054 sats
\
11 comments
\
@patrick
11 Oct 2022
bitcoin
Announcing Mastering Bitcoin, Third Edition
dtrt.org/posts/mb3e-announcement/
3948 sats
\
6 comments
\
@Rsync25
3 Nov 2023
bitcoin
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVM
docs.citrea.xyz/
1673 sats
\
3 comments
\
@02b7622c79
14 Apr 2024
bitcoin
Ninth Wave of Bitcoin Grants
opensats.org/blog/ninth-wave-of-bitcoin-grants
1913 sats
\
3 comments
\
@0xbitcoiner
29 Jan
bitcoin
Takeaways from Bitcoin Amsterdam 2024 conference
482 sats
\
6 comments
\
@peterpeerdeman
15 Oct 2024
crypto
From complex idea to seamless design: The Evolution of Bitcoin's User Experience
525 sats
\
4 comments
\
@deSign_r
16 Jan 2024
bitcoin
Bitcoin is the trust network
883 sats
\
5 comments
\
@kangu
17 Aug 2023
bitcoin
Bitcoin Core Developer Antoine Poinsot: The Great Consensus Cleanup
bitcoinmagazine.com/technical/bitcoin-core-developer-antoine-poinsot-the-great-consensus-cleanup
260 sats
\
0 comments
\
@RideandSmile
18 Apr
bitcoin
Secure your spot to the first SATS’N’FACTS installment
satsnfacts.btc.pub/
393 sats
\
3 comments
\
@satsnfacts
20 Nov 2024
builders
August 2024: Bitcoin Design Monthly - Sahil newsletter
studio21design.substack.com/p/august-2024-bitcoin-design-monthly
136 sats
\
0 comments
\
@ThrillerX_
28 Aug 2024
Design
Bitcoin Research Day 2023
www.brd23.com/
1051 sats
\
1 comment
\
@aljaz
19 Sep 2023
bitcoin
Share your experience! Reading «The Bitcoin Standard»
285 sats
\
7 comments
\
@Esperanto
9 Jul 2023
bitcoin
[Meta] On consensus changes in bitcoin 2024
delvingbitcoin.org/t/meta-on-consensus-changes-in-bitcoin-2024/334
263 sats
\
5 comments
\
@Rsync25
2 Jan 2024
bitcoin
Reaction to The Bitcoin Standard
362 sats
\
5 comments
\
@sandbeach123old
18 Aug 2022
bitcoin
freebie
Bitcoin Tech Talk #378: Caesar, Mathlete, Children and more!
jimmysong.substack.com/p/bitcoin-tech-talk-378
915 sats
\
0 comments
\
@jimmysong
8 Jan 2024
bitcoin
A Formally Verified Lightning Network
arxiv.org/html/2503.07200v1
90 sats
\
0 comments
\
@jakoyoh629
14 Mar
lightning
more