Elpacos

Pinned Repositories

• aave-starknet-bridge

  My contribution to the Certora aave-starknet-bridge formal verification project

  Language:Solidity0100

• aave-token-v3

  My contribution to the Certora aave-toke-v3 formal verification project.

  Language:JavaScript1100

• audits

  Here's a compilation of smart contract audits I've been involved in, along with some live bugs I've discovered.

  10

• evc-playground

  A playground for Ethereum Vault Connector (EVC)

  Language:Solidity00

• forest_fires_est

  Statistical analysis

  Language:Python0200

• foundry

  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

  Language:Rust00

• mastering-fuzzing

  Practical fuzzing examples for the mastering fuzzing talk

  Language:Solidity993020

• quickfork

  Foundry template to run Proof of Concept (PoC) fork tests on any EVM compatible chain.

  Language:Solidity52307

• 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.

  Language:Python10

• Zk_voting_system

  Zero knowledge anonymous voting system for the Polygon network

  Language:C++1200

Elpacos's Repositories