fairgate.io/publications
🔗 A note on the security of the BitVM3 garbling scheme

Research shows that using a very small circuit malicious evaluators can forge wire labels and break the security of the system.

fairgate.io/blog
🔗 On the security of RSA-based garbling schemes

Our research shows that, even with a very small circuit, malicious evaluators can forge wire labels and break the security of the system.
This affects both the original scheme and the alternative proposed by Alva Fu, Stephen Duan, and Ethan Zhu.
A minimal example demonstrates how a malicious evaluator can exploit the scheme. The attack uses a small circuit consisting of two AND gates and three inputs, and doesn’t depend on reblinding nor sub-circuit reuse.

Building Rollups on Bitcoin + the Battle for OP_Return | with Citrea

@Isabel Foxen Duke
In this episode, we cover Citrea's development of what will likely be the first “proper rollup” on Bitcoin mainnet, as well as their account of "what happened" with Bitcoin Core, the OP_RETURN drama, and their take on @LukeDashjr's vendetta against Bitcoin for data availability.

babylonlabs.io/blog
🔗 The Road to BTCFi: Babylon’s 2025 Roadmap

2025 is the year that Babylon Genesis becomes the center of the BTCFi ecosystem.
Q3 2025: Bitcoin Multi-Staking Testnet
Babylon Genesis will deploy multi-staking: a single BTC stake will supercharge multiple networks simultaneously, and earning multiple reward streams.
The first integrations will include:
· ETH Rollups: Optimism, Arbitrum
· Cosmos Chains: Multiple sovereign networks
More tech stacks will follow.

arxiv.org
🔗 Wrapless book v.0.3 - Rarimo Protocol

This paper aims to design a Wrapless – a lending protocol that enables the collateralization of BTC without requiring a trusted wrapping mechanism. This paper describes a solution that enables locking BTC in the ”loan channel” and providing a loan on another blockchain platform, such that the loan’s installment (which can be partial) results in unlocking the corresponding amount of BTC.

starkware.co/blog
🔗 Kakarot x S-two: Bringing ZK to everyday devices

Our current proving workflow follows this process: We start with an Ethereum block number, which feeds into our ZK Prover Inputs Generator (ZK-PIG) to create the necessary proving inputs. Separately, our Keth source code gets compiled by the Cairo Zero compiler into Cairo Assembly using Stark Field f252. The computational work happens on cloud machines, where we generate execution traces of the program to prove using the block’s inputs. Finally, S-two takes the Cairo execution trace and outputs a cryptographic proof of the block execution.