Ezequiel Pérez EperezOk

🎯

Focusing

Security Researcher @OpenZeppelin

23 followers · 5 following

Buenos Aires, Argentina
@_eperezok

Achievements

Highlights

Organizations

Block or report EperezOk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 23 Projects Packages Stars 11

Overview
Repositories
Projects
Packages
Stars

EperezOk/README.md

Contributions 🔭

Some of my open-source contributions:

Uniswap/liquidity-launcher: Implemented a solution to an open question after auditing the protocol.
ethereum/execution-specs: Helped simplify and document Ethereum's reference execution client.
0xMiden/protocol: Reported a serious footgun in Miden's (privacy-first L2) transaction kernel. My fix recommendation was implemented.
huff-language/huff-project-template: Identified and fixed a long-standing bug in Huff's starter template (EVM low-level language).
Picodes/4naly3er: Fixed a rule in an AST-powered Solidity static analyzer.

Technical Articles 📃

Technical articles I’ve written:

Formal Verification: From Programs to Formulas
Inside Ethereum's Engine: How the Execution Layer Actually Works (OpenZeppelin Blog)

Pinned Loading

multiverse-finance multiverse-finance Public

Implementation of Paradigm's Multiverse Finance paper built on the Conditional Tokens Framework by Gnosis.

Solidity
minimal-evm-fuzzer minimal-evm-fuzzer Public

A minimal smart contract fuzzer written in Rust 🦀

Rust 7
soliditish-compiler soliditish-compiler Public

A compiler for a language to create smart contracts, that is transpiled to Solidity. It is written in C + Flex/Bison.

C
formal-verification-imp formal-verification-imp Public

Converting imperative programs into SMT formulas and formally verifying properties with Z3.

Haskell 1
amm-contracts amm-contracts Public

Simple Automatic Market Maker based on Uniswap v1 contracts

Solidity 3 1
64bit-shell-OS 64bit-shell-OS Public

64 bit shell operating system for OS course @ ITBA

C 1

EperezOk (Ezequiel Pérez) · GitHub

Ezequiel Pérez EperezOk

Achievements

Achievements

Highlights

Organizations

Block or report EperezOk

Contributions 🔭

Technical Articles 📃

Pinned Loading

Uh oh!