STASIS provides a full-service tokenization platform, including smart contract creation, third-party audits, custodial services, and deep expertise in the current regulatory environment. Their services range from all forces that affect digital assets — from technology to corporate structure to government and public relations.
To pull together their ecosystem, STASIS created a community with licenced financial intermediaries, law firms, and a top global accounting firm. Each entity contributes their particular expertise which leads to a tokenization framework ensuring digital assets mirror their off-chain counterparts long term. Despite the ever changing regulatory and economic environments, assets stay in “stasis” — the same.
To further their project and protect data for a safe tokenization platform, STASIS partnered with CertiK, the leader in blockchain security, to audit their contracts with Formal Verification and ensure correctness. With digital assets central to STASIS, CertiK is proud to offer our security audit to ensure the success and safety of the project at large.
CertiK is proud to work with the STASIS and the STASIS Foundation on such an ambitious, scaling project.
The auditing was conducted by CertiK’s team of experienced security engineers and consultants, and was conducted utilizing CertiK’s Formal Verification Platform, Static Analysis, and Manual Review.
Overall, the team found STASIS code to follow good practices. With the delivery of the audit report, CertiK concludes that the contract is not vulnerable to any classically known anti-patterns or security issues.
CertiK would like to congratulate the STASIS team for passing the rigorous verification process and wishes them luck on their project at large.
CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. Incubated by Binance Labs, Certik has strategic partnerships with the world’s leading crypto exchanges such as Binance, OKEx, and Huobi, as well as protocols such as NEO, ICON, and QuarkChain.
CertiK’s formal verification method works differently than traditional testing approaches: rather than working manually, CertiK mathematically proves blockchain ecosystem and smart contracts are hacker-resistant and bug-free at scale. CertiK has secured over $4B in asset value, auditing several projects across all major protocols, including BNB, Terra, Crypto.com, and TUSD.