pull down to refresh

Simple demonstration / explanation of ZK Proofsvideo.twimg.com/amplify_video/1773341606843756544/vid/avc1/1302x720/H3wxm5yQ2OoMPz4T.mp4
116 sats \ 0 comments \ @freetx 1 Apr 2024 bitcoin
related
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats \ 0 comments \ @IgnaciobTato 8 Feb 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
ZKP-Workshop: Explore the world of zero-knowledge proofs from first principlesgithub.com/uncomputable/zkp-workshop
142 sats \ 0 comments \ @Rsync25 20 May 2023 bitcoin
StarkWare: Running Bitcoin ZK Knots, baby!x.com/dimahledba/status/1937543442898223463
262 sats \ 4 comments \ @Scoresby 24 Jun bitcoin
RIP Hal Finney
66 sats \ 0 comments \ @JReeCoin 21 Sep 2023 bitcoin
Are ZK-proofs the answer to Bitcoin’s Ordinal and BRC-20 problem?cointelegraph.com/news/are-zk-proofs-the-answer-to-bitcoin-ordinal-and-brc-20-problem
816 sats \ 5 comments \ @shadowymartian 15 May 2023 bitcoin
How might we have permissionless provers and sequencers in ZK rollups?
362 sats \ 4 comments \ @denationalized 11 Jan bitcoin
What did Satoshi Nakamoto think about ZK-proofs?cointelegraph.com/magazine/satoshi-nakamoto-zk-proofs-bitcoin/
560 sats \ 1 comment \ @k00b 26 Oct 2023 bitcoin
zkBitcoin: zero-knowledge proofs on Bitcoin!github.com/sigma0-xyz/zkbitcoin
5470 sats \ 7 comments \ @Kathleen_Croteau 28 Jan 2024 bitcoin
Zero Knowledge Proofs: An illustrated primerblog.cryptographyengineering.com/2014/11/zero-knowledge-proofs-illustrated-primer.html
653 sats \ 13 comments \ @pi 5 Feb 2023 bitcoin
Kevin Rookie Podcast - John Light on Validity Rollups , ZK-proofs, and LN | E75youtu.be/feODuDF2xv0
417 sats \ 8 comments \ @timechain 21 Oct 2022 bitcoin
Why There’s No ZK in Bitcoin: The Missing Pieces - Jonas Nick (Blockstream)www.youtube.com/watch?v=GrSCZmFuy7U
304 sats \ 0 comments \ @Rsync25 23 May 2024 bitdevs
ZKProof on Bitcoin - Slides 2024nickler.ninja/slides/2024-zkproof6.pdf
227 sats \ 0 comments \ @Rsync25 24 May 2024 bitdevs
An introduction to zkCoins with Robin Linuswww.youtube.com/watch?v=UZ446oRFnxQ
100 sats \ 0 comments \ @Rsync25 20 Sep 2024 bitcoin
ZK-proofs are bringing smart contracts to Bitcoin — BitcoinOS and Starknetcointelegraph.com/magazine/bitcoinos-starknet-adding-smart-contracts-bitcoin-zk-proofs/
106 sats \ 3 comments \ @siggy47 1 May bitcoin
Bitcoin mainnet receives first-ever verified ZK-proofcointelegraph.com/news/bitcoin-mainnet-first-verified-zk-proof
32 sats \ 0 comments \ @TNStacker 25 Jul 2024 bitcoin
Who Can Understand the Proof? A Window on Formalized Mathematicswritings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
13 sats \ 0 comments \ @hn 10 Jan tech
ZK Rollup on Bitcoin: Technical Whitepapergithub.com/alpenlabs/Technical-Whitepaper/blob/main/whitepaper_v085.pdf
502 sats \ 13 comments \ @lightcoin 6 Jun 2024 bitcoin
New Proofs Probe the Limits of Mathematical Truthwww.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/
51 sats \ 0 comments \ @0xbitcoiner 3 Feb science
zkMesh: September 2023 recap of zk researchzkmesh.substack.com/p/zkmesh-sept-2023-recap
1499 sats \ 4 comments \ @lightcoin_ 3 Oct 2023 tech
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