EperezOk

Follow

🎯

Focusing

Ezequiel Pérez EperezOk

🎯

Focusing

Follow

Security Researcher @OpenZeppelin

23 followers · 5 following

Buenos Aires, Argentina
@_eperezok

Achievements

Achievements

Highlights

Pro

Organizations

EperezOk/README.md

Contributions 🔭

Some of my pull requests to open-source projects:

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