search

interlay / interbtc-spec

interBTC specification for a trust-minimized Bitcoin to Polkadot (and beyond) bridge
https://spec.interlay.io
Apache License 2.0
17 stars 13 forks source link

audit: resolve IF-INTERLAY2-10 discrepancies #55

Closed gregdhill closed 3 years ago

gregdhill commented 3 years ago

Signed-off-by: Gregory Hill gregorydhill@outlook.com

https://github.com/informalsystems/audit-interlay/pull/18

vercel[bot] commented 3 years ago

This pull request is being automatically deployed with Vercel (learn more).
To see the status of your deployment, click below or on the icon next to each commit.

🔍 Inspect: https://vercel.com/interlay/interbtc-spec/xrUArF4dvySEtvqts4FiuMUzzyLS
✅ Preview: https://interbtc-spec-git-fork-gregdhill-audit-if-interlay2-10-interlay.vercel.app