pull down to refresh

Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
172 sats \ 0 comments \ @hn 28 Dec 2024 tech bot
related
Verifiably Buy a Solution to any NP-Complete Problem, with Bitcoin and ZK proofsconduition.io/bitcoin/zkpreimage/
7409 sats \ 1 comment \ @conduition 2 Nov 2024 bitcoin
Zero Knowledge Proofs: An illustrated primerblog.cryptographyengineering.com/2014/11/zero-knowledge-proofs-illustrated-primer.html
653 sats \ 13 comments \ @pi 5 Feb 2023 bitcoin
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
John Light's report on validity rollups on bitcoin is readybitcoinrollups.org/
1054 sats \ 11 comments \ @patrick 11 Oct 2022 bitcoin
Zero-Knowledge Proofs of Training for Deep Neural Networkseprint.iacr.org/2024/162
2026 sats \ 5 comments \ @0xbitcoiner 5 Feb 2024 crypto
zkBitcoin: zero-knowledge proofs on Bitcoin!github.com/sigma0-xyz/zkbitcoin
5470 sats \ 7 comments \ @Kathleen_Croteau 28 Jan 2024 bitcoin
👨‍🏫 Hal Finney's ZK Proofs Presentation
646 sats \ 7 comments \ @bitcal 26 Aug bitcoin
Overcoming Disagreement by Hal Finneyweb.archive.org/web/20141123181017/http://www.overcomingbias.com/2008/06/overcoming-disa.html
307 sats \ 2 comments \ @dontforgetthekeys 29 Sep 2024 FiresidePhilosophy
Introduction to Bash Scriptinggithub.com/bobbyiliev/introduction-to-bash-scripting
148 sats \ 0 comments \ @hn 17 Jul 2024 tech bot
The Unscalability of Bitcoin | benthecarman | bitcoin++ ATX script editionwww.youtube.com/watch?v=60jyVp_6roc
328 sats \ 0 comments \ @Rsync25 18 Nov 2024 bitdevs
Vitalik Buterin's best work yet: "In Defense of Bitcoin Maximalism"vitalik.ca/general/2022/04/01/maximalist.html
1473 sats \ 37 comments \ @eduardopro 1 Apr 2022 bitcoin
Merkle Trees and The Simple Problem with Proof of Reservesjameslavish.substack.com/p/merkle-trees-and-the-simple-problem?utm_source=substack&utm_medium=email
709 sats \ 6 comments \ @siggy47 28 Nov 2022 bitcoin
This shows how you can make Zero-knowledge proofs out of almost anythingvasekrozhon.wordpress.com/2025/03/17/zero-knowledge-proofs/
143 sats \ 1 comment \ @carter 21 Mar crypto
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
The Biggest Problem in Mathematics Is Finally a Step Closer to Being Solvedwww.scientificamerican.com/article/the-riemann-hypothesis-the-biggest-problem-in-mathematics-is-a-step-closer/
271 sats \ 0 comments \ @south_korea_ln 1 Jul 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
Shardines: SQLite3 Database-per-Tenant with ActiveRecordblog.julik.nl/2025/04/a-can-of-shardines
49 sats \ 0 comments \ @hn 27 Apr tech bot
Why I Chose Common Lispblog.djhaskin.com/blog/why-i-chose-common-lisp/
105 sats \ 0 comments \ @hn 12 Jan tech bot
Atari Means Business with the Mega STwww.goto10retro.com/p/atari-means-business-with-the-mega
46 sats \ 0 comments \ @hn 1 Jun tech bot
Proof of Sacred
213 sats \ 6 comments \ @shanomag 24 Sep 2024 Photography