Login
Roast topics
Find topics
Find it!
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
Roast topics
Find topics
Roast it!
In this blog post, we present how we specify and verify the implementation of the ADD instruction of the EVM virtual machine in Rust.
