Beosin Has Completed Security Audit Service of Crypto LEGO ALG: No critical, high or medium risk issues were identified

Project Overview

Audit work duration: April 21, 2022 — April 24, 2022

Audit methods: Formal Verification, Static Analysis, Typical Case Testing and Manual Review.

Audit team: Beosin Technology Co. Ltd.

About Crypto LEGO

Crypto LEGO is a new globalized public Dao organization based on Web3 trend, combining the three leading mechanisms of the current market: DAO + DeFi + GameFi, DAO is the co-construction basis of crypto Lego project, DeFi is the first step to open the ecosystem, and GameFi will continue to expand the ecosystem for crypto Lego project, creating endless value. Crypto LEGO, as a non-profit DAO organization, converts collective consensus into maximum value and maximizes value for DAO members.

Audit Results

After auditing, 1 low-risk and 2 info items were identified in the ALG contract. No critical, high or medium risk issues were found during the auditing process. The final audit results are available in the audit report.

Enter 202204241130 to view the report at https://beosin.com/#/index/service/contracts

Audit Workflow

Beosin has focused on the core security issues such as contract permission control and execution of business logic during the audit process. The auditing workflow is mainly as follows:

  1. Conduct preliminary source code review;

  2. Use Beosin’s self-developed automatic smart contract formal verification platform — VaaS to conduct an in-depth detection of the contract codes in all aspects;

  3. Practical deployment and validation via sandbox simulation;

  4. Manual line-by-line code review by security experts;

  5. Complete the final audit report.

    If you have need any blockchain security services, please contact us:

    Website Email Official Twitter Alert Telegram LinkedIn

Subscribe to Beosin
Receive the latest updates directly to your inbox.
Verification
This entry has been permanently stored onchain and signed by its creator.