Pinned Repositories
aave-starknet-bridge
My contribution to the Certora aave-starknet-bridge formal verification project
aave-token-v3
My contribution to the Certora aave-toke-v3 formal verification project.
audits
Here's a compilation of smart contract audits I've been involved in, along with some live bugs I've discovered.
evc-playground
An invariant testing suite for the playground of the Ethereum Vault Connector (EVC)
lenstarter
Undercollatelarized loans with lens
mastering-fuzzing
Practical fuzzing examples for the mastering fuzzing talk
quickfork
Foundry template to run Proof of Concept (PoC) fork tests on any EVM compatible chain.
SVM_breastcancer_classifier
Support virtual machine model implemented with sklearn python module and their breast_cancer dataset. This model classifies a breast tumor in malignant or benignant with more than 95% of accuracy.
Zk_voting_system
Zero knowledge anonymous voting system for the Polygon network
vnmrtz's Repositories
vnmrtz/mastering-fuzzing
Practical fuzzing examples for the mastering fuzzing talk
vnmrtz/quickfork
Foundry template to run Proof of Concept (PoC) fork tests on any EVM compatible chain.
vnmrtz/audits
Here's a compilation of smart contract audits I've been involved in, along with some live bugs I've discovered.
vnmrtz/aave-token-v3
My contribution to the Certora aave-toke-v3 formal verification project.
vnmrtz/lenstarter
Undercollatelarized loans with lens
vnmrtz/SVM_breastcancer_classifier
Support virtual machine model implemented with sklearn python module and their breast_cancer dataset. This model classifies a breast tumor in malignant or benignant with more than 95% of accuracy.
vnmrtz/Zk_voting_system
Zero knowledge anonymous voting system for the Polygon network
vnmrtz/aave-starknet-bridge
My contribution to the Certora aave-starknet-bridge formal verification project
vnmrtz/evc-playground
An invariant testing suite for the playground of the Ethereum Vault Connector (EVC)
vnmrtz/forest_fires_est
Statistical analysis
vnmrtz/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
vnmrtz/foundry-huff
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
vnmrtz/Instagram_python_bot
Instagram Bot wrote in Python using InstaPy library.
vnmrtz/pygame_Snake
Pygame basic snake game, random generated cubes and a snake implemented with a linked sequence.
vnmrtz/python_pong_game
Basic pong game using python module turtle.
vnmrtz/siglist
ABI -> signatures
vnmrtz/starter-express-api