Home
Feed

Extend

Hashnode Pro
Hashnode for Agents

Resources

The foreword
Hashnode gql skill

Buildful - AI coding agent that delivers frontier-level results at a fraction of the cost Bug0 - The AI-native e2e QA regression testing Hackathons Changelog Brand @hashnode on X Hashnode on LinkedIn Support - hello+support@hashnode.com Code of Conduct Terms Privacy Sitemap

Sign in

Search Hashnode

Search posts, tags, users, and pages

@eperezok

Ezequiel Perez

@eperezok·Argentina·Joined June 2024

Blockchain Security Researcher @ OpenZeppelin

About

Nothing here yet.

Available for

Nothing here yet.

Ezequiel Perez's blogs

Research by Ezequieleperez.blog1 post

Articles Comments

Formal Verification: From Programs to Formulas

Convert programs to logical formulas and prove properties about them

11 min read·eperez.blog

About

Nothing here yet.

Available for

Nothing here yet.

Ezequiel Perez's blogs

Research by Ezequieleperez.blog1 post