pull down to refresh

Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2221 sats \ 1 comment \ @schmidty 7 Aug 2025 bitcoin
related
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
146 sats \ 0 comments \ @jakoyoh629 14 Mar 2025 lightning
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
Proposal: OP_STARK_VERIFY - Native STARK Proof Verification in Bitcoin Scriptdelvingbitcoin.org/t/proposal-op-stark-verify-native-stark-proof-verification-in-bitcoin-script/2056
661 sats \ 7 comments \ @Scoresby 14 Oct 2025 bitcoin
A Guide for Verifying Software
1997 sats \ 0 comments \ @expatriotic 30 Oct 2025 crypto
Brink announces funding for two fuzz testing interns for Bitcoin Core
2498 sats \ 1 comment \ @schmidty 26 Sep 2025 bitcoin
To Have Machines Make Math Proofs, Turn Them Into a Puzzlewww.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/
268 sats \ 0 comments \ @0xbitcoiner 11 Nov 2025 AI
With Fifth Busy Beaver, Researchers Approach Computation’s Limits
200 sats \ 0 comments \ @0xbitcoiner 2 Jul 2024 science
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
210 sats \ 1 comment \ @jakoyoh629 25 Oct 2025 AI
An Independent Security Audit of Bitcoin Corebrink.dev/blog/2025/11/19/bitcoin-core-security-audit/
2404 sats \ 0 comments \ @Norbert 19 Nov 2025 bitcoin
"Hi, I'm here to fix Bitcoin (with my LLM)"
12.4k sats \ 13 comments \ @Scoresby 29 Dec 2025 bitcoin
Lightning Network - Olaoluwa Osuntokun
357 sats \ 0 comments \ @B_for_Bitcoin 12 Jun 2024 lightning
The Curious Case of Digital Signatures
22.5k sats \ 60 comments \ @ek 23 Feb 2024 crypto
The end of "trust me bro" - confidential computing for everyone
787 sats \ 1 comment \ @aljaz 5 Feb tech
ZKP-Workshop: Explore the world of zero-knowledge proofs from first principlesgithub.com/uncomputable/zkp-workshop
143 sats \ 0 comments \ @Rsync25 20 May 2023 bitcoin
Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Cas...
98 sats \ 0 comments \ @lenihik 9 Oct 2024 Design
Not in The Prophecies: Practical Attacks on Nostrcrypto-sec-n.github.io/
4110 sats \ 7 comments \ @ek 7 Aug 2025 nostr
Core Lightning Release v25.09rc1 - Hot Wallet Guardiangithub.com/ElementsProject/lightning/releases/tag/v25.09rc1
344 sats \ 1 comment \ @supratic 20 Aug 2025 lightning
You Can't Verify Yourself: Verifying Yourself is a Trust-Based Activity
180 sats \ 4 comments \ @BrantaPro 25 Nov 2025 bitcoin
Proof of Verificationimgproxy.snort.social/MgFw454kSzm8WMhrdIcnZHOYGTRN_aK3b_6xWmeQbJM//aHR0cHM6Ly9pbWFnZS5ub3N0ci5idWlsZC82NmM3MjgwY2NiMDA0OTJmYmRiYjQ1NDBkOWFkMzczYTI0ZmYwOTg3ZTJiMzNiMTUyMmFhNTkzMjE2ZjZmOGY4LmpwZw
63 sats \ 0 comments \ @shanomag 25 Jun 2024 Photography
SN Saturday Newsletter 10/4/25
1079 sats \ 3 comments \ @k00b 4 Oct 2025 meta
What Rust Got Wrong on Formal Verificationgavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/
183 sats \ 0 comments \ @brandonsbytes 23 May 2024 devs