Víctor Nicolás Martínez Carralero's starred repositories
safe-singleton-factory
Singleton factory used by Safe related contracts
euler-vault-kit
Build lending vaults which connect through Ethereum Vault Connector
aave-v3-origin
Aave v3.1 protocol
fuzz-utils
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Immunefi-bug-bounty-writeups-list
curation of all(most) immunefi bug bounty writeups I could find(till now)
MinimalAccount
The most gas optimized ERC-4337 account - written in Huff
local-setup
zkSync 2.0 setup for local development
DeFi-Risk-Modelling-Awesome
Resources for the budding field of risk modelling and analysis in DeFi
solidity-audit-report-generator
Solidity Audit Report Generator
solidity-gas-profiler
Profile Solidity gas consumption line-wise.
weird-erc20
weird erc20 tokens
zk-eth-rng
Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
malleable-signatures
This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed.
SolMet-Solidity-parser
A static analysis tool for calculating OO-style source code metrics for Solidity smart contracts.
qr-designer
QR designer web app with a novel method of designing qr codes that does not take advantage of error correction
syrup-backend
backend of syrup: SYnthesizeR of sUPer-optimized smart contracts
gas-optimizations
List of smart contract optimizations in solidity