Resources

If you want to learn more or get involved

Join the Community on Discord! If you have questions, feedback, or problems we would love to hear from you and offer support.

• EVM Yellowpaper: Original specification of EVM.

• LEM Semantics of EVM

• EVM Opcode Interactive Reference

• Solidity ABI Encoding

For more information about The K Framework, refer to these sources:

• The K Tutorial

• Semantics-Based Program Verifiers for All Languages

• Reachability Logic Resources

• Matching Logic Resources

• Logical Frameworks: Discussion of logical frameworks.

Did you see a typo somewhere in the Gitbook? Click the three dots on the page to suggest an edit on Github!