pull down to refresh

Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 13h bitcoin
related
Learn How to Verify with Me ( with Baby Steps )
16.3k sats \ 57 comments \ @Natalia 26 Mar 2024 bitcoin freebie
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Simplicity Launches on Liquid
2458 sats \ 2 comments \ @blockstream_official 1 Aug bitcoin
Bitcoin Optech Newsletter #312bitcoinops.org/en/newsletters/2024/07/19/
1285 sats \ 6 comments \ @0xbitcoiner 19 Jul 2024 bitcoin
Bitcoin testing is a ghost town (part 2)allesvoorbitcoin.substack.com/p/bitcoin-testing-is-a-ghost-town-part-3e0
494 sats \ 3 comments \ @avbpod 7 May bitcoin
Introducing Devin, the first AI software engineerwww.cognition-labs.com/blog
523 sats \ 2 comments \ @kr 12 Mar 2024 tech
Not ECDSA. Not Schnorr. Meet DahLIAS.bitcoinmagazine.com/technical/not-ecdsa-not-schnorr-meet-dahlias
387 sats \ 1 comment \ @RideandSmile 22 May bitcoin
SwiftSync - smarter synchronization with hintsgist.github.com/RubenSomsen/a61a37d14182ccd78760e477c78133cd
1380 sats \ 1 comment \ @south_korea_ln 9 Apr bitcoin
Oops! We Automated Bullshit. | Department of Computer Science and Technologywww.cst.cam.ac.uk/blog/afb21/oops-we-automated-bullshit
600 sats \ 3 comments \ @sebastix 19 Nov 2023 tech
@copinmalin's bio
428 sats \ 11 comments \ @copinmalin 25 Mar 2024 freebie
Manifesto: Rules for standards-makers (2017)scripting.com/2017/05/09/rulesForStandardsmakers.html
204 sats \ 1 comment \ @k00b 9 Mar nostr
OpenSats | Advancements in Developer Librariesopensats.org/blog/advancements-in-developer-libraries
254 sats \ 0 comments \ @0xbitcoiner 4 Aug bitcoin
[bitcoin-dev] MATT: [demo] Optimistic execution of arbitrary programslists.linuxfoundation.org/pipermail/bitcoin-dev/2023-September/021974.html
233 sats \ 1 comment \ @Rsync25 30 Sep 2023 bitcoin
StarkWare: Running Bitcoin ZK Knots, baby!x.com/dimahledba/status/1937543442898223463
262 sats \ 4 comments \ @Scoresby 24 Jun bitcoin
Reproducible Build Proofs: Wallet Scrutiny and BitcoinBinary
635 sats \ 9 comments \ @cointastical 6 Aug 2022 bitcoin
A rollup that saves a ZKProof in Bitcoin through BitVm
1352 sats \ 0 comments \ @IgnaciobTato 8 Feb 2024 bitcoin
Secure your spot to the first SATS’N’FACTS installmentsatsnfacts.btc.pub/
393 sats \ 3 comments \ @satsnfacts 20 Nov 2024 builders
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
Controversial math proof divides experts in bitter academic disputewww.earth.com/news/mochizuki-controversial-math-proof-divides-experts-in-bitter-academic-dispute/
180 sats \ 2 comments \ @south_korea_ln 14 Jun science
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
Kevin Rookie Podcast - John Light on Validity Rollups , ZK-proofs, and LN | E75youtu.be/feODuDF2xv0
417 sats \ 8 comments \ @timechain 21 Oct 2022 bitcoin