The first trustless DEX between Bitcoin and Ethereum?

The first trustless DEX between Bitcoin and Ethereum?

https://x.com/riftdex/status/1842242143005614489?s=46

Full-Stack Web3 Developer open to work 👨🏼‍💻 Reach out! :)

I don't understand why a zkproof is necessary here.

The ZKP is necessary because the user who holds BTC on Bitcoin and wants USDT on Ethereum must prove to the smart contract on Ethereum, which controls the locking and unlocking of their USDT, that they have maintained the five invariants (pictured below).

And of course by doing this, you are skipping completely over CEXs like Binance and Coinbase (plus apparently it is cheaper fees) and no KYC, assuming you weren't previously doxxed with the linked addresses.

I’m not sure what an HTLC is. What’s that?

Is a hash based time lock better than ZK?