Blockstream Research
@blksresearch
Followers
2K
Following
249
Media
16
Statuses
221
Nearly 90 developers have signed up so far to get hands-on with next-gen smart contracting language, Simplicity from @blksresearch. We still have some open seats! Learn how to build vaults, DEXs, pooled wallets and other DApps on Bitcoin L2. Apply now:
liquid.net
Liquid is an open-source federated Bitcoin sidechain and layer-2 solution interoperable with Lightning that enables faster, more confidential bitcoin transactions and the issuance and exchange of...
The Liquid Developer Bootcamp world tour expands. 🌎 Next stop: Mexico City (Oct 29-30), followed by São Paulo (Nov 3-4), including a Simplicity hackathon with $6k in BTC for winning teams! Free to attend! Sign up at https://t.co/8BcDhTsXfg now!
9
11
61
New milestone unlocked! We've implemented a STARK verifier for @StarkWareLtd 's Stwo prover in Simplicity by @blksresearch This is not a toy exercise anymore – it's a real modern proving system. More about the results and challenges 🧵👇
What if we could bring STARKs to Bitcoin without softforks and optimize costs later? 🤔 Enter Simplicity — an experimental script VM by @blksresearch that would enable that. We built a PoC STARK verifier in Simplicity to explore its potential. Here’s what we learned: 🧵👇
28
31
107
Roughly 25% of Bitcoin is vulnerable to quantum attacks. Taproot could “hide” post-quantum fallbacks. Read more:
bitcoinmagazine.com
Taproot could be used to "hide" quantum safe spending conditions inside Bitcoin UTXOs to deal with the risk of quantum computing.
0
1
4
Jonas Nick (@n1ckler) and Bastien Teinturier (@realtbast) joined Optech to discuss Newsletter #371: News 0:48 Provable Cryptography Workbook Releases and release candidates 10:48 Bitcoin Core 29.1 11:17 Eclair v0.13.0 25:27 Bitcoin Core 30.0rc1 Notable code and documentation
2
17
22
Russell O’Connor, Olaoluwa Osuntokun (@roasbeef), and Jeremy Rubin (@JeremyRubin) join Optech to discuss Newsletter #370: Changing consensus 37:56 Details about the design of Simplicity 1:52 Draft BIP for adding elliptic curve operations to tapscript 19:23 Draft BIP for
3
18
32
Cryptography Lead @blksresearch Jonas Nick (@n1ckler) is raising the bar for Bitcoin education with Provable Cryptography for Bitcoin: An Introduction. A new hands-on workbook packed with definitions, proofs, and exercises. Onwards! https://t.co/PwWaKrR6tH
Excited to share "Provable Cryptography for Bitcoin: An Introduction" - a comprehensive workbook that teaches formal security definitions and proofs through hands-on exercises. Solutions included!
0
11
75
Excited to share "Provable Cryptography for Bitcoin: An Introduction" - a comprehensive workbook that teaches formal security definitions and proofs through hands-on exercises. Solutions included!
33
133
571
Russell O’Connor joined us to explain his work on formal verification of software, the process of mathematically proving that a program satisfies its specification. - Overview of formal verification of software - Walkthrough w/ libsecp256k1 - Coq, Rocq, Clightgen - SafeGCD - Q&A
3
14
36
Always incredibly humbling to speak with people working on cutting edge tech in bitcoin. Andrew Poelstra is on the cutting edge of the cutting edge. We sat down to discuss Simplicity going live on Liquid and what it may mean for the future of bitcoin script.
TFTC 648 w/ Andrew Poelstra: "Everything Ethereum added comes with trade-offs. Some are reasonable. Most are terrible." We discuss: ⚡️ Simplicity replaces Bitcoin script ⚡️ Zero-knowledge proof verifiers ⚡️ Covenants and vaults unlocked ⚡️ DLCs and oracle signatures
5
8
57
Andrew Poelstra on Bitcoin & @Blockstream's Simplicity (Bitcoin Takeover Podcast S16 E37)
7
19
56
David Gumberg, Lauren Shareshian, Jameson Lopp (@lopp), Steven Roose (@stevenroose3), and Tim Ruffing (@real_or_random) joined Optech to discuss Newsletter #365: News 1:13:00 Testing compact block prefilling 1:33:53 Mempool-based fee estimation library Changing consensus 49:17
1
14
21
🔴 Live now: Watch Poelstra break down Simplicity on Liquid with Vlad. Don't miss it!
Andrew Poelstra on Bitcoin & @Blockstream's Simplicity (Bitcoin Takeover Podcast S16 E37)
1
5
32
I’ve shared an example of how to write Simplicity programs using SimplicityHL. Feel free to check it out and give it a try. https://t.co/1JfG6gXwRj
delvingbitcoin.org
Background on Simplicity Simplicity is a low-level programming language and computational model designed for blockchain smart contracts. Its design is minimal, simple enough that the core semantics...
6
26
116
Simplicity mainnet launch, the future of Bitcoin programmability, and the synergy with STARKs
15
38
123
Want to truly understand how Simplicity and STARKs can reshape Bitcoin scaling? Andrew Poelstra (@blksresearch) and @dimahledba (StarkWare) are going live to break it down. Happening in 2 hours on X.
Thrilled to be collaborating with @Blockstream on Simplicity, a new Bitcoin scripting language. Among the first to experiment with it, we're combining it with STARKs to explore Bitcoin scaling like never before. Discover what this powerful combo can unlock:
9
17
71
On this week’s episode of BTC++ Insider Edition, @niftynei spoke with Russell O'Connor about Simplicity!
8
29
87
Tim Ruffing (@real_or_random) posted a link to a paper he wrote analyzing the security of taproot commitments against manipulation by quantum computers... https://t.co/uqh9fykQBI
bitcoinops.org
This week’s newsletter summarizes the results of a test of compact block relay prefilling and links to a mempool-based fee estimation library. Also included are our regular sections summarizing...
1
2
5
In 2017, Blockstream set out to develop a smart contract language that outperforms Bitcoin Script and EVM, offering more expressiveness with stronger safety assurances. Eight years later, we believe we've done it. Introducing Simplicity. 🧵 https://t.co/5vbjei0MEL
36
117
417
