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-11 discrepancies #52

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/19

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/7xg38GyYcdYiTfiGv3cwuTBLxoJy
✅ Preview: https://interbtc-spec-git-fork-gregdhill-audit-if-interlay2-11-interlay.vercel.app

sander2 commented 3 years ago

Could you link the issue in the PR?