Abdelhamid Bakhta joined Brink engineers to present on STARK proofs, verifiers, and OP_CAT in a Bitcoin context.
In his presentation, he discussed:
- Proof systems and STARK proofs
- Probabilistically-checkable proofs (PCPs)
- STARK proofs and verifiers in Bitcoin
- OP_CAT research
- Data availability challenges for ZK Rollups on Bitcoin
- Bitcoin light clients
- Zerosync and blockchain verification
- Zero knowledge examples for Cashu and Nostr
This discussion was recorded on May 16, 2025.
About Brink
Brink is a Bitcoin research and development centre, founded in 2020 to support independent open source protocol developers and mentor new contributors. If you or your organization is interested in supporting open source Bitcoin development, feel free to email us, donate@brink.dev.
Developers interested in the grant program can apply now.
Keep in touch
Subscribe to the Brink newsletter for future blog posts.