According to Wu, DeFi platform LeverFi announced the release of the OmniZK protocol, a security verification protocol designed to extend Bitcoin’s scalability, logic construction, and interoperability. OmniZK uses a modular design that allows developers to build conditional, non-custodial discrete log contracts (DLCs) on Bitcoin, protected by event proofs generated by zkOracles.