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 bitcoin
ZeroSync: STARKs for Bitcoinzerosync.org
4632 sats \ 9 comments \ @nout 17 Sep 2023 bitcoin
Are there any tools that apply zero knowledge proofs, much like GPG for ZK?
4332 sats \ 5 comments \ @denationalized 8 Mar crypto
Zero-Knowledge Proofs of Training for Deep Neural Networkseprint.iacr.org/2024/162
2026 sats \ 5 comments \ @0xbitcoiner 5 Feb crypto
📡 We invite you to review Blockstream's progress in our Q2-23 update 🛰️
5408 sats \ 12 comments \ @blockstream_official 14 Sep 2023 bitcoin
Hash-Based Signature Schemes for Post-Quantum Bitcoinconduition.io/cryptography/quantum-hbs/
16.8k sats \ 8 comments \ @conduition 22 Oct bitcoin
Super Testnet's Overview & Thoughts on SuperScalar: a New L2 Proposal from Zman
18.4k sats \ 14 comments \ @supertestnet 15 Oct bitcoin
Bitaxe: The First Open Source Hardware Bitcoin ASIC Minerd-central.tech/bitaxe-the-first-open-source-hardware-bitcoin-asic-miner/
3449 sats \ 6 comments \ @teoraroa 17 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
Running DOOM inside zkVM with zero knowledge proofswww.risczero.com/blog/when-the-doom-music-kicks-in
576 sats \ 1 comment \ @nout 3 Mar gaming
zkBitcoin: zero-knowledge proofs on Bitcoin!github.com/sigma0-xyz/zkbitcoin
5470 sats \ 7 comments \ @Kathleen_Croteau 28 Jan bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar bitdevs
LNbits on Liquid: Using trustless atomic swaps via boltz to run LNbitsgithub.com/lnbits/LNbits-on-Liquid
489 sats \ 3 comments \ @Rsync25 12 Sep lightning
Introducing NOIST: a non-interactive, single-round t-of-n threshold signingblog.brollup.org/introducing-noist-a-non-interactive-single-round-t-of-n-threshold-signing-protocol-51225fe513fa
1224 sats \ 0 comments \ @Rsync25 14 Sep bitcoin
Prometheus: Scalable high-load computing & ML on top of Bitcoin, Orlovsky (2019)github.com/Prometheus-WG/prometheus-spec/blob/master/prometheus.pdf
1012 sats \ 1 comment \ @nout 1 Oct 2023 bitcoin
Bitcoin Optech Newsletter #312bitcoinops.org/en/newsletters/2024/07/19/
1285 sats \ 6 comments \ @0xbitcoiner 19 Jul bitcoin
Verifiably Trustless Boltz Swaps
848 sats \ 10 comments \ @SwapMarket 1 Oct bitcoin
Stark Proof for BitVM Circuit Executiongithub.com/neocarmack/STARK/blob/main/STARK%20proof%20for%20BitVM%20circuit%20execution.pdf
934 sats \ 0 comments \ @Rsync25 15 Nov 2023 bitcoin
What are your thoughts on ZK-rollups coming to Bitcoin?
1845 sats \ 4 comments \ @cryotosensei 17 Sep 2023 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
Paper: Cairo – a Turing-complete STARK-friendly CPU architecture (2021)eprint.iacr.org/2021/1063.pdf
136 sats \ 0 comments \ @nout 5 Sep 2022 bitcoin