比推消息，DeFi 平台 LeverFi 宣布推出安全验证协议 OmniZK，可扩展比特币的可扩展性、逻辑构建和互操作性，允许开发人员将复杂的计算转移到任何 EVM 层，并将最终事件结果转发回比特币网络以进行本地结算，同时能在比特币上构建有条件的、非托管的离散日志合约（DLC），并由 zkOracles 生成的事件证明进行保护。