pull down to refresh

Formal Verification of the Safegcd Implementationblog.blockstream.com/formal-verification-of-the-safegcd-implementation/
19 sats \ 0 comments \ @Rsync25 16 Dec 2024 bitdevs
related
Ecash on Bitcoin Educational Resources
6276 sats \ 9 comments \ @Scoresby 18 Jun 2024 bitcoin
JUST SHIPPED: Base58's Crypto + Sigs online course!
8724 sats \ 21 comments \ @niftynei 27 Jan 2024 bitdevs
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
Too Embarassed To Ask - Your Bitcoin & Lightning Questions Answered
2987 sats \ 76 comments \ @sn 1 Jun 2023 bitcoin
GrapheneOS Guide
2358 sats \ 22 comments \ @expatriotic 13 Feb tutorials
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
Decoding #4: Sign, Verify: Schnorr Signatures in Action
697 sats \ 0 comments \ @bitcoin_devs 17 Dec 2024 bitcoin
SwiftSync - smarter synchronization with hintsgist.github.com/RubenSomsen/a61a37d14182ccd78760e477c78133cd
1380 sats \ 1 comment \ @south_korea_ln 9 Apr bitcoin
Civkit Reputation system starting to take shapex.com/gregory_nico/status/1787813343475966460
370 sats \ 0 comments \ @nicosey 8 May 2024 bitcoin
📡 We invite you to review Blockstream's progress in our Q2-23 update 🛰️
5408 sats \ 12 comments \ @blockstream_official 14 Sep 2023 bitcoin
Introduction to ~security#355419
237 sats \ 0 comments \ @ek 18 Dec 2023 security
Tree++: A language for smarter Bitcoin contractsbitvm.org/treeplusplus.html
195 sats \ 0 comments \ @Rsync25 12 Jun 2024 bitdevs
Reproducible Build Proofs: Wallet Scrutiny and BitcoinBinary
635 sats \ 9 comments \ @cointastical 6 Aug 2022 bitcoin
Understanding Bitcoin Scripting with a Go Example
291 sats \ 1 comment \ @r3drun3 4 Jan 2024 bitcoin
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats \ 0 comments \ @IgnaciobTato 8 Feb 2024 bitcoin
NDK v2.8: Optimistic & Threaded Signature Verificationhighlighter.com/npub1l2vyh47mk2p0qlsku7hg0vn29faehy9hy34ygaclpn66ukqp3afqutajft/NDK-2-8-Fast-and-steady-hzfwnt/?ref=nobsbitcoin.com
407 sats \ 1 comment \ @BitcoinIsTheFuture 23 Apr 2024 bitdevs freebie
BitVMX Explainedwww.dollarparity.com/bitvmx-explained/
169 sats \ 1 comment \ @dollarparity 18 May 2024 bitcoin_beginners
The search for easier safe systems programmingwww.sophiajt.com/search-for-easier-safe-systems-programming/
137 sats \ 0 comments \ @hn 8 May 2024 tech
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
🚀 Announcing Vertex - A fast, reliable and open source Web of Trust DVM servicenjump.me/nevent1qqsx6suck298ejldgzuw4v23vrlujmx5nwr4q0eflyqldk9n6x46wgsprpmhxue69uhkv6tvw3jhytnwdaehgu3wwa5kuef0qgstq4j6pk2sgaupru6l7ah9nq0dueafq356jllwcy7uzlek9yx7hlsrqsqqqqqpermms5
623 sats \ 0 comments \ @supratic 6 Feb devs