sign up
sign up
sign up
sign up
pull down to refresh
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVM
docs.citrea.xyz/
1773 sats
\
3 comments
\
@02b7622c79
14 Apr 2024
bitcoin
related
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]
bitvm.org/bitvm2
6408 sats
\
5 comments
\
@lightcoin
25 Mar 2024
bitcoin
Citrea Mainnet goes live on Bitcoin
www.blog.citrea.xyz/citrea-mainnet-is-live/
1651 sats
\
22 comments
\
@Scoresby
27 Jan
bitcoin
lol
BitVM 2: Permissionless Verification on Bitcoin
gist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2377 sats
\
1 comment
\
@Rsync25
25 Mar 2024
bitdevs
Introducing Citrea: Bitcoin’s First ZK Rollup
www.blog.citrea.xyz/introducing-citrea/
7367 sats
\
37 comments
\
@nicosey
6 Feb 2024
bitcoin
A rollup that saves a ZKProof in Bitcoin through BitVm
1362 sats
\
0 comments
\
@IgnaciobTato
8 Feb 2024
bitcoin
BABE: Verifying Proofs on Bitcoin Made 1000x Cheaper
eprint.iacr.org/2026/065
402 sats
\
0 comments
\
@Scoresby
16 Feb
bitcoin
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.ph/A-forthcoming-problem-with-bitvm-11-21
544 sats
\
0 comments
\
@Scoresby
21 Nov 2025
bitcoin
BitVMX: A Virtual CPU to optimistically execute arbitrary programs on Bitcoin
groups.google.com/g/bitcoindev/c/8IJS0WK_Cp4
235 sats
\
0 comments
\
@Rsync25
13 May 2024
bitdevs
The Big Deal With Bitvm: Computation Now Possible On Bitcoin Without A Fork
bitcoinmagazine.com/technical/the-big-deal-with-bitvm-arbitrary-computation-now-possible-on-bitcoin-without-a-fork
834 sats
\
0 comments
\
@lpop4254
9 Oct 2023
bitcoin
BitVM 2: Permissionless Verification on Bitcoin
bitvm.org/bitvm2.html
148 sats
\
1 comment
\
@pietro1861
18 Apr 2024
bitcoin
Interview: Orkun Kılıç on Citrea, The First ZK Rollups on Bitcoin
bitcoin-takeover.com/s15-e18-orkun-kilic-on-citrea-the-first-zk-rollups-on-bitcoin/
497 sats
\
0 comments
\
@TheVladCostea
12 Feb 2024
bitcoin
Bitcoin PIPEs v2: Covenants and ZKPs via Witness Encryption - allocinit
www.allocinit.xyz/uploads/pipesv2.pdf
615 sats
\
0 comments
\
@Scoresby
5 Feb
bitcoin
Attempts to bring Programmability, Privacy and Composability to Bitcoin (+bitvm)
hackmd.io/-ScUwVz4SHi3936ASfyG7A?view
41 sats
\
0 comments
\
@AR0w
14 Oct 2023
bitcoin
ZeroSync's Header Chain Verifier: Instant Bitcoin Header Chain Verification
www.nobsbitcoin.com/zerosyncs-header-chain-verifier-instant-bitcoin-header-chain-verification-in-your-browser/
2180 sats
\
5 comments
\
@BitcoinIsTheFuture
16 Sep 2023
bitcoin
When do Citrea provers start proof generation and when do they inscribe it?
930 sats
\
0 comments
\
@LTBD
20 Jan 2025
bitcoin
Bitvmx announces interactively verify a SNARK proof on Bitcoin using BitVMX
x.com/bitvmx/status/1816123923106259394
56 sats
\
0 comments
\
@Rsync25
24 Jul 2024
bitdevs
Is running a Citrea node with a pruned BTC node on the horizon?
437 sats
\
0 comments
\
@denationalized
12 Jan 2025
bitcoin
ZeroSync: Introducing Validity Proofs to Bitcoin
zerosync.org/zerosync.pdf
540 sats
\
0 comments
\
@Rsync25
11 May 2023
bitcoin
Unmasking BitVM Technology & Hedgehog’s Potential w/ Super Testnet - Thriller EP
www.thrillerbitcoin.com/unmasking-bitvm-technology-and-hedgehogs-potential-with-super-testnet/
1730 sats
\
12 comments
\
@Car
27 Jun 2024
builders
How bitvm works: from logic gates to an 8bit cpu for bitcoin
www.youtube.com/watch?v=IRU83gRcw3Y
1513 sats
\
3 comments
\
@Rsync25
18 Dec 2023
bitcoin
Glock: Garbled Locks for Bitcoin [pdf] - Alpen Labs
cdn.prod.website-files.com/67cfca80708eb505376820af/68a3e174eaff71d197ac4080_glock.pdf
205 sats
\
1 comment
\
@Scoresby
19 Aug 2025
bitcoin
more