Skip to content


@ethereum @ZeroKnowledgeLabs @celestiaorg @weiroll
Block or Report

Block or report mattdf

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Hi there 👋

I work on Ethereum and Ethereum-adjacent protocols, and have an interest in formal methods and cryptography.

Currently working on tooling to help write more secure smart contracts.

mattdf's github stats


  1. Ethereum Payment Channel in 50 lines of code

    Solidity 198 58

  2. Alloy models for decentralized protocols

    Alloy 7

  3. RingCrypto Public

    Ring signature related implementations for ethereum

    Solidity 22 1

  4. vim-yul Public

    Syntax files for Yul

    Vim Script 17 1

  5. Know if a call is from an EOA no matter what

    Solidity 30 1

  6. Extension to ERC721 for capital efficient NFT loans without default/collateral risk

    Solidity 25 5

90 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 2022

mattdf has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.