Login
From:
formal.land
(Uncensored)
subscribe
🦀 Functional specification of the ADD instruction of the EVM | Formal Land
https://formal.land/blog/2025/07/06/functional-specification-add
links
backlinks
Tagged with:
rust
evm
coq-of-rust
functional specification
In this blog post, we present how we specify and verify the implementation of the ADD instruction of the EVM virtual machine in Rust.
Roast topics
Find topics
Find it!
