pull down to refresh

Bitcoin Message Verifiercheckmsg.org/
183 sats \ 0 comments \ @pow 29 Sep 2023 bitcoin
related
Bitvmx announces interactively verify a SNARK proof on Bitcoin using BitVMXx.com/bitvmx/status/1816123923106259394
41 sats \ 0 comments \ @Rsync25 24 Jul 2024 bitdevs
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Bitcoin TX Verify: Minimal bitcoin transaction verifier with OP_CAT supportgithub.com/taproot-wizards/bitcoin-tx-verify
71 sats \ 0 comments \ @Rsync25 12 Nov 2024 bitdevs
Have you ever signed a message?
461 sats \ 14 comments \ @nullama 29 Jun 2023 bitcoin
BitVM 2: Permissionless Verification on Bitcoinbitvm.org/bitvm2.html
48 sats \ 1 comment \ @pietro1861 18 Apr 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
pons: Proof Of Non-Spam for Bitcoin - AbdelStarkgithub.com/AbdelStark/pons
1092 sats \ 10 comments \ @Scoresby 6 Aug bitcoin
SNARK Verifier in Bitcoin Scriptbitvm.org/snark.html
31 sats \ 0 comments \ @Rsync25 27 May 2024 bitdevs
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
Glock: A new standard for verification on Bitcoin - Alpen Labswww.alpenlabs.io/blog/glock-verification-on-bitcoin
147 sats \ 0 comments \ @Scoresby 15 Jul bitcoin
ZeroSync: Introducing Validity Proofs to Bitcoinzerosync.org/zerosync.pdf
539 sats \ 0 comments \ @Rsync25 11 May 2023 bitcoin
Bitcoin Proof of Life Recorder: life-proof certifications on Bitcoin networkgithub.com/araujo88/bit-life-proofing
47 sats \ 0 comments \ @Rsync25 24 Nov 2023 bitcoin
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
Verifiable transactions for ecash based protocolsgist.github.com/Semisol/d11c075cb45151e75690d8642d2475ab
356 sats \ 0 comments \ @Rsync25 2 Dec 2023 bitcoin
How to validate a bitcoin transactionbitcoin.stackexchange.com/questions/122443/how-to-validate-a-bitcoin-transaction
10 sats \ 0 comments \ @Rsync25 25 Aug 2024 bitcoin_beginners
Let's practice signing and verifying messages using Bitcoin. I'll go first
2216 sats \ 6 comments \ @5 21 Nov 2023 bitcoin
utreexod: A fully validating Bitcoin node with Utreexo supportgithub.com/utreexo/utreexod
11 sats \ 0 comments \ @02b7622c79 7 Jul 2024 lightning
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
A bitcoin signing applicationsatsigner.com/
361 sats \ 0 comments \ @02b7622c79 5 Apr 2024 bitcoin
Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfertseprint.iacr.org/2025/709.pdf
41 sats \ 0 comments \ @RideandSmile 27 Apr bitcoin
Bitcoin Node Info: A bot to check your bitcoin node via telegramgithub.com/nicolocarcagni/BitcoinNodeInfo
32 sats \ 0 comments \ @Rsync25 31 Jan 2024 bitcoin