pull down to refresh

Validity Proofs on Liquidcommunity.liquid.net/c/say-hello/validity-proofs-on-liquid
30 sats \ 0 comments \ @Rsync25 3 Apr 2023 bitcoin
related
Fedimint vs Liquid
2464 sats \ 48 comments \ @RedRadish688 15 Jun 2024 bitcoin
New Physics-Inspired Proof Probes the Borders of Disorderwww.quantamagazine.org/new-physics-inspired-proof-probes-the-borders-of-disorder-20250815/
145 sats \ 2 comments \ @jakoyoh629 16 Aug 2025 science
What is liquid?t.me/bitcoin/11445
36 sats \ 2 comments \ @Bell_curve 8 May 2024 bitcoin
Thoughts on Liquid?
37 sats \ 5 comments \ @brxyz 25 Nov 2022 bitcoin
Simplicity Arrives on Liquid Testnetblog.blockstream.com/simplicity-arrives-on-liquid-testnet/
292 sats \ 2 comments \ @Rsync25 10 Oct 2024 bitcoin
Blockstream Talk #20 - Promissory Notes On Liquid 📺www.youtube.com/watch?v=cQHZOdOgFag
20 sats \ 0 comments \ @ExponentialBTC 10 Mar 2023 bitcoin
Share your experience of using Liquid
52 sats \ 10 comments \ @Monotone 24 Feb 2024 bitcoin
Liquid network en Bitcoin - Síntesis básicawww.youtube.com/watch?feature=shared&v=cWVBuoNXrwc&themeRefresh=1
12 sats \ 1 comment \ @satdesigner 21 Mar 2025 Hispano
Is Liquid Bitcoin real Bitcoin?
1162 sats \ 30 comments \ @criptopanas 24 Jan 2024 bitcoin
What Rust Got Wrong on Formal Verificationgavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/
133 sats \ 0 comments \ @brandonsbytes 23 May 2024 devs
Proof of Reserves: River's Proof of Reserves implementation in Elixirgithub.com/RiverFinancial/proof-of-reserves
43 sats \ 0 comments \ @Rsync25 28 Sep 2024 bitdevs
Who Can Understand the Proof? A Window on Formalized Mathematicswritings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
13 sats \ 0 comments \ @hn 10 Jan 2025 tech
ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG/proofofthought
21 sats \ 0 comments \ @hn 4 Oct 2025 tech
@fourrules's bio
187 sats \ 2 comments \ @fourrules 3 Sep 2025
Water Is Two Liquidspubs.acs.org/doi/10.1021/acs.jpclett.4c00044
368 sats \ 5 comments \ @0xbitcoiner 26 Mar 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 2025 bitcoin
Verifying the Work of Quantum Computerswww.caltech.edu/about/news/verifying-the-work-of-quantum-computers
21 sats \ 0 comments \ @ch0k1 21 Mar 2024 tech
Proof of Floatimgproxy.snort.social/UXzOOu8ZuLhy7L7xhDknx0YsKJoVsE2cBJeqMxob6tM//aHR0cHM6Ly9pbWFnZS5ub3N0ci5idWlsZC80YzRmZjU5ODFjMWNkMWY0ZjM4YWQyNzY0ZWNiOWRmMjcyNDRhN2I4MTU5MGE5ZTNkNGFhNzc3YWY0YThjYzc0LmpwZw
52 sats \ 0 comments \ @shanomag 29 Jun 2024 Photography
New Proofs Probe the Limits of Mathematical Truthwww.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/
51 sats \ 0 comments \ @0xbitcoiner 3 Feb 2025 science
Elements 22.1: Native Liquid Testnetblog.blockstream.com/elements-22-1-native-liquid-testnet/?ref=blockstream-newsletter
125 sats \ 1 comment \ @edblock 10 Feb 2023 bitcoin
Liquid is not a scaling solution
15.5k sats \ 87 comments \ @benthecarman 17 Dec 2023 bitcoin