pull down to refresh

Pinocchio Virtual Machine: Nearly Practical Verifiable Computationwww.notamonadtutorial.com/pinocchio-virtual-machine-nearly-practical-verifiable-computation/
100 sats \ 0 comments \ @cinthia_ledesma 16 Jan 2023 bitcoin
related
Learn How to Verify with Me ( with Baby Steps )
16.3k sats \ 56 comments \ @Natalia 26 Mar 2024 bitcoin freebie
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 2024 bitcoin
Multiplication in Bitvm
6973 sats \ 16 comments \ @supertestnet 6 Dec 2023 bitcoin freebie
Introducing Mutiny Wallet: Private, unstoppable bitcoin paymentsblog.mutinywallet.com/introducing-mutiny/
3712 sats \ 34 comments \ @TonyGiorgio 5 Apr 2023 bitcoin
Hash-Based Signature Schemes for Post-Quantum Bitcoinconduition.io/cryptography/quantum-hbs/
16.8k sats \ 8 comments \ @conduition 22 Oct 2024 bitcoin
Introducing Bitstake: A proof of stake bridge based on BitVMlightco.in/bitstake
10.4k sats \ 26 comments \ @lightcoin 13 Feb 2024 bitcoin
DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoindlcvm.tiiny.site/
3826 sats \ 11 comments \ @Rsync25 2 Mar 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1673 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
Sov-Stack: A different kind of sovereign computing node, a.k.a. "I made a thing"
2663 sats \ 0 comments \ @0xIlmari 17 Jun 2023 tech
Can we establish "crypto" to mean "cryptography" again?#190934
2636 sats \ 34 comments \ @ek 24 Dec 2023 crypto
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
zkBitcoin: zero-knowledge proofs on Bitcoin!github.com/sigma0-xyz/zkbitcoin
5470 sats \ 7 comments \ @Kathleen_Croteau 28 Jan 2024 bitcoin
Toy BitVM: Experimental toy BitVM implementation in Rustgithub.com/chainwayxyz/toy-bitvm-rs
1816 sats \ 2 comments \ @Rsync25 2 Feb 2024 bitcoin
Zero-Knowledge Proofs of Training for Deep Neural Networkseprint.iacr.org/2024/162
2026 sats \ 5 comments \ @0xbitcoiner 5 Feb 2024 crypto
Adam Soltys’ Coinos: The Bitcoin Wallet That Just Worksbitcoinnews.com/interviews/adam-soltys-coinos-the-bitcoin-wallet/
1528 sats \ 17 comments \ @Roll 19 Mar bitcoin
Deep dive into BitVM - Crypto Garagemedium.com/crypto-garage/deep-dive-into-bitvm-computing-paradigm-to-express-turing-complete-bitcoin-contracts-1c6cb05edfca
1886 sats \ 2 comments \ @utxo 9 Nov 2023 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
BitVM: Compute Anything on Bitcoin [pdf]bitvm.org/bitvm.pdf
1146 sats \ 8 comments \ @hn 17 Oct 2023 tech
Virtual Machine for the Web: A Linux virtual machine that runs in your browsergithub.com/leaningtech/webvm
322 sats \ 0 comments \ @bren 17 Nov 2024 devs