🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.

Computing on Bitcoin #17
December 13, 2024 - Week 50

Good Friday everyone, hope you had an amazing week. As usual, here is our latest Fairgate Weekly edition with our curated selection of the most relevant articles on disputable computing.
Take a look and enjoy your reading!

01

Risc Zero announces ZKVM 1.2, enhancing zero-knowledge proof performance with application-defined precompiles. This update adds flexibility for cryptographic primitives, giving developers new tools to optimize their use cases.

risczero.com/blog
đź”— RISC Zero zkVM 1.2: Introducing Application-defined precompiles
Our latest zkVM 1.2 release unlocks new capabilities in how precompiles work in zero-knowledge systems. We’re introducing a new approach called “application-defined precompiles” - a departure from traditional precompiles that have dominated zkVM architectures since 2021.

02

New profile from CoinDesk on Fairgate Labs' Sergio Lerner. Sergio discusses how BitVMX aims to make Bitcoin more programmable without compromising its core principles.

coindesk.com
đź”— Sergio Demian Lerner: Making Bitcoin More Programmable
'BitVMX framework provides the foundations to run any CPU on Bitcoin,' the project's accompanying whitepaper says. BitVMX's aim is to put [headings] li a{margin: 0;font-weight: 300ory behind Linus' BitVM paradigm into practice by creating a framework for running programs on Bitcoin and enabling the further development of sidechains and layer 2s.

03

The Bitlayer Research Team contributes Chunker to the official BitVM repository, significantly optimizing zero-knowledge proof verification. Chunker reduces program size from ~7GB to ~1GB by splitting it into 975 chunks.

BitVM
BitVM | BitVM
Chunker of the Groth16 verifier program #129

04

Symbolic Capital and Nubit have released an in-depth analysis of BitVM, exploring how it leverages Bitcoin’s existing features to expand use cases while maintaining its security.

symbolic.capital
đź”— A Deep Dive into BitVM
This research represents a collaborative effort between the Symbolic Capital and Nubit teams. Symbolic Capital is an investor in Nubit.

05

At TabConf 6, Robin Linus explains the BitVM paradigm, its implementation, and the BTC bridge his team is building. He also introduces zkCoins, a second-layer protocol boosting Bitcoin throughput by over 10x and providing strong privacy.

Make Bitcoin Cypherpunk Again! - TABConf 6

@TABConf
Robin Linus, BitVM Creator

That's a wrap for this week's edition.
Make sure to subscribe to never miss an update.

See you next week!
The Fairgate Team