Skip to content
View Keinberger's full-sized avatar

Organizations

@aspan-io

Block or report Keinberger

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please donโ€™t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
keinberger/README.md

DeFi Engineer โ€ข Protocol Security Researcher โ€ข Co-Founder @ TurtleShell โ€ข Smart Contract Dev @ Hifi Finance


๐Ÿš€ About Me

Iโ€™m a Web3-native Full-Stack & Smart Contract Developer with 10 years coding experience and 3+ years specializing in DeFi protocols.

My areas of interest:

  • DeFi Security & Exploit Protection (Key contributor to ERC-7265 โ€œCircuit Breakerโ€ standard)
  • Production DeFi Architecture (managed $20M+ TVL at HiFi Finance)
  • CDP & RWA Lending (designed liquidation mechanics, accounting safety, incentive models)
  • Smart Contract Testing & Math Safety (stateless fuzzing, testing architecture, invariant testing)

Projects I have been involved with:


๐Ÿ“ˆ Tech Stack


๐Ÿ“Œ Featured Projects

Project Description Link
HiFi-V3 CDP-based RWA lending protocol: liquidation mechanics, safety & incentives. ๐Ÿ”— Notion
TurtleShell-Core On-chain โ€œCircuit Breakerโ€ firewalls for DeFi protocols (ERC-7265). ๐Ÿ”— GitHub
Nomad-Bridge-Hack-Prevention Circuit Breaker integration preventing a $200 million DeFi exploit. ๐Ÿ”— GitHub
sol-dex Decentralized exchange with liquidity pools (AMM's), governance tokens, upgradeable contracts & on-chain voting. ๐Ÿ”— GitHub
Over-The-Ether Tap-to-Pay mobile crypto payments using ultrasound. ๐Ÿ”— Hackathon Submission

๐Ÿ“Š GitHub Stats

Philippโ€™s GitHub Stats


๐ŸŽค Speaking & Achievements

  • ๐Ÿฅˆ ETH Warsaw 2023 Finalist Circuit Breaker UI
  • ๐ŸŽ™๏ธ GoPlus Security Summit Speaker (Istanbul, 2023)
  • ๐ŸŽ™๏ธ "The Bytecode" Podcast Guest on Circuit Breakers and ERC7265 Watch here
  • ๐Ÿ“œ Major Contributor to ERC-7265 DeFi โ€œCircuit Breakerโ€ standard
  • ๐Ÿ† Best Consumer Application built on Morph at ETHGlobal Bangkok 2024 (OverTheEther)
  • ๐Ÿ† Best NFT Project on Mantle at ETH Prague 2023 (TurtleShell)
  • ๐Ÿ† Most innovative dApp using Safe at ETHGlobal NYC 2023 (Safe Invaders)
  • ๐Ÿ† Most Use of Neon EVM at ETHGlobal Paris 2023 (Decentralized Circuit Breaker)
  • ๐Ÿ† Best ReFi Product on Polygon at ETH SF 2022 (Aspan)

๐Ÿ“ฌ Letโ€™s Connect


Pinned Loading

  1. sol-dex sol-dex Public

    A truly decentralized exchange allowing users to swap ERC20 tokens and MATIC.

    JavaScript 3

  2. sol-governed-nft-marketplace sol-governed-nft-marketplace Public

    Decentralized, governed NFT Marketplace

    JavaScript 1 3

  3. goScraper goScraper Public

    Go web scraper library

    Go

  4. goEthereumWalletGen goEthereumWalletGen Public

    Go application for generating ethereum wallets

    Go

  5. goRSA goRSA Public

    Golang library for RSA encryption

    Go

  6. goMacBatteryInfo goMacBatteryInfo Public

    Mac application displaying the remaining battery charge in hours/minutes.

    Go