Formal Analysis of FLEX and FLEX2
A new research paper by Ramses Fernandez presents a formal analysis of Fairgate Labs' FLEX and FLEX2, protocols designed for BitVM-style dispute systems and cross-chain bridges.
eprint.iacr.org
🔗
A FORMAL ANALYSIS OF FLEX AND FLEX2
FLEX protocol emerges as an important advancement, designed specifically to ease capital-efficient optimistic bridges on Bitcoin through the implementation of on-demand security bonds.