Ezequiel Pérez

I’ve started my own research blog 🔍! This first article is about Formal Verification, specifically exploring how to convert programs into "logical formulas" to prove properties about them. Implementation included ⚡ eperez.blog/formal-verific…

Proof of @EthCC

@arantxazapico @lucascardacci @famaf_unc Congrats! 🥳

Argentina's public education keeps delivering 🇦🇷 🙌🏽 Big congrats to my student @lucascardacci for his undergrad thesis defense at @famaf_unc. He designed extensions for KZG to support non-membership and counting— English version dropping soon!

🚀 Kicking off my Zero Knowledge Proofs series! 🎬 Episode 1 is live: Dive into zkSNARKs, proof systems, and the fundamentals. No heavy math required. 💡 Start from 0 → 1 and build the intuition you need to actually understand ZK proofs. 👉 Watch here: youtu.be/4cvohdq9si8

@snfernandez 🔥🔥

I've mentioned so many times about the speed at which we operate, but seeing a team that I deeply respect acknowledge it makes me insanely proud

@OpenZeppelin's castle is getting ready for @EFDevcon 🏰

Great restaurants in BA 🇦🇷 are already accepting crypto payments (with 20% off!) (this is Malo by Franco, paid with @settle_io)

great read on EELS by @_eperezok 🙌

Wrote a post for the OZ blog 🔍 If you’ve ever wondered how Ethereum Execution Clients validate & process blocks/txs, this is a good place to start. I also dig into newer concepts like System Contracts & EL→CL Requests that unlock powerful use cases ⚡

3AM grind on the Wintermute Alpha Challenge 2025 🕯️ Pretty happy sitting at 13th for now, since the leaderboard above is stacked with chads. Big congrats to @wintermute_t and @FrankResearcher for the super interesting case studies!

@alandooz Jajajaja no sé si premium pero nos vemos ahí 🙌🏻

@_eperezok No sabía que había orador premium, pongo la alarma entonces

Polishing the slides for tomorrow🧉

@lvvittor Sorry but I prefer drag & dropping in GSlides 😎

@_eperezok i hope you are using latex this time

Sharing a weekend project I recently worked on: a minimal smart contract fuzzer in Rust 🦀 It takes Solidity invariants and randomly calls functions until one breaks. The code is under 200 lines, so it should be easy to understand if you're interested!⚡ github.com/eperezok/minim…

@DiogenesCasares Pueden venir a la ofi de @OpenZeppelin !!

AVISO A ARGENTOS EN CRYPTO🇦🇷 Busco buenas empresas / entrepreneurs crypto Estoy armando un viaje de varios tipos del exterior a Arg entre el 13-15 en BA y 15-17 en SMA. Casi todos involuncrados en crypto, muy buena gente y de alta calidad. Quiero que pasen por ofis y conocen la escena crypto de Argentina, ya obviamente vamos a pasar por @lemonapp_ar, ojala @buenbit, @SatoshiTango, @belo_app, @RipioApp Also companies that would be sick but idk ppl directly at @class_lambda Hay algunas otras? Tambien si sos fundador Argento de crypto escribime y veo si te metemos en parte del viaje tipo almuerzo / cena y conoces la gente

@Jeyffre Thanks, hope you find it insightful!

@_eperezok Hey definitely gonna give this a read, nice work!

I’ve started my own research blog 🔍! This first article is about Formal Verification, specifically exploring how to convert programs into "logical formulas" to prove properties about them. Implementation included ⚡ eperez.blog/formal-verific…

@subgraphdev Thanks! I don't have a specific topic lined up for the next article yet, so it might or might not be related to FV 👀

@_eperezok Oh, congrats! Are u only going to focus on Formal Verification, or will you write a whole series on it?

@evan_van_ness El mate es fundamental 🧉

@_eperezok RT por el mate en el imagen de tapa

Yesterday, we completed the Argentine edition of the @PrivacyScaling Core Program. After six months of hard work, it was a success. Thanks for your huge support to the students and the program @brechy_ @smpalladino @cryptochica_arg ✨️

@eugenioclrc I'm afraid not this time 😛

If there is a photo there should also be a video!