Víctor Nicolás Martínez Carralero's repositories
mastering-fuzzing
Practical fuzzing examples for the mastering fuzzing talk
aave-token-v3
My contribution to the Certora aave-toke-v3 formal verification project.
lenstarter
Undercollatelarized loans with lens
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
aave-starknet-bridge
My contribution to the Certora aave-starknet-bridge formal verification project
evc-playground
An invariant testing suite for the playground of the Ethereum Vault Connector (EVC)
forest_fires_est
Statistical analysis
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
foundry-huff
A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
Instagram_python_bot
Instagram Bot wrote in Python using InstaPy library.
pygame_Snake
Pygame basic snake game, random generated cubes and a snake implemented with a linked sequence.
python_pong_game
Basic pong game using python module turtle.
siglist
ABI -> signatures