pull down to refresh

Sonare: Runtime environment for formally-verifiable distributed softwaregithub.com/AluVM/sonare
0 sats \ 0 comments \ @Rsync25 18 Nov bitdevs
related
Introducing Resolvr: Open Source Justice on Bitcoin and Nostr
8633 sats \ 20 comments \ @Resolvr 11 Dec 2023 bitcoin
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar bitcoin
Learn How to Verify with Me ( with Baby Steps )
16.3k sats \ 56 comments \ @Natalia 26 Mar bitcoin freebie
Sov-Stack: A different kind of sovereign computing node, a.k.a. "I made a thing"
2663 sats \ 0 comments \ @0xIlmari 17 Jun 2023 tech
Publishing the Bitcoin Consensus Engine as a standalone binary
4133 sats \ 7 comments \ @theariard 20 Oct bitcoin
📡 We invite you to review Blockstream's progress in our Q2-23 update 🛰️
5408 sats \ 12 comments \ @blockstream_official 14 Sep 2023 bitcoin
Idea: Trust-Minimized Distributed Services with Fedimints
2882 sats \ 5 comments \ @Krv 5 Jan privacy
E104: UTXO on Building Nodeless, Improving Bitcoin UX for ... | Kevin Rooke 📺www.youtube.com/watch?v=8KA4UDyJMzM
662 sats \ 2 comments \ @cryptocoin 13 Apr 2023 bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar bitdevs
Pushtx: Privacy-focused Bitcoin Transaction Broadcast Toolgithub.com/alfred-hodler/pushtx
988 sats \ 3 comments \ @clark 22 May bitcoin
Bottlerocket – Minimal, immutable Linux OS with verified bootbottlerocket.dev
1216 sats \ 3 comments \ @hn 23 Sep 2023 tech
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
Bulletproofs++: A Step Towards Fully Unlinkable Transactionsblog.blockstream.com/bulletproofs-a-step-towards-fully-anonymous-transactions-with-multiple-asset-types/
1076 sats \ 3 comments \ @Rsync25 28 Jul 2023 bitcoin
soverynode: A PWA for your Bitcoin nodegithub.com/BTCapsule/soverynode
250 sats \ 1 comment \ @AR0w 29 Nov 2023 bitcoin
Bitcoin Optech Newsletter #312bitcoinops.org/en/newsletters/2024/07/19/
1285 sats \ 6 comments \ @0xbitcoiner 19 Jul bitcoin
ZeroSync's Header Chain Verifier: Instant Bitcoin Header Chain Verificationwww.nobsbitcoin.com/zerosyncs-header-chain-verifier-instant-bitcoin-header-chain-verification-in-your-browser/
2179 sats \ 5 comments \ @BitcoinIsTheFuture 16 Sep 2023 bitcoin
Bitcoin DSL: Make it easy to build and execute bitcoin transactionsopdup.com/bitcoin-dsl/index.html
1213 sats \ 0 comments \ @Rsync25 31 Mar bitdevs
Bitcoin-testing-tools: A testing framework for bitcoin applications and softwaregithub.com/BitPolito/bitcoin-testing-tools
194 sats \ 0 comments \ @Rsync25 20 May 2023 bitcoin
How to Verify Software Signatures (a must for BTC use)sovrnbitcoiner.com/how-to-verify-software-signatures
1676 sats \ 0 comments \ @ama 30 Dec 2022 bitcoin
bdk_core: a new architecture for the Bitcoin Dev Kitbitcoindevkit.org/blog/bdk-core-pt1/
311 sats \ 1 comment \ @pow 4 Oct 2022 bitcoin