pull down to refresh

Pinocchio Virtual Machine: Nearly Practical Verifiable Computationwww.notamonadtutorial.com/pinocchio-virtual-machine-nearly-practical-verifiable-computation/
101 sats \ 1 comment \ @cinthia_ledesma 16 Jan 2023 bitcoin
related
Introducing our Provably Fair Roulette—transparent, secure, verifiableprimal.net/p/npub1mxljwnwnc9ws8x6ec5sssh65yyrc4lffws3yyz9uh0rn40dmsrsqelvj7z
51.3k sats \ 0 comments \ @roulette 30 Dec 2024 gaming
AI Models Need a Virtual Machineblog.sigplan.org/2025/08/29/ai-models-need-a-virtual-machine/
208 sats \ 0 comments \ @carter 31 Aug 2025 AI
Verifiable transactions for ecash based protocolsgist.github.com/Semisol/d11c075cb45151e75690d8642d2475ab
366 sats \ 0 comments \ @Rsync25 2 Dec 2023 bitcoin
BitVMX: A Virtual CPU to optimistically execute arbitrary programs on Bitcoingroups.google.com/g/bitcoindev/c/8IJS0WK_Cp4
235 sats \ 0 comments \ @Rsync25 13 May 2024 bitdevs
How to turn LLM Pinocchio into a real boy
12.7k sats \ 10 comments \ @Scoresby 7 Oct 2025 AI
Announcing the Verifiable Credential Selectordeveloper.tbd.website/blog/announcing-web5-verifiable-credential-selector
247 sats \ 2 comments \ @pow 28 Oct 2022 bitcoin
ZeroSync's Header Chain Verifier: Instant Bitcoin Header Chain Verificationwww.nobsbitcoin.com/zerosyncs-header-chain-verifier-instant-bitcoin-header-chain-verification-in-your-browser/
2180 sats \ 5 comments \ @BitcoinIsTheFuture 16 Sep 2023 bitcoin
[Logic Puzzle] Pinocchio's Hats
1746 sats \ 22 comments \ @SimpleStacker 26 Nov 2024 science
ProbablyFair Foundation - Open Standards for Verifiable Gamingprobablyfair.org/
155 sats \ 1 comment \ @Scoresby 10 Oct 2025 ideasfromtheedge
DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoindlcvm.tiiny.site/
3926 sats \ 11 comments \ @Rsync25 2 Mar 2024 bitcoin
government is virtual. bitcoin is digital.
1367 sats \ 1 comment \ @SHA256man 9 Nov 2024 alter_native
BABE: Verifying Proofs on Bitcoin Made 1000x Cheapereprint.iacr.org/2026/065
402 sats \ 0 comments \ @Scoresby 16 Feb bitcoin
FATF Report Finds "Virtual Assets Increasingly Used By Terrorist Groups"www.therage.co/fatf-report-finds-virtual-assets-increasingly-used-by-terrorist-groups/
923 sats \ 9 comments \ @k00b 1 Aug 2024 bitcoin
Virtual Word Generatorbeyondturbulence.blogspot.com/2025/10/3375-words.html?m=1
10.1k sats \ 2 comments \ @beyond_turbulence 26 Oct 2025 art
TBD Launches Tech Preview of Web5 Verifiable Credentials Toolkitwww.tbd.website/blog/web5-verifiable-credentials-toolkit
1573 sats \ 1 comment \ @axzwk 3 Jun 2023 bitcoin
Virtual Bitcoin Mining Is a Real-World Environmental Disaster (Bloomberg 2013)archive.is/agokC
2502 sats \ 0 comments \ @k00b 13 Apr 2025 bitcoin_Mining
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1773 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
RISC Zero: ZK verifiable general computing platform based on zk-STARKs + RISC-Vgithub.com/risc0/risc0
127 sats \ 0 comments \ @nout 4 Sep 2022 bitcoin
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
834 sats \ 0 comments \ @lpop4254 9 Oct 2023 bitcoin
How to Install Umbrel in a Proxmox Virtual Machinenullcount.com/how-to-install-umbrel-in-a-proxmox-virtual-machine/
7666 sats \ 4 comments \ @nullcount 30 Aug 2023 bitcoin
Bottlerocket – Minimal, immutable Linux OS with verified bootbottlerocket.dev
1217 sats \ 3 comments \ @hn 23 Sep 2023 tech