Skip to content
User avatar
GitHub profile
Twitter profile

Eduardo Gomes

GitHub profile
Twitter profile

@eduardogbg

Eduardo Gomes

@eduardogbg

Formal Verification and ZK engineer

Formal Verification and ZK engineer

Skill iconRust
Skill iconTypeScript

Florianópolis, Brazil

Independent Formal Verification Evangelist, Scrutinizer of zkVMs