PaulRBerg / prb-math

Solidity library for advanced fixed-point math
MIT License
882 stars 125 forks source link

Audit report #197

Open PaulRBerg opened 1 year ago

PaulRBerg commented 1 year ago
CanonicalJP commented 3 months ago

@PaulRBerg, I can work on this one. However, I didn't find records of any reviews made by Cantina. Was it a private one not yet published?

PaulRBerg commented 3 months ago

Hey @0xJayPi, thanks for offering to help.

PRBMath was included in the Sablier audit undergone by Cantina in June 2023:

https://github.com/sablier-labs/audits/blob/6567df3fa42b90663e3e694b1e776c6db337a3f2/v2-core/cantina-2023-06-08.pdf

And there was also this report published by Certora:

https://x.com/CertoraInc/status/1679460671535169537

CanonicalJP commented 3 months ago

That's great @PaulRBerg, I can take care of it