pull down to refresh

Pinocchio Virtual Machine: Nearly Practical Verifiable Computationwww.notamonadtutorial.com/pinocchio-virtual-machine-nearly-practical-verifiable-computation/
100 sats \ 1 comment \ @cinthia_ledesma 16 Jan 2023 bitcoin
related
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
RISC Zero: ZK verifiable general computing platform based on zk-STARKs + RISC-Vgithub.com/risc0/risc0
126 sats \ 0 comments \ @nout 4 Sep 2022 bitcoin
Un-FE’d Covenants: Emulating Covenants with BitVM Integrity Checksgroups.google.com/g/bitcoindev/c/5pFFi8C0lqc
190 sats \ 0 comments \ @Rsync25 27 Nov 2024 bitdevs
The Big Deal With Bitvm: Computation Now Possible On Bitcoin Without A Forkbitcoinmagazine.com/technical/the-big-deal-with-bitvm-arbitrary-computation-now-possible-on-bitcoin-without-a-fork
833 sats \ 0 comments \ @lpop4254 9 Oct 2023 bitcoin
BitVMX: A Virtual CPU to optimistically execute arbitrary programs on Bitcoingroups.google.com/g/bitcoindev/c/8IJS0WK_Cp4
220 sats \ 0 comments \ @Rsync25 13 May 2024 bitdevs
BitVMX Whitepaper Explained: A CPU for Universal Computation on Bitcoinwww.rootstocklabs.com/content-hub/bitvmx-whitepaper-explained/
337 sats \ 0 comments \ @Rsync25 2 May 2024 bitdevs
Hardware Acceleration for Zero Knowledge Proofswww.paradigm.xyz/2022/04/zk-hardware
10 sats \ 1 comment \ @nout 14 Apr 2022 bitcoin
BitVM 2: Permissionless Verification on Bitcoinbitvm.org/bitvm2.html
48 sats \ 1 comment \ @pietro1861 18 Apr 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoingist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats \ 1 comment \ @Rsync25 25 Mar 2024 bitdevs
Bitcoin++ Introducing BitVMX Conference
44 sats \ 1 comment \ @IgnaciobTato 6 Nov 2024 bitdevs
BitVMX Explainedwww.dollarparity.com/bitvmx-explained/
169 sats \ 1 comment \ @dollarparity 18 May 2024 bitcoin_beginners
Bottlerocket – Minimal, immutable Linux OS with verified bootbottlerocket.dev
1216 sats \ 3 comments \ @hn 23 Sep 2023 tech
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1673 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoindlcvm.tiiny.site/
3826 sats \ 11 comments \ @Rsync25 2 Mar 2024 bitcoin
Bitvmx announces interactively verify a SNARK proof on Bitcoin using BitVMXx.com/bitvmx/status/1816123923106259394
41 sats \ 0 comments \ @Rsync25 24 Jul 2024 bitdevs
Motor OS: A simple, fast, and secure operating system for the cloud.github.com/moturus/motor-os
21 sats \ 6 comments \ @Rsync25 2 Dec 2024 alter_native
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
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
The Evolution of Computation on Bitcoin: Introducing BitVM and BitVMxmedium.com/coinmonks/the-evolution-of-computation-on-bitcoin-introducing-bitvm-and-bitvmx-e3628666823b
10 sats \ 0 comments \ @Rsync25 24 Sep 2024 bitcoin
Prometheus: Scalable high-load computing & ML on top of Bitcoin, Orlovsky (2019)github.com/Prometheus-WG/prometheus-spec/blob/master/prometheus.pdf
1012 sats \ 1 comment \ @nout 1 Oct 2023 bitcoin