pull down to refresh

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
related
Bitvmx announces interactively verify a SNARK proof on Bitcoin using BitVMXx.com/bitvmx/status/1816123923106259394
41 sats \ 0 comments \ @Rsync25 24 Jul 2024 bitdevs
Proposal: OP_STARK_VERIFY - Native STARK Proof Verification in Bitcoin Scriptdelvingbitcoin.org/t/proposal-op-stark-verify-native-stark-proof-verification-in-bitcoin-script/2056
631 sats \ 7 comments \ @Scoresby 14 Oct 2025 bitcoin
BITVM: From a Skeptic Perspective
31 sats \ 1 comment \ @JReeCoin 13 Oct 2023 bitcoin
BitVM 3s Released (fixing broken BitVM3; introducing novel hash function BitHashx.com/robin_linus/status/1945468445119713321
292 sats \ 4 comments \ @Scoresby 18 Jul 2025 bitcoin
BitVM - Real World Examples
31 sats \ 0 comments \ @Neo 8 Nov 2023 bitcoin
Bridging Bitcoin to Second Layers via BitVM2eprint.iacr.org/2025/1158
138 sats \ 4 comments \ @Scoresby 7 Nov 2025 devs
BitVM compiler: Generate a logical circuit for BitVMgithub.com/maitrebitcoin/bitcoin-bitvm-compiler
128 sats \ 0 comments \ @Rsync25 28 Oct 2023 bitcoin
Demo of Robin Linus's implementation of bitvmyoutu.be/7sRqzoZorn0
33 sats \ 0 comments \ @Rsync25 11 Dec 2023 bitcoin
Tapleaf Circuits: Proof-of-Concept Implementation of BitVMwww.nobsbitcoin.com/tapleaf-circuits-poc-bitvm/
483 sats \ 2 comments \ @BitcoinIsTheFuture 11 Oct 2023 bitcoin
BitVM presentation by Rob Wijerslightning.video/f559214aeb35ee206e23a56e3a30a3d7cdabacf66a28ca75268a320428e80511
43 sats \ 0 comments \ @0330830bf9 24 Oct 2023 bitcoin
BitVM Toy Implementationgithub.com/BitVM/BitVM
52 sats \ 0 comments \ @Rsync25 3 Nov 2023 bitcoin
BitVM explained in 4 slides
53 sats \ 0 comments \ @AR0w 12 Oct 2023 bitcoin
BitVM 2: Opening Up The Playing Fieldbitcoinmagazine.com/technical/bitvm-2-opening-up-the-playing-field
502 sats \ 0 comments \ @Rsync25 2 Apr 2024 bitdevs
BitVM explained: Simple explanation of BitVMgithub.com/fiksn/bitvm-explained
4402 sats \ 5 comments \ @Rsync25 10 Oct 2023 bitcoin
StarkWare verifies first zero-knowledge proof on Bitcoincointelegraph.com/news/starkware-verifies-first-zero-knowledge-proof-on-bitcoin
200 sats \ 0 comments \ @Rsync25 17 Jul 2024 news
Toy BitVM: Experimental toy BitVM implementation in Rustgithub.com/chainwayxyz/toy-bitvm-rs
1816 sats \ 2 comments \ @Rsync25 2 Feb 2024 bitcoin
How bitvm works: from logic gates to an 8bit cpu for bitcoininv.zzls.xyz/watch?v=IRU83gRcw3Y
5 sats \ 0 comments \ @ama 8 Jan 2024 bitcoin
How bitvm works: from logic gates to an 8bit cpu for bitcoinwww.youtube.com/watch?v=IRU83gRcw3Y
1503 sats \ 3 comments \ @Rsync25 18 Dec 2023 bitcoin
BitVM2 Explained with Alexei Zamyatinwww.youtube.com/watch?v=aOlPZ0o1UEY
10 sats \ 0 comments \ @Rsync25 21 Aug 2024 bitcoin
LogicGates: Logical gates in Python for different scenarios in BitVMgithub.com/mcbagz/LogicGates
32 sats \ 0 comments \ @Rsync25 26 Nov 2023 bitcoin
The bitaxeGamma is go!xcancel.com/skot9000/status/1825590575459869132
131 sats \ 0 comments \ @Rsync25 20 Aug 2024 bitcoin_Mining