KEVM: An executable formal specification for the Ethereum Virtual Machineideals.illinois.edu3 points·xwvvvvwx··0 commentsOpen articleSaveView on HN