anza-xyz / move

Move compiler targeting llvm supported backends
https://discord.gg/wFgfjG9J
Apache License 2.0
107 stars 32 forks source link

provide paranoid type checks like move vm #364

Open ksolana opened 10 months ago

ksolana commented 10 months ago

Move VM does additional checks to detect violations. Can we provide runtime checks to this effect? This is probably in line with what we discussed about adding runtime checks for cross contract calls.

Some more info in the checks.

https://www.zellic.io/blog/the-billion-dollar-move-bug