Computing on Bitcoin #52
August 15, 2025 - Week 33

Welcome to this week’s Computing on Bitcoin News—your go-to source for protocol updates, research, and the most relevant developments across the Bitcoin computing landscape.
Every week, we bring you a handpicked selection of news and insights from the builders pushing Bitcoin’s capabilities further.
Let’s dive in.

01

BitVMX has begun open-sourcing a second wave of its core components, reinforcing its commitment to transparency, collaboration, and decentralized infrastructure.

fairgate.io/blog
🔗 Building together: BitVMX makes a new push into the Open - Source

BitVMX was designed from the ground up as a modular and composable system. Since the beginning of this journey, we’ve built internal tools to support key aspects of the architecture we envisioned: from secure key management and a robust storage backend, to smart configuration, blockchain simulators, Bitcoin Core orchestration, and RPC interfaces. These libraries, tools and core components have matured alongside our protocol stack, and now we’re opening them up for public use.

02

David Seroy from Alpen Labs explores building Bitcoin bridges using zero-knowledge verification, comparing BitVM1/2/3 with new Glock.

03

A newly identified vulneratbility in OTS verification scripts allows attackers to use large preimages to force timeouts in turn-based protocols.

fairgate.io/blog
🔗 A Vulnerability on Bitcoin Protocols Using One-Time Signatures

We discovered a vulnerability that can be exploited by a malicious party to steal funds by forcing a timeout, especially in turn-based protocols. The issue arises when the victim is unable to submit their on-chain response due to Bitcoin's transaction size and policy constraints.

04

Tyr Capital has partnered with BOB and the bitvm/acc working group to boost Bitcoin DeFi adoption, joining as a node operator for BOB’s BitVM deployment

globenewswire.com/news-release
🔗 Tyr Capital partners with BOB and bitvm/acc to drive Bitcoin DeFi Adoption

Tyler Wellener, Chief Strategy Officer at Tyr Capital, commented, "BitVM has accelerated and extended the capabilities of Bitcoin to be more than just sound money. Currently, only 0.3% of BTC is used across all of DeFi, but we expect this to grow significantly due to innovations like BitVM. Tyr Capital is happy to be contributing to bitvm/acc, and we're committed to growing the Bitcoin DeFi ecosystem."

05

StarkWare explores building STARK verifiers in Simplicity, combining analyzable Bitcoin-native programs with ZK proofs to verify off-chain computation on-chain.

starkware.co/blog
🔗 Building STARKs in Simplicity

Simplicity is a new kind of programming language designed specifically for Bitcoin. It’s being developed by Blockstream, and its goal is to be safer and more expressive than the Bitcoin Script we use today.
It’s designed to be minimal but powerful, built from the ground up with math in mind. The core idea? You get a super-small set of building blocks (only 9 core operations!) — but with them, you can construct some pretty complex programs.

06

GOAT Network explains why true Bitcoin L2s don’t yet exist and how BitVM2 and Real-Time ZK Proving aim to change that.

goat.network/blog
🔗 What Happened to Bitcoin L2s?

As of today, there are ZERO projects that can legitimately call themselves Bitcoin L2s. For now, they're all ostensibly sidechains (GOAT Network included). The reason for this is that no chain has succeeded in inheriting native Bitcoin security.

That’s a wrap for this edition of Computing on Bitcoin News.
Thanks for following along as the ecosystem continues to innovate, challenge assumptions... and build.
We’ll see you again next Friday with more stories from the frontier.
—The Fairgate Team