KEVM/IELE - Get Started!

IELE is an improvement on the Ethereum virtual machine (EVM). It was created after the KEVM project demonstrated that a K formal specification of EVM could automatically generate a VM comparable in performance to hand-crafted implementations.

3 Likes