pull down to refresh

NIP proposal: Trusted Assertions by vitorpamplonagithub.com/nostr-protocol/nips/pull/1534
43 sats \ 0 comments \ @Rsync25 11 Oct 2024 nostr
related
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
NIP-88: Discreet Log Contracts over Nostr by benthecarman · Pull Request #919github.com/nostr-protocol/nips/pull/919
716 sats \ 1 comment \ @0xbitcoiner 6 Dec 2023 nostr
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
NIP88: "Discreet Log Contracts over Nostr" has enormous potential
3456 sats \ 15 comments \ @conduition 14 Jul 2024 nostr
Nostr Verified : NIP-05 Verificationnostrverified.com/
88 sats \ 4 comments \ @edblock 5 Jan 2023 nostr
NIP-XX: Improved event signing scheme by sant0s12github.com/nostr-protocol/nips/pull/1258
31 sats \ 0 comments \ @Rsync25 26 May 2024 nostr
Glock: A new standard for verification on Bitcoin - Alpen Labswww.alpenlabs.io/blog/glock-verification-on-bitcoin
147 sats \ 0 comments \ @Scoresby 15 Jul bitcoin
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
some thoughts on identity / Issue #726 / nostr-protocol/nipsgithub.com/nostr-protocol/nips/issues/726
77 sats \ 0 comments \ @AR0w 18 Aug 2023 nostr
Announcing the Verifiable Credential Selectordeveloper.tbd.website/blog/announcing-web5-verifiable-credential-selector
246 sats \ 2 comments \ @pow 28 Oct 2022 bitcoin
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats \ 0 comments \ @IgnaciobTato 8 Feb 2024 bitcoin
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin
Bitcoin Optech Newsletter #315bitcoinops.org/en/newsletters/2024/08/09/
174 sats \ 0 comments \ @Rsync25 9 Aug 2024 bitdevs
NIP-XX: Proof of Work Service Provider for Nostrgithub.com/nostr-protocol/nips/issues/340
150 sats \ 0 comments \ @AR0w 17 May 2023 nostr
Jeremy Rubin releases Char Networkchar.network/
131 sats \ 0 comments \ @Rsync25 26 Jul 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
Marty's Bent Issue #1283: Trusted third parties are security holestftc.io/martys-bent/issue-1283-trusted-third-parties-are-security-holes/
65 sats \ 1 comment \ @cryptocoin 22 Nov 2022 bitcoin
Blockstream - Half-Aggregation of BIP 340 Signatures
105 sats \ 1 comment \ @clyde_nakamoto 7 Jul 2022 bitcoin
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1673 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
Bitcoin Full Nodes — "Verify, Don't Trust"
2387 sats \ 1 comment \ @kurszusz 17 Nov 2023 bitcoin
TrustMeBro — ZK ready Bitcoin Explorertrustmebro.starkwarebitcoin.dev/
308 sats \ 3 comments \ @Scoresby 17 Sep bitcoin