EVM

Named by 3 kept items in this workspace.

2 items name it under affected products and 1 under classification.technologies.

Search every workspace for EVM. It matches the name as written, so it can find other things that share it.

The items that name it 3

Lean verification of EIP-7002: system-call success and FIFO requests
writeupas classification.technologies2026-10-26
Solidus: Formally Verifying a Compiler Using Automated Research
articleas affected products2026-07-24It is written here as EVM (Ethereum Virtual Machine).
Most popular blockchain virtual machine, used by chains including Ethereum, Tempo, and Monad; compilation target of the Solidus backend
Awesome AI Web3 Security
repoas affected products2026-07-18It is written here as EVM (Ethereum Virtual Machine).
Target platform for many AI smart contract auditors and benchmarks

All technologies in this workspace.