VIS Token Smart Contract Audit by Certik

Envision, the pioneering Web3 solution dedicated to stock content that aims to disrupt the stock content market with blockchain technology, chose to perform its smart contract audit with CertiK, the leading auditing platform for smart contract and blockchain audits, ensuring that its token is protected against some of the most critical vulnerabilities. With a platform that will be used across the world, Envision placed an extra emphasis on security, transparency and innovation, making CertiK a clear choice.

LCX has developed Envision’s utility token smart contract and acted as a Token Generator in accordance with the Blockchain Laws (TVTG) Liechtenstein. According to the Liechtenstein Blockchain Laws, the Trusted Technology Token Generator is one of the registered and regulated roles. LCX is approved and registered to perform this role. The Token Generator is a critical component for any compliant token sale.  You can find more information about the VIS Token. 

The audits conducted by CertiK are rigorously verified with Formal Verification, the pinnacle of source code validation. By leveraging rigorous mathematical theorems, Formal Verification goes beyond checking for bugs and vulnerabilities, checking for compliance with a program’s specification, computing all possible scenarios, and proving that certain vulnerabilities cannot exist.