The audit covered both smart contracts and ZK-Rollup circuits, with the results being overwhelmingly positive, identifying no major vulnerabilities or active critical issues. Full reports have been released for both Solidity and Circuit. The first round of auditing was completed by CertiK in 2021, and can be found https://skynet.certik.com/projects/zklink#audit “We applaud the robustness of zkLink’s smart contracts and circuit design, which demonstrates their dedication to security and the ov...