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 bitdevs
related
JUST SHIPPED: Base58's Crypto + Sigs online course!
8724 sats \ 21 comments \ @niftynei 27 Jan bitdevs
Too Embarassed To Ask - Your Bitcoin & Lightning Questions Answered
2978 sats \ 73 comments \ @sn 1 Jun 2023 bitcoin
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar bitcoin
📡 We invite you to review Blockstream's progress in our Q2-23 update 🛰️
5408 sats \ 12 comments \ @blockstream_official 14 Sep 2023 bitcoin
Decoding #4: Sign, Verify: Schnorr Signatures in Action
697 sats \ 0 comments \ @bitcoin_devs 17 Dec bitcoin
What the heck is CatVM?bitcoinmagazine.com/technical/what-the-heck-is-catvm
2336 sats \ 6 comments \ @k00b 17 Apr bitcoin
BitVM: A Tool for Smarter Smart Contracts - Super Testnet - Satsconf 2023www.youtube.com/watch?v=iEM_txmJYxA
4542 sats \ 8 comments \ @supertestnet 13 Feb bitcoin
[bitcoin-dev] MATT: [demo] Optimistic execution of arbitrary programslists.linuxfoundation.org/pipermail/bitcoin-dev/2023-September/021974.html
233 sats \ 1 comment \ @Rsync25 30 Sep 2023 bitcoin
Reproducible Build Proofs: Wallet Scrutiny and BitcoinBinary
635 sats \ 9 comments \ @cointastical 6 Aug 2022 bitcoin
Civkit Reputation system starting to take shapex.com/gregory_nico/status/1787813343475966460
370 sats \ 0 comments \ @nicosey 8 May bitcoin
Explaining Streamchain, a validity sidechain protocollightco.in/2023/01/15/explaining-streamchain/
866 sats \ 0 comments \ @lightcoin 16 Jan 2023 bitcoin
RISC Zero: ZK verifiable general computing platform based on zk-STARKs + RISC-Vgithub.com/risc0/risc0
126 sats \ 0 comments \ @nout 4 Sep 2022 bitcoin
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats \ 0 comments \ @IgnaciobTato 8 Feb 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 bitdevs freebie
RS Merkle: The most advanced Merkle tree library for Rustgithub.com/antouhou/rs-merkle
67 sats \ 0 comments \ @Rsync25 28 Aug 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 bitdevs
Understanding Bitcoin Scripting with a Go Example
291 sats \ 1 comment \ @r3drun3 4 Jan bitcoin
BitVMX Explainedwww.dollarparity.com/bitvmx-explained/
169 sats \ 1 comment \ @dollarparity 18 May bitcoin_beginners
SPV(BIP 157/158) implementations
501 sats \ 3 comments \ @nullama 15 Nov 2022 bitcoin
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct science