Skip to content
View pegahcarter's full-sized avatar
💙
💙

Organizations

@DeFiSafety @meTokens

Block or report pegahcarter

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.

Content in all repositories owned by your account will be closed.
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
pegahcarter/README.md

Carter Carlson

Senior Software Engineer

I have shipped production systems for 5+ years, including a DEX that I co-authored and that grew to over $1B in TVL. I write Solidity, TypeScript, Python, Rust, Go and Bash, and I pick up a new language or runtime when the work needs it. I also have a background in formal security auditing and test-driven development.

Languages: Solidity · Yul · TypeScript · JavaScript · Python · Rust (Anchor) · Go · Bash · SQL · Move

What I've built

DEX

  • Velodrome v2 contracts: the core contracts of Velodrome, a DEX on Optimism. I co-authored and deployed them, designed the NFT-based governance, and wrote the unit, integration, E2E and fuzz test suites in Foundry. Aerodrome on Base is built from the same codebase. Solidity

Multichain infrastructure

  • Frax crosschain tokens: Frax's LayerZero tokens on EVM chains, Solana and Aptos. I led this work and wrote the core contracts of Hop V2, a bridge that routes tokens through a hub on Fraxtal. Solidity, TypeScript
  • Solana deployment: deployed Frax's Anchor OFT program to Solana and wrote the first TypeScript ops tasks that configure and run it. Rust (Anchor), TypeScript
  • Aptos deployment: peer-reviewed the Move deploy and wiring code. Move
  • frax-tron: FRAX, sFRAX and FXS as TRC-20 tokens on Tron, with Fraxferry bridges to Fraxtal and a Tron multisig. Sole author. Solidity, TypeScript

Lending and bonds

  • FXB: zero-coupon bonds sold by gradual Dutch auction. Lead engineer. Solidity
  • BAMM: oracle-free lending on Fraxswap. Core engineer. Solidity

L2

  • Fraxtal: an OP-Stack L2. Core engineer. I upgraded its OP-Stack protocol contracts and maintained live protocol upgrades. Solidity

Protocol built from zero

  • meTokens: built the protocol from zero with the founder, using EIP-2535 Diamonds and Bancor bonding curves. I wrote the TypeScript test suites and deploy scripts and led code review. Solidity, TypeScript

Security and developer tooling

  • forge-attest: a GitHub Action that proves a queued Safe transaction is byte-for-byte the output of a pinned Forge script. Part of crossecute, a protocol for running one multisig across many chains. Bash, Solidity
  • Frax development standards: I wrote Frax's published standards for PR review, scripted deploys, script-driven tests and upgrade safety, and added AI PR review across Frax's repos.
  • Auditing: auditor at RaidGuild since 2020, on engagements for Valorem, MetaStreet and METL, among others. Before that, security research intern at Consensys Diligence, where I co-wrote the weekly security newsletter and shadowed full audits.

Trading and data (earlier work)

  • TAcharts stars: a Python library for technical analysis and charting of OHLCV data, built on pandas, NumPy and matplotlib. Python
  • rebalance stars: rebalance and backtest a crypto portfolio, with a React frontend and Python backtesting. JavaScript, Python

Results

  • $250M+ moved across chains on Frax's LayerZero tokens, with multisig operations cut from O(n) to O(1).
  • $40M+ of FXB bonds issued in 18 months.
  • $100M+ of TVL migrated into Velodrome v2.

Average combined TVL: $690.6M (last 3 years)

Live TVL and token stats (updated daily)

TVL of protocols I engineered

TVL over time for Aero and Fraxtal
Protocol TVL now* 3-year average* Peak TVL*
Aero $367.2M $578.8M $1.35B (Dec 2024)
Fraxtal $166.5M $192.4M $281.2M (Jul 2025)

*Fetched 2026-10-26 19:05 UTC. See the update script for details.

Tokens I developed

Protocol tokens

Token Chain Market cap* Peak market cap* Contract
veAERO Base $565.3M $1.50B (Dec 2024) 0xeBf4…e6B4
veVELO Optimism $27.0M $242.0M (Dec 2024) 0xFAf8…787d

Frax LayerZero OFTs**

Token Market cap* Peak market cap*
frxUSD $99.5M $140.1M (May 2026)
sfrxUSD $39.1M $46.1M (Apr 2026)
frxETH $141.1M $1.20B (Mar 2024)
sfrxETH $99.7M $856.0M (Mar 2024)
FRAX (WFRAX, formerly FXS) $24.6M $226.9M (Sep 2025)

**Contract addresses on every chain: Frax docs.

FXB bonds

Bond Chain Maturity Value Issued* Contract
FXB_20240630 Ethereum 2024-06-30 $4.3M 0x0dE5…df1e
FXB_20241231 Ethereum 2024-12-31 $4.7M 0xF8FD…6F09
FXB20251231 Fraxtal 2025-12-31 $3.6M 0xacA9…C6CA
FXB_20261231 Ethereum 2026-12-31 $6.0M 0x7623…4ff3
FXB20271231 Fraxtal 2027-12-31 $4.3M 0x6c9f…A818
FXB20291231 Fraxtal 2029-12-31 $12.7M 0xF1e2…2153
FXB20551231 Fraxtal 2055-12-31 $13.6M 0xc381…EA83

*Fetched 2026-10-26 19:05 UTC. See the update script for details.

Design

Frax crosschain hub: architecture diagram of Frax token flows across chains
Frax crosschain hub architecture diagram
FXB bonds: architecture diagram of the FXB zero-coupon bond system and Bonds AMO auctions
FXB bonds and Bonds AMO architecture diagram
BAMM: overview, lender and borrower flow diagrams
BAMM architecture overview

Lenders
BAMM lender flow

Borrowers
BAMM borrower flow

How I work with AI

Pinned Loading

  1. crossecute/forge-attest crossecute/forge-attest Public

    Verifiable provenance for Gnosis Safe transactions built by Forge scripts.

    Shell

  2. FraxFinance/frax-oft-upgradeable FraxFinance/frax-oft-upgradeable Public

    Frax <> LayerZero Upgradeable OFTs

    Solidity 2 6

  3. velodrome-finance/contracts velodrome-finance/contracts Public

    Velodrome Finance v2 Smart Contracts

    Solidity 65 47

  4. FraxFinance/hop-v2 FraxFinance/hop-v2 Public

    Solidity 5

  5. meTokens/meTokens-core meTokens/meTokens-core Public

    🎛 Core smart contracts for meTokens

    TypeScript 7 3

  6. TAcharts TAcharts Public

    Apply popular TA tools and charts to candlestick data with NumPy.

    Python 154 34