---
title: "Ezequiel Perez (@eperezok) | Hashnode"
description: "Blockchain Security Researcher @ OpenZeppelin. Read the latest articles by Ezequiel Perez on Hashnode."
url: "https://hashnode.com/@eperezok"
---

@eperezok

# Ezequiel Perez

@eperezok · Argentina · Joined June 2024

Blockchain Security Researcher @ OpenZeppelin

### [Formal Verification: From Programs to Formulas](https://eperez.blog/formal-verification-from-programs-to-formulas?utm_source=hashnode&utm_medium=feed)

Convert programs to logical formulas and prove properties about them

11 min read · [eperez.blog](https://eperez.blog/formal-verification-from-programs-to-formulas?utm_source=hashnode&utm_medium=feed)

[Sep 18, 2024](https://hashnode.com/posts/formal-verification-from-programs-to-formulas/66eaf4eb0c3fb10b3f48094a)