Laminar Markets is a DEX that allows for transactions to be executed in parallel. If transactions don't interact with each other, they can be executed in tandem.
Zellic conducted an audit for Laminar from September 27th to October 7th, 2022.
Our general overview of the code is that it was very well-organized and structured. The code coverage was extensive. The documentation was somewhat lacking and could be improved by adding docstring-like information to the functions. The code was easy to comprehend.
We applaud Laminar for their attention to detail and diligence in maintaining incredibly high code quality standards in the development of Laminar Markets.
Zellic thoroughly reviewed the Laminar Markets codebase to find protocol-breaking bugs as defined by the documentation and to find any technical issues outlined in the Methodology section of this document.
Specifically, taking into account Laminar Markets's threat model, we focused heavily on issues that would prevent users from using the orderbook or the orderbook mistakingly mismanaging users' bids and asks.
During our assessment on the scoped Laminar Markets contracts, we discovered four findings of high severity and one of medium severity for a total of five findings.
Additionally, Zellic recorded its notes and observations from the audit for Laminar's benefit in the Discussion section at the end of the document.