Pinned Loading

1. audits audits Public

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

   3

2. evc-playground evc-playground Public

   Forked from euler-xyz/evc-playground

   An invariant testing suite for the playground of the Ethereum Vault Connector (EVC)

   Solidity 1

3. aave-starknet-bridge aave-starknet-bridge Public

   Forked from Certora/aave-starknet-bridge

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

   Solidity

4. aave-token-v3 aave-token-v3 Public

   Forked from Certora/aave-token-v3

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

   JavaScript 1

5. mastering-fuzzing mastering-fuzzing Public

   Practical fuzzing examples for the mastering fuzzing talk

   Solidity 108 21

6. quickfork quickfork Public

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

   Solidity 52 8