since Libra is now called Diem and the page is new I am looking for some information about the bytecode verifier. Does anybody know where to find information about it on the new diem page?
Thanks very much
The new Diem documentation focuses on the Move source language. Because the source language has compiler checks with nice error messages to explain issues that the bytecode verifier would reject, we do not have equivalent developer docs for the bytecode verifier itself. However, the crate README and Move whitepaper Section 5.2 have some detailed information. We are also happy to answer specific questions you have about the bytecode verifier here!