A research paper titled “Tessel: An Optimized Compiler for Cryptographic Circuits” has been accepted for presentation at the upcoming SBC’25 blockchain conference. The study introduces compiler optimization techniques designed to improve cryptographic circuit efficiency, specifically targeting Bitcoin Thunderbolt’s on-chain verification mechanisms.
The collaborative effort involves researchers from the University of California, Santa Barbara, the University of Illinois Urbana-Champaign, the University of Toronto, and the Nubit team. By optimizing cryptographic circuit compilation, the research aims to enhance Bitcoin’s programmability and security while addressing network scalability challenges.
Scheduled for August 4-6 at the University of California, Berkeley, SBC’25 is jointly hosted by the Initiative for Cryptocurrencies and Contracts (IC3), Stanford University’s Center for Blockchain Research, and UC Berkeley’s Real-Time Decentralized Intelligence (RDI). The paper’s acceptance highlights its potential contribution to advancing blockchain verification protocols.