pull down to refresh

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
related
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
Quantum vs Bitcoin: A Visual Breakdown
1531 sats \ 9 comments \ @bitcoin_devs 2 Jun bitcoin
Are there any tools that apply zero knowledge proofs, much like GPG for ZK?
4332 sats \ 5 comments \ @denationalized 8 Mar 2024 crypto
Verifiably Trustless Boltz Swaps
848 sats \ 10 comments \ @SwapMarket 1 Oct 2024 bitcoin
StarkWare: Running Bitcoin ZK Knots, baby!x.com/dimahledba/status/1937543442898223463
262 sats \ 4 comments \ @Scoresby 24 Jun bitcoin
ZeroSync: STARKs for Bitcoinzerosync.org
4632 sats \ 9 comments \ @nout 17 Sep 2023 bitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!github.com/sigma0-xyz/zkbitcoin
5470 sats \ 7 comments \ @Kathleen_Croteau 28 Jan 2024 bitcoin
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
Bitcoin Optech Newsletter #312bitcoinops.org/en/newsletters/2024/07/19/
1285 sats \ 6 comments \ @0xbitcoiner 19 Jul 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
SPHINCS+ explained (Part 1)
1524 sats \ 0 comments \ @bitcoin_devs 2 Aug bitcoin
Inscriptions, bitcoin-native NFTs attached to sats, is ready for testing!
13.4k sats \ 13 comments \ @rodarmor 16 Dec 2022 bitcoin
Bitaxe: The First Open Source Hardware Bitcoin ASIC Minerd-central.tech/bitaxe-the-first-open-source-hardware-bitcoin-asic-miner/
3470 sats \ 6 comments \ @teoraroa 17 Sep 2023 bitcoin
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Running DOOM inside zkVM with zero knowledge proofswww.risczero.com/blog/when-the-doom-music-kicks-in
576 sats \ 1 comment \ @nout 3 Mar 2024 gaming
SwiftSync - smarter synchronization with hintsgist.github.com/RubenSomsen/a61a37d14182ccd78760e477c78133cd
1380 sats \ 1 comment \ @south_korea_ln 9 Apr bitcoin
ZK Rollup on Bitcoin: Technical Whitepapergithub.com/alpenlabs/Technical-Whitepaper/blob/main/whitepaper_v085.pdf
502 sats \ 13 comments \ @lightcoin 6 Jun 2024 bitcoin
LNbits on Liquid: Using trustless atomic swaps via boltz to run LNbitsgithub.com/lnbits/LNbits-on-Liquid
489 sats \ 3 comments \ @Rsync25 12 Sep 2024 lightning
📡 We invite you to review Blockstream's progress in our Q2-23 update 🛰️
5408 sats \ 12 comments \ @blockstream_official 14 Sep 2023 bitcoin
zkMesh: September 2023 recap of zk researchzkmesh.substack.com/p/zkmesh-sept-2023-recap
1499 sats \ 4 comments \ @lightcoin_ 3 Oct 2023 tech