Computing on Bitcoin #28
February 28, 2025 - Week 9
Happy Friday everyone!
Every week, the Computing on Bitcoin News unpacks the must-read stories on zkVMs, bridges, Bitcoin scaling, and more. Take a look at our curated selection, and stay updated.
Succinct introduces OP Succinct Lite, enabling zero-knowledge fraud proofs on the OP Stack. This solution simplifies dispute resolution, reduces bond requirements, and accelerates finality for rollups not ready for full zero-knowledge integration.
blog.succinct.xyz
🔗
Introducing OP Succinct Lite: ZK Fraud Proofs on the OP Stack
In September, we released OP Succinct, our approach to validity proofs on the OP Stack. Fundamentally, we gave every OP Stack rollup the ability to become a ZK rollup. To make this possible, we worked with the Optimism team to synthesize two key technologies: Kona, a Rust implementation of the OP Stack rollup state transition function (STF), and SP1, our state-of-the-art zkVM that verifies any Rust program.
Over the last few months, leading rollups like Mantle and Phala have embraced OP Succinct as critical parts of their technology stacks. Because the product is fully open source, each team was able to customize the codebase to their specific needs.
Researchers introduce a method to reduce input-dependent communication in multi-party computation (MPC) protocols to the final two rounds. This approach enhances efficiency by dividing computation into offline (input-independent) and online (input-dependent) phases, reducing online communication rounds. The work also defines "MPC with Adaptive-Input Selection," ensuring security even when inputs depend on offline messages. This advancement is significant for settings without setup assumptions and with potential dishonest majorities.
blog.succinct.xyz
🔗
Delayed-Input Multi-Party Computation
We consider the problem of minimizing the round of communication required in the online phase and propose a round preserving compiler that can turn a big class of multi-party computation (MPC) protocols into protocols in which only the last two rounds are input-dependent.
Our compiler can be applied to a big class of MPC protocols, and in particular to all existing round-optimal MPC protocols.
BitLayer integrates Risc Zero’s Boundless to enable zero-knowledge proofs (ZKPs) on Bitcoin through BitVM. This integration enhances scalability and trustless verification for Bitcoin Layer 2 applications.
medium.com/@Bitlayer
🔗
Bitlayer’s BitVM Integrates RISC Zero’s ‘Boundless’ to bring ZKPs to Bitcoin
On platforms with limited programming capabilities for Bitcoin, ZKP is an effective solution for scalability. By introducing ZKP technology, more complex smart contract functions on the Bitcoin network are achieved while maintaining efficient verification performance. This technical solution not only improves the scalability of the system, but also ensures off-chain security and verifiability.
StarkWare introduces Atlantic, a new platform bringing SHARP (Shared Prover) technology to developers. This enables efficient zero-knowledge proof generation, enhancing scalability and security for blockchain applications.
starkware.co/blog
🔗
Atlantic brings SHARP to devs while elevating its functionality
The Herodotus team, which has worked closely with SHARP over the past two years, launched Atlantic to make it easier for developers to leverage SHARP. Atlantic offers developers three main functionalities:
· Proving service: Affordable and efficient proving of Cairo programs (while currently using Stone, Atlantic will support Stwo in Q3 2025)
· Ethereum proof verification: Verification of Cairo proofs on Ethereum
· Starknet proof verification: Verification of Cairo proofs on Starknet with the Integrity verifier
BOB Research releases the BitVM Status Report, detailing the latest advancements in BitVM. The report covers BitVM’s role in Bitcoin security and BOB’s progress in its implementation.
docs.gobob.xyz
🔗
BOB Research: BitVM Status Report
BitVM is a mechanism to execute arbitrary programs on Bitcoin in an optimistic manner: the execution happens off-chain but in case of failures, disputes are resolved and enforced on-chain. Think Optimism, but on Bitcoin. The two main use cases are Bitcoin rollups and trust-minimized bridges. In both cases, we want to allow users to deposit and withdraw BTC from an L2 without trusting a 3rd party. With BitVM we can ensure BTC deposits cannot be stolen as long as there is a single honest and online node in the network - this node can be the depositor herself.
You’ve reached the end of this week’s newsletter, but innovation never stops.️🔥
Let's keep building and exploring.
We’ll be back next Friday with more must-read stories!
The Fairgate Team