0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
612 stars 150 forks source link

MaslLibrary should validate code that is deserialized #1296

Open hackaugusto opened 3 months ago

hackaugusto commented 3 months ago

For additional context: https://github.com/0xPolygonMiden/miden-vm/issues/1295

Any code that is parsed from bytes should be compiled, and if invalid, reading the file should fail.