pull down to refresh

Stark Proof for BitVM Circuit Executiongithub.com/neocarmack/STARK/blob/main/STARK%20proof%20for%20BitVM%20circuit%20execution.pdf
944 sats \ 0 comments \ @Rsync25 15 Nov 2023 bitcoin
related
Tapleaf Circuits: Proof-of-Concept Implementation of BitVMwww.nobsbitcoin.com/tapleaf-circuits-poc-bitvm/
484 sats \ 2 comments \ @BitcoinIsTheFuture 11 Oct 2023 bitcoin
BitVM compiler: Generate a logical circuit for BitVMgithub.com/maitrebitcoin/bitcoin-bitvm-compiler
129 sats \ 0 comments \ @Rsync25 28 Oct 2023 bitcoin
Write BitVM programs without learning circuit diagramsgithub.com/supertestnet/8bit-cpu-for-bitvm
2795 sats \ 1 comment \ @kristapsk 30 Nov 2023 bitcoin
BitVM/BitVM · Release BitVM Demo Denvergithub.com/BitVM/BitVM/releases/tag/v0.1.0-alpha
364 sats \ 0 comments \ @0xbitcoiner 26 Feb 2025 bitcoin
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6408 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
BitVM explained: Simple explanation of BitVMgithub.com/fiksn/bitvm-explained
4403 sats \ 5 comments \ @Rsync25 10 Oct 2023 bitcoin
BitVM Online - Play with tapleaf-circuits (by supertestnet)supertestnet.github.io/tapleaf-circuits/
14.6k sats \ 10 comments \ @nout 14 Oct 2023 bitcoin
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1773 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2377 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
BABE: Verifying Proofs on Bitcoin Made 1000x Cheapereprint.iacr.org/2026/065
402 sats \ 0 comments \ @Scoresby 16 Feb bitcoin
Toy BitVM: Experimental toy BitVM implementation in Rustgithub.com/chainwayxyz/toy-bitvm-rs
1826 sats \ 2 comments \ @Rsync25 2 Feb 2024 bitcoin
How bitvm works: from logic gates to an 8bit cpu for bitcoinwww.youtube.com/watch?v=IRU83gRcw3Y
1513 sats \ 3 comments \ @Rsync25 18 Dec 2023 bitcoin
zerosync: Sync a Bitcoin full node using a STARK proofgithub.com/lucidLuckylee/zerosync
763 sats \ 3 comments \ @CypherPoet 29 Sep 2022 bitcoin
BitVM Intro: Create Logic Gates and Circuits in Pythonwww.youtube.com/watch?v=cnijtOVRwgg
222 sats \ 0 comments \ @kristapsk 19 Oct 2023 bitcoin
BitVM using Scriptless Scriptslists.linuxfoundation.org/pipermail/bitcoin-dev/2023-October/021997.html
6806 sats \ 2 comments \ @benthecarman 15 Oct 2023 bitcoin
The BitVM Primer: A Non-technical Explanation of BitVMgithub.com/twhit223/bitvm_primer
5321 sats \ 6 comments \ @twhittle 23 Oct 2023 bitcoin freebie
The BitVM Bridgeinsider.btcpp.dev/p/the-bitvm-bridge?r=2jfs7&utm_medium=ios&shareImageVariant=overlay&triedRedirect=true
1070 sats \ 0 comments \ @btcpp 31 Jan bitcoinplusplus
BitVM 2: Opening Up The Playing Fieldbitcoinmagazine.com/technical/bitvm-2-opening-up-the-playing-field
517 sats \ 0 comments \ @Rsync25 2 Apr 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
661 sats \ 7 comments \ @Scoresby 14 Oct 2025 bitcoin
ZeroSync: STARKs for Bitcoinzerosync.org
4633 sats \ 9 comments \ @nout 17 Sep 2023 bitcoin
BitVM-Research: Opensource code to replicate the whole process of BitVMgithub.com/bitlayer-org/BitVM-Research
266 sats \ 0 comments \ @Rsync25 1 Mar 2024 bitdevs