Buterin's proposal considers supporting both EVM and RISC-V contracts as well as creating a dedicated interpreter for converting EVM contracts into a RISC-V equivalent.