@anon
sign up
@anon
sign up
pull down to refresh
Validity Proofs on Liquid
community.liquid.net/c/say-hello/validity-proofs-on-liquid
30 sats
\
0 comments
\
@Rsync25
3 Apr 2023
bitcoin
related
Thoughts on Liquid?
37 sats
\
5 comments
\
@brxyz
25 Nov 2022
bitcoin
Russell O'Connor on formal verification and libsecp256k1
brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats
\
1 comment
\
@schmidty
7 Aug
bitcoin
🧰 LWK: Liquid Wallets Made Easy 🌊
89 sats
\
1 comment
\
@blockstream_official
17 Apr 2024
bitcoin
New Proofs Probe the Limits of Mathematical Truth
www.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/
51 sats
\
0 comments
\
@0xbitcoiner
3 Feb
science
The Truth About Liquid
blog.liquid.net/the-truth-about-liquid/
35 sats
\
2 comments
\
@DogFac3
12 Aug 2022
bitcoin
New Physics-Inspired Proof Probes the Borders of Disorder
www.quantamagazine.org/new-physics-inspired-proof-probes-the-borders-of-disorder-20250815/
145 sats
\
2 comments
\
@jakoyoh629
16 Aug
science
What is liquid?
t.me/bitcoin/11445
36 sats
\
2 comments
\
@Bell_curve
8 May 2024
bitcoin
Building on Bitcoin with Liquid
www.youtube.com/watch?v=h0obzXIWkPA
50 sats
\
0 comments
\
@sean
17 Nov 2022
bitcoin
Kevin Rookie Podcast - John Light on Validity Rollups , ZK-proofs, and LN | E75
youtu.be/feODuDF2xv0
417 sats
\
8 comments
\
@timechain
21 Oct 2022
bitcoin
Simplicity Arrives on Liquid Testnet
blog.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
Events | Liquid on BOL2
community.liquid.net/c/events/?sort=asc
500 sats
\
0 comments
\
@edblock
28 Mar 2023
bitcoin
Liquid network en Bitcoin - SÃntesis básica
www.youtube.com/watch?feature=shared&v=cWVBuoNXrwc&themeRefresh=1
12 sats
\
1 comment
\
@satdesigner
21 Mar
Hispano
What Rust Got Wrong on Formal Verification
gavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/
133 sats
\
0 comments
\
@brandonsbytes
23 May 2024
devs
How Liquid Fits Into The Bitcoin Ecosystem
thebitcoinmanual.com/articles/liquid-fits-into-btc-ecosystem/
89 sats
\
7 comments
\
@TheBTCManual
23 Sep 2022
bitcoin
Proof of Reserves: River's Proof of Reserves implementation in Elixir
github.com/RiverFinancial/proof-of-reserves
43 sats
\
0 comments
\
@Rsync25
28 Sep 2024
bitdevs
Who Can Understand the Proof? A Window on Formalized Mathematics
writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/
13 sats
\
0 comments
\
@hn
10 Jan
tech
Remember Liquid?
2524 sats
\
24 comments
\
@OT
18 Nov 2023
bitcoin
Water Is Two Liquids
pubs.acs.org/doi/10.1021/acs.jpclett.4c00044
368 sats
\
5 comments
\
@0xbitcoiner
26 Mar 2024
science
Verifying the Work of Quantum Computers
www.caltech.edu/about/news/verifying-the-work-of-quantum-computers
21 sats
\
0 comments
\
@ch0k1
21 Mar 2024
tech
more