Wrote some thoughts on integrity in blockchain: unthoughts.github.io/2025-04-13-int… ( ͡° ͜ʖ ͡°) Eli Ben-Sasson | Starknet.io Roman Melnikov Yonatan Sompolinsky @MichaelSuttonIL

Big leap in Bitcoin DeFi tech🔥👏 A new protocol has come out called "ColliderVM" from the folks at StarkWare 🐺🐱! It enables stateful computation on Bitcoin; meaning computations that can persist across multiple transactions and user interactions. This unlocks the ability to

x.com/i/article/1912…

Announcing DahLIAS! 🎉 The first crypto protocol for full cross-input signature aggregation that allows reusing Bitcoin's curve secp256k1. ✅ 64B sigs ✅ Verify is ~2x faster than half-agg'd Schnorr sigs ✅ 2-round signing Kudos to the team: Tim Ruffing Yannick Seurin! 👇

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs First milestone to implement a proof of concept done. The demo here simulates the whole flow using the Bitcoin Script interpreter in Rust. Hash collision based commitment scheme baby. Next milestone will be to

i didn't hype it up much, but rubin.io/public/pdfs/de… is a *very* good read if you're interested in Bitcoin as a "computation platform" a la BitVM, MATT, etc.

1/ Excited to share the Clementine whitepaper, co-written with Common Prefix researchers. It’s the first BitVM-based secure bridge design with: - formally defined protocol & txs - full pseudocode - informal security analysis We introduce 3 key improvements/fixes to BitVM2 🧵👇🏻

For the third article in my covenant series, I'm looking at TXHASH. TXHASH is essentially a supercharged version of CTV with much more flexible introspection capabilities, composing even better with CSFS than CTV does. Article below:

In 2025, the most beginner-friendly way is to just use the sCrypt high-level language that compiles to Bitcoin Script docs.scrypt.io. But if u insist on raw Script, refer to github.com/xhliu/bitcoinc…

Check out Sen Yang's summary of our new paper, Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts! Link: arxiv.org/abs/2504.13398

Want to bet on OP_CAT, directly on Bitcoin? Brilliant ser Bruce found a way. Caveat: this works only for direct bets (Alice vs. Bob). Open question: Generalize this to prediction pools on Bitcoin, with no reliance on 3rd parties. scryptplatform.medium.com/betting-on-bit…

Does Your Blockchain Need Multidimensional Transaction Fees? New paper with @NiroMufleti Mallesh Pai Max Resnick arxiv.org/abs/2504.15438

My personal ideal next soft fork for Bitcoin: CTV + CSFS + CAT + MUL => improves Lightning, BitVM, Ark, enables ZK rollups 2nd: CTV + CSFS + CAT => same (less efficient to verify STARK proofs without MUL but still practical) 3rd: CTV + CSFS => does not enable ZK rollups but

Very proud of the team for our new multilinear proof-system: SP1 hypercube. Let me also take the opportunity to give a huge shoutout to the research community that created many of the underlying building blocks that we use. It really boils down to thirty+ years of theoretical

We are happy to announce that Post Capone has received a grant from the StarkWare OP_CAT Research Fund. Post Capone is an educator, consultant, and contributor to the Bitcoin ecosystem. He is an independent researcher with a focus on smart contract mechanism design, MEV, and

1/ S-two is live. The fastest prover in the world, and the first to make client-side proving actually possible on everyday devices. Now open to all, and coming soon to Starknet 🧵

BREAKING: Starknet 🐺🐱 just announced that they built a Runes bridge so you can now trade Runes on Starknet

Stateful computation on Bitcoin mainnet without Fraud Proofs has been achieved internally with ColliderVM . It's a toy implementation to demonstrate the concepts. We can already do covenants on Bitcoin, now we are simply negotiating the price 😘 Details, link to repo & txs 👇

Artem Chystiakov They’re not. And neither this, nor any possible further works on the proximity gaps conjecture could have any noticeable effect on the prover side. How do I know? Because of the mathematically proven bounds. There might be, some day, an increase of at most 2x on verifier side