RAILGUN Smart Contract Review

Summary

RAILGUN contributors set of contracts represents functionality for the private balances keeping empowered with Merkle trees and snarks verifications. Audited contracts are well-structured, have very high code quality and are completely documented. There were no critical issues found. The functionality is sufficiently covered with unit-tests, which were also verified by auditors team. Auditors have carefully checked business logic, access control, verification process, tokens usage and other security factors. Few issues present in the report are connected to the Solidity best practices and do not influence contract security.

Project

RAILGUN

Multi-Chain