• Contest Details
  • Prize Pool
  • Stats
• Math Master
• About
• Getting Started
  • Requirements
  • Quickstart
• Usage
  • Testing
    • Test Coverage
• Audit Scope Details
  • Compatibilities
• Roles
• Known Issues

• High - 100xp

• Medium - 20xp

• Low - 2xp

• Starts: January 25, 2024 Noon UTC

• Ends: February 02, 2024 Noon UTC

• nSLOC: 46
• Complexity Score: 276

This codebase was inspired by the solady, obront.eth, and solmate codebases. Huge thanks to karma for the help on FV with Halmos.... which may be a hint.

We will teach how to do Formal Verification and assembly in the upcoming Cyfrin Updraft course.

Welcome to the future of web3! We, the math MASTERS are titans of the algebraic and gas efficient. We have created a small library called MathMasters where we have the following functions/terms defined:

• WAD: fixed point decimal with 18 decimals (for basic quantities, e.g. balances)
• mulWad: Equivalent to (x * y) / WAD rounded down.
• mulWadUp: Equivalent to (x * y) / WAD rounded up.
• sqrt: Returns the square root of x.

We hope that people will use our hype optimized functions to make better codebases.

We are especially concerned with any function doing something "weird" at the EVM/assembly level. We would consider any of the following a valid LOW severity rating:

• Incorrect storage slot packaging
• Overriding the solidity free memory pointer
• Any out of gas errors
• Incorrect use of function selectors

We expect any solidity project using version ^0.8.3 or above should be able to use our codebase. If not, that should be considered a vulnerability as well.

This is a great chance to test out your fuzzing and Formal Verification skills.

• git
  • You'll know you did it right if you can run git --version and you see a response like git version x.x.x
• foundry
  • You'll know you did it right if you can run forge --version and you see a response like forge 0.2.0 (816e00b 2023-03-16T00:05:26.396218Z)
• Halmos
  • To know you've installed it run halmos --version and you should see something like `halmos 0.1.0 (816e00b 2023-03-16T00:05:26.396218Z)

git clone https://github.com/Cyfrin/2024-01-math-master
cd 2024-01-math-master
make

forge test

forge coverage

and for coverage based testing:

forge coverage --report debug

• Commit Hash:
• In Scope: (For this contest, just use the main branch)

Hash:

• Solc Version: 0.8.3 < 0.9.0
• Chain(s) to deploy contract to:
  • Ethereum
• Tokens:
  • None

None