evm_arithmetization 0.5.1

Implementation of STARKs for the Ethereum Virtual Machine
Documentation