PRBMath: A Modern Smart Contract Library for Fixed-Point Math

on YouTube ↗22m

" summary

Library adds 18-decimal fixed‑point math to Solidity 0.8 with ready implementations of logarithms, exponentials, pow, sqrt and a binary exponent, plus a ud60x18 type and 10^18 scaling. It reimplements a mulDiv-style overflow-avoiding routine so intermediate products never revert, uses custom errors to cut revert gas ~10x, and ships an AMM formula proof-of-concept. Test suite totals 1,400 tests with about 96% coverage and reports only minor rounding edge cases after long use.

AI-written summary · about

" chapters (10)

1. 0:00Start
2. 2:22What is Solidity?
3. 3:16What is the Problem?
4. 5:53Example Projects
5. 10:21Basic Features
6. 10:38Advanced Features
7. 11:03Simple Numbers
8. 15:42Solidity v0.8 Features
9. 18:16Developer Experience
10. 19:43Testing and Security

" related talks

• 14mPRBMath: A Smart Contract Library for Fixed Point MathPaul Razvan Berg · Solidity Summit 2022
• 31m“Multi-Precision Arithmetic for Cryptology in C++, at Run-Time and at Compile-Time”Niek J. Bouman · CppCon 2018
• 21mSolType: Refinement Types for Arithmetic Overflow in SolidityYu Feng, Benjamin Mariano, Isil Dillig, Shuvendu K. Lahiri, Bryan Tan · SPLASH 2022
• 16mSpain: Succinct Proofs for Numerical ComputationsMichael Walfish, Zachary DeStefano, Noah Golub, Zile Huang, Julius Zhang, Sam Frank · 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26)
• 26mSolType: Refinement Types for Arithmetic Overflow in SolidityYu Feng, Benjamin Mariano, Isil Dillig, Shuvendu K. Lahiri, Bryan Tan · POPL 2022
• 01h 07mProofs - Practice 2Justin Thaler · Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025
• 25mCommSec D2 - Smart Contract (In)SecurityBen Schmidt · Hack In The Box Amsterdam 2018
• 18mAll the things I wish (native) Solidity would let me doHadrien Croubois · Solidity Summit 2025