VerifyUse audited base contracts from reputable libraries. One module covers smart contract bugs. Privacy and channel code can change quickly, and updates often close deanonymizing bugs. Other bridges use smart-contract…