pull down to refresh

Incrementally verifiable computation: NOVAwww.notamonadtutorial.com/incrementally-verifiable-computation-nova/
0 sats \ 1 comment \ @cinthia_ledesma 23 Jan 2023 bitcoin
related
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats \ 0 comments \ @IgnaciobTato 8 Feb 2024 bitcoin
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
377 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
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
NIP proposal: Trusted Assertions by vitorpamplonagithub.com/nostr-protocol/nips/pull/1534
43 sats \ 0 comments \ @Rsync25 11 Oct 2024 nostr
Sonic: Toolchain for formally-verifiable distributed contractsgithub.com/AluVM/sonic
51 sats \ 0 comments \ @Rsync25 20 Dec 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
DLCVM: Generalized, Unboundedly Scalable Computation on Bitcoindlcvm.tiiny.site/
3826 sats \ 11 comments \ @Rsync25 2 Mar 2024 bitcoin
SwiftSync - smarter synchronization with hintsgist.github.com/RubenSomsen/a61a37d14182ccd78760e477c78133cd
1380 sats \ 1 comment \ @south_korea_ln 9 Apr bitcoin
Verifiable transactions for ecash based protocolsgist.github.com/Semisol/d11c075cb45151e75690d8642d2475ab
356 sats \ 0 comments \ @Rsync25 2 Dec 2023 bitcoin
ZeroSync: Introducing Validity Proofs to Bitcoinzerosync.org/zerosync.pdf
539 sats \ 0 comments \ @Rsync25 11 May 2023 bitcoin
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1673 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
Formal Verification of the Safegcd Implementationblog.blockstream.com/formal-verification-of-the-safegcd-implementation/
19 sats \ 0 comments \ @Rsync25 16 Dec 2024 bitdevs
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
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 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/
2179 sats \ 5 comments \ @BitcoinIsTheFuture 16 Sep 2023 bitcoin
Perfectly Reproducible, Verified Go Toolchains - The Go Programming Languagego.dev/blog/rebuild
13 sats \ 0 comments \ @nout 11 Nov 2023 tech
Introducing our Provably Fair Roulette—transparent, secure, verifiableprimal.net/p/npub1mxljwnwnc9ws8x6ec5sssh65yyrc4lffws3yyz9uh0rn40dmsrsqelvj7z
1232 sats \ 0 comments \ @roulette 30 Dec 2024 gaming
Verifying the Work of Quantum Computerswww.caltech.edu/about/news/verifying-the-work-of-quantum-computers
21 sats \ 0 comments \ @ch0k1 21 Mar 2024 tech