Formalizing FLEX and FLEX2 Security Bonds
A new research paper by Fairgate formalizes FLEX and FLEX2, a framework for on-demand security bonds that leverages BitVM-style dispute systems, garbled circuits, Taproot, and CDS primitives.
fairgate.io/publication
🔗
A Formal analysis of Flex & Flex 2 Collaterals
This architecture enables dispute resolution systems where only the party proven correct can unlock the appropriate secret and claim funds, while minimizing idle capital requirements.