PRBMath: A Smart Contract Library for Fixed Point Math

on YouTube ↗14m

" summary

Library implements 18‑decimal fixed point math (log/exp/power/sqrt, mulDiv with improved rounding), uses Solidity 0.8 features and custom errors, and targets DeFi use cases. Tests show 1,400 tests and 96% coverage, npm sees >1,000 weekly downloads. Gas: sqrt ranges ~114–846, power can reach ~24,000. Precision: complex power/exp loses precision to about ~12 decimals in worst cases. Plans include migrating to Foundry and adding a user‑defined value type for stronger type safety.

AI-written summary · about

" chapters (3)

1. 0:00Intro
2. 0:30PRBMath
3. 8:37QA

" related talks

• 22mPRBMath: A Modern Smart Contract Library for Fixed-Point MathPaul Razvan Berg · code.talks 2022
• 25mCommSec D2 - Smart Contract (In)SecurityBen Schmidt · Hack In The Box Amsterdam 2018
• 06mTezDev Paris 2022 - Frank HillardFrank Hillard · TezDev Paris 2022
• 21mSolType: Refinement Types for Arithmetic Overflow in SolidityYu Feng, Benjamin Mariano, Isil Dillig, Shuvendu K. Lahiri, Bryan Tan · SPLASH 2022
• 48mWhy Writing Blockchain Applications is Hard, and How FP Can HelpFrançois René Rideau · LambdaConf 2019
• 51mA Deal with the Devil: Breaking Smart ContractsDavid Wong, Mason Hemmel · Black Hat Asia 2018
• 30mMempool Primitives: A New Class of Money LegosMatt Cutler · ETHDenver 2021
• 34mCost Analysis of Smart Contracts via Parametric Resource AnalysisManuel Hermenegildo · SAS 2020