@anon
sign up
@anon
sign up
Incrementally verifiable computation: NOVA
www.notamonadtutorial.com/incrementally-verifiable-computation-nova/
0 sats
\
0 comments
\
@cinthia_ledesma
23 Jan 2023
bitcoin
related
BitVM: Compute Anything on Bitcoin
bitvm.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 Rollup
www.blog.citrea.xyz/introducing-citrea/
7357 sats
\
36 comments
\
@nicosey
6 Feb
bitcoin
DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoin
dlcvm.tiiny.site/
3826 sats
\
11 comments
\
@Rsync25
2 Mar
bitcoin
OpenTimestamps: Scalable, Trust-Minimized, Distributed Timestamping with Bitcoin
petertodd.org/2016/opentimestamps-announcement
11.6k sats
\
25 comments
\
@petertodd
14 Oct 2022
bitcoin
freebie
📡 We invite you to review Blockstream's progress in our Q2-23 update 🛰️
5408 sats
\
12 comments
\
@blockstream_official
14 Sep 2023
bitcoin
Zero-Knowledge Proofs of Training for Deep Neural Networks
eprint.iacr.org/2024/162
2026 sats
\
5 comments
\
@0xbitcoiner
5 Feb
crypto
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats
\
0 comments
\
@IgnaciobTato
8 Feb
bitcoin
clArk: An implementation of the Ark second-layer payment protocol for Bitcoin.
github.com/ark-network/clArk
1708 sats
\
10 comments
\
@Rsync25
2 May
bitdevs
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVM
docs.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
zerosync: Sync a Bitcoin full node using a STARK proof
github.com/lucidLuckylee/zerosync
762 sats
\
3 comments
\
@CypherPoet
29 Sep 2022
bitcoin
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 Bitcoin
gist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats
\
1 comment
\
@Rsync25
25 Mar
bitdevs
LNbits on Liquid: Using trustless atomic swaps via boltz to run LNbits
github.com/lnbits/LNbits-on-Liquid
489 sats
\
3 comments
\
@Rsync25
12 Sep
lightning
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 Protocol
bitguide.substack.com/p/ark-bitcoins-new-layer-2-protocol
365 sats
\
6 comments
\
@Rsync25
4 Aug 2023
bitcoin
BitVM: A Tool for Smarter Smart Contracts - Super Testnet - Satsconf 2023
www.youtube.com/watch?v=iEM_txmJYxA
4542 sats
\
8 comments
\
@supertestnet
13 Feb
bitcoin
Bulletproofs++: A Step Towards Fully Unlinkable Transactions
blog.blockstream.com/bulletproofs-a-step-towards-fully-anonymous-transactions-with-multiple-asset-types/
1076 sats
\
3 comments
\
@Rsync25
28 Jul 2023
bitcoin
[bitcoin-dev] MATT: [demo] Optimistic execution of arbitrary programs
lists.linuxfoundation.org/pipermail/bitcoin-dev/2023-September/021974.html
233 sats
\
1 comment
\
@Rsync25
30 Sep 2023
bitcoin
more