pull down to refresh

Incrementally verifiable computation: NOVAwww.notamonadtutorial.com/incrementally-verifiable-computation-nova/
0 sats \ 0 comments \ @cinthia_ledesma 23 Jan 2023 bitcoin
related
BitVM: Compute Anything on Bitcoinbitvm.org/bitvm.pdf
17.9k sats \ 36 comments \ @Rsync25 9 Oct 2023 bitcoin
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar bitcoin
Introducing Citrea: Bitcoin’s First ZK Rollupwww.blog.citrea.xyz/introducing-citrea/
7357 sats \ 36 comments \ @nicosey 6 Feb bitcoin
DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoindlcvm.tiiny.site/
3826 sats \ 11 comments \ @Rsync25 2 Mar bitcoin
📡 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
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats \ 0 comments \ @IgnaciobTato 8 Feb bitcoin
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1673 sats \ 3 comments \ @02b7622c79 14 Apr bitcoin
Ask Stacker News - Your Bitcoin, Lightning, & Nostr Questions Answered
449 sats \ 9 comments \ @sn 13 Jul 2023 meta
What the heck is CatVM?bitcoinmagazine.com/technical/what-the-heck-is-catvm
2336 sats \ 6 comments \ @k00b 17 Apr bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar bitdevs
zkBitcoin: zero-knowledge proofs on Bitcoin!github.com/sigma0-xyz/zkbitcoin
5470 sats \ 7 comments \ @Kathleen_Croteau 28 Jan bitcoin
BitVM: Compute Anything on Bitcoin [pdf]bitvm.org/bitvm.pdf
1146 sats \ 8 comments \ @hn 17 Oct 2023 tech
Ark: Bitcoin's New Layer 2 Protocolbitguide.substack.com/p/ark-bitcoins-new-layer-2-protocol
365 sats \ 6 comments \ @Rsync25 4 Aug 2023 bitcoin
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct science
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
Zero-Knowledge Proofs of Training for Deep Neural Networkseprint.iacr.org/2024/162
2026 sats \ 5 comments \ @0xbitcoiner 5 Feb crypto
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
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