8-day current streak·21-day longest streak
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…
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)
README.md (this file) appears on your GitHub profile.
Here are some ideas to get you started:
- 🔭 I’m currently working on ...
- 🌱 I’m currently learning ...
- 👯 I’m looking to collaborate on ...
- 🤔 I’m looking for help with ...
- 💬 Ask me about ...
- 📫 How to reach me: ...
- 😄 Pronouns: ...
- ⚡ Fun fact: ...
-
multiverse-finance ★ PINNED
Implementation of Paradigm's Multiverse Finance paper built on the Conditional Tokens Framework by Gnosis.
Solidity ★ 0 1y agoExplain → -
minimal-evm-fuzzer ★ PINNED
A minimal smart contract fuzzer written in Rust 🦀
Rust ★ 7 1y agoExplain → -
soliditish-compiler ★ PINNED
A compiler for a language to create smart contracts, that is transpiled to Solidity. It is written in C + Flex/Bison.
C ★ 0 2y agoExplain → -
formal-verification-imp ★ PINNED
Converting imperative programs into SMT formulas and formally verifying properties with Z3.
Haskell ★ 1 1y agoExplain → -
amm-contracts ★ PINNED
Simple Automatic Market Maker based on Uniswap v1 contracts
Solidity ★ 3 4y agoExplain → -
64bit-shell-OS ★ PINNED
64 bit shell operating system for OS course @ ITBA
C ★ 0 4y agoExplain → -
amm-frontend
An Automatic Market Maker frontend built with NextJS, which interacts with the AMM contracts deployed to the Binance Smart Chain
JavaScript ★ 3 4y agoExplain → -
midnight-starter
Lightweight starter kit for developing Midnight smart contracts
TypeScript ★ 2 11mo agoExplain → -
vscode-annotated
Annotate and navigate a codebase with grouped, shareable Markdown annotations.
TypeScript ★ 1 1d agoExplain → -
socks-v5-proxy
Final project for the Communication Protocols course @ ITBA
C ★ 1 3y agoExplain → -
AutoProver ⑂
No description.
★ 0 7d agoExplain → -
EperezOk
Profile README.
★ 0 20d agoExplain → -
devcontainer ⑂
The Red Guild's devcontainer focused in web3 and security.
Dockerfile ★ 0 1y agoExplain → -
UnitGPT
Automatically generate Foundry unit tests using LLMs and RAG.
Jupyter Notebook ★ 0 1y agoExplain → -
shamir-secret-image-sharing
Shamir's secret [image] sharing scheme capable of cheating detection. Final work for the Cryptography class @ITBA.
C ★ 0 2y agoExplain → -
deep-learning-with-numpy
Implementation of Deep Learning models from scratch, using only `numpy` as a dependency.
Python ★ 0 2y agoExplain → -
huff-project-template ⑂
Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.
Solidity ★ 0 2y agoExplain → -
csv-real-time-processing
Final work for Imperative Programming course @ ITBA
C ★ 0 4y agoExplain → -
ipc-sat-solver
Inter Process Communication assignment for OS course @ ITBA
C ★ 0 4y agoExplain → -
pedestrian-simulation
Pedestrian dynamics simulation for the System Simulation class @ ITBA.
Java ★ 0 3y agoExplain → -
damn-vulnerable-defi
Solutions for the Damn Vulnerable Defi wargame to learn offensive security of DeFi smart contracts in Ethereum.
Solidity ★ 0 3y agoExplain → -
sockets-ctf-game
CTF game using Sockets for OS course @ ITBA
C ★ 0 4y agoExplain → -
candycrush-java
Final work for OOP course @ ITBA
Java ★ 0 4y agoExplain →
No repos match these filters.