pull down to refresh

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
related
Proof of work, meet Minecraftsatlantis.net/
8188 sats \ 57 comments \ @Tribyu 20 Jan 2023 bitcoin
Cryptography Tricks Make a Hard Problem a Little Easierwww.quantamagazine.org/cryptography-tricks-make-a-hard-problem-a-little-easier-20240418/
200 sats \ 0 comments \ @jakoyoh629 20 Apr 2024 crypto freebie
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
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
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
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
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
Cryptographers Discover a New Foundation for Quantum Secrecy | Quanta Magazinewww.quantamagazine.org/cryptographers-discover-a-new-foundation-for-quantum-secrecy-20240603/
546 sats \ 2 comments \ @nout 6 Jun 2024 science
Grad Students Find Inevitable Patterns in Big Sets of Numbers
541 sats \ 0 comments \ @0xbitcoiner 5 Aug 2024 science
A geometry masterpiece: Yale prof solves part of math’s ‘Rosetta Stone’news.yale.edu/2024/11/01/geometry-masterpiece-yale-prof-solves-part-maths-rosetta-stone
430 sats \ 10 comments \ @south_korea_ln 3 Nov 2024 science
Computer scientists invent an efficient new way to countwww.quantamagazine.org/computer-scientists-invent-an-efficient-new-way-to-count-20240516/
1145 sats \ 2 comments \ @hn 17 May 2024 tech
Proof of Useful Work from Arbitrary Matrix Multiplicationarxiv.org/pdf/2504.09971
346 sats \ 2 comments \ @Scoresby 28 Jul bitcoin
Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AIwww.scientificamerican.com/article/inside-the-secret-meeting-where-mathematicians-struggled-to-outsmart-ai/
421 sats \ 5 comments \ @k00b 9 Jun science
The Lie of the Lock: A Meditation on the Fraud of Modern Cryptography
2233 sats \ 18 comments \ @justin_shocknet 17 Jun security
NSA, CISA and NIST wish to 'standardize' Quantum-proof algorithms
385 sats \ 3 comments \ @Bitman 26 Oct 2023 tech
We wrote the code, and the code wonblog.trailofbits.com/2024/08/15/we-wrote-the-code-and-the-code-won/
295 sats \ 0 comments \ @Rsync25 15 Aug 2024 tech
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
Reproducible Build Proofs: Wallet Scrutiny and BitcoinBinary
635 sats \ 12 comments \ @cointastical 6 Aug 2022 bitcoin
Bitcoin Tech Talk #378: Caesar, Mathlete, Children and more!jimmysong.substack.com/p/bitcoin-tech-talk-378
915 sats \ 0 comments \ @jimmysong 8 Jan 2024 bitcoin
Computer Scientists Figure Out How To Prove Lieswww.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
280 sats \ 1 comment \ @0xbitcoiner 9 Jul crypto