pull down to refresh

Incrementally verifiable computation: NOVAwww.notamonadtutorial.com/incrementally-verifiable-computation-nova/
1 sat \ 1 comment \ @cinthia_ledesma 23 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
Verifiable transactions for ecash based protocolsgist.github.com/Semisol/d11c075cb45151e75690d8642d2475ab
366 sats \ 0 comments \ @Rsync25 2 Dec 2023 bitcoin
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
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
Sonic: Toolchain for formally-verifiable distributed contractsgithub.com/AluVM/sonic
66 sats \ 0 comments \ @Rsync25 20 Dec 2024 bitdevs
ProbablyFair Foundation - Open Standards for Verifiable Gamingprobablyfair.org/
155 sats \ 1 comment \ @Scoresby 10 Oct 2025 ideasfromtheedge
Bitcoin Message Verifiercheckmsg.org/
184 sats \ 0 comments \ @pow 29 Sep 2023 bitcoin
BABE: Verifying Proofs on Bitcoin Made 1000x Cheapereprint.iacr.org/2026/065
402 sats \ 0 comments \ @Scoresby 16 Feb bitcoin
A stellar explosion may create a temporary ‘new star’ this summerwww.sciencenews.org/article/stellar-explosion-nova-new-star-summer
562 sats \ 3 comments \ @StillStackinAfterAllTheseYears 3 Jul 2024 science
Poem #4 "Incremenal Action"
328 sats \ 0 comments \ @Athena 2 Aug 2024 bitcoin
[REVIEW] Nova by Samuel R Delaney
3476 sats \ 10 comments \ @Scoresby 16 Feb 2024 BooksAndArticles
Introducing BitBox02 Novablog.bitbox.swiss/en/introducing-bitbox02-nova/
288 sats \ 0 comments \ @0xbitcoiner 20 Jun 2025 bitcoin
DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoindlcvm.tiiny.site/
3926 sats \ 11 comments \ @Rsync25 2 Mar 2024 bitcoin
Bitcoin TX Verify: Minimal bitcoin transaction verifier with OP_CAT supportgithub.com/taproot-wizards/bitcoin-tx-verify
86 sats \ 0 comments \ @Rsync25 12 Nov 2024 bitdevs
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
MDMA may have protected Nova attack survivors from trauma, study suggestswww.bbc.com/news/articles/c9wpy14wyd0o
1622 sats \ 3 comments \ @south_korea_ln 9 Mar 2025 science
The Incremental Normalization Of Police Murderbots Probably Needs More Attentioncaitlinjohnstone.substack.com/p/the-incremental-normalization-of
196 sats \ 6 comments \ @takaponka 3 Dec 2022 bitcoin
We are BitBox, makers of the open source BitBox02 - AMA!
106.8k sats \ 116 comments \ @bitbox 2 Jul 2025 AMA
Glock: Garbled Locks for Bitcoin [pdf] - Alpen Labscdn.prod.website-files.com/67cfca80708eb505376820af/68a3e174eaff71d197ac4080_glock.pdf
205 sats \ 1 comment \ @Scoresby 19 Aug 2025 bitcoin