3 ms·
If someone is running verifiers on the contract language, or worried that their policies are wrong, they can restructure the underlying code or the policies. Yo
by lmeyerov 11y ago
If someone is running verifiers on the contract language, or worried that their policies are wrong, they can restructure the underlying code or the policies. You're assuming the only verifiable things are parser languages from the 70s.
- alricb 11y agoIn many cases you just have to parse stuff (using a recognizer). If you want to verify that your parser is, in fact, parsing the right way, then you have to look at it formally.