We’re extremely excited to announce our new proprietary, superior cutting-edge auditing technology: Tenset Cyberstorm.

It’s our security audit’s secret sauce that we believe will massively disrupt the cryptocurrency and blockchain security landscape. Cyberstorm combines the finest auditing tools available today with our exclusive tooling inspired by the latest academic research. It draws from technologies like Artificial Intelligence, Machine learning, model based testing, static analysis, symbolic execution, flow analysis, and differential testing.

We called it Cyberstorm because it brings a massive storm upon an audited smart contract and, like a literal storm, exposes everything that stands in its way. We also believe it plays nicely with Tenset’s approach to burn and bring destruction upon everything (or at least, the 10SET token 😄).

If you have been paying attention to what’s going on with AI right now, it’s wild. AI has gotten so advanced, people are now spending entire weekends talking with it instead of watching Netflix. OpenAI’s recent chat feature crossed 1 million users in just 5 days. There's no doubt incorporating AI into Cyberstorm will make a huge difference and pave the way for how we conduct security audits.

Model based testing is another fascinating approach that has been used by the greatest engineers at Google to find bugs in their database that would have been otherwise impossible to detect by humans. If you happen to use Spotify, their engineers also used model based testing to detect and fix bugs in the playlist queue algorithm. Despite its phenomenal track record of success, model based testing remains a niche approach and we’re proud to be incorporating it into the Cyberstorm.

So, how will a Tenset Cyberstorm security audit differ from an ordinary one? Usually security audits utilize manual reviews with static code analysis (relatively simple automated tooling). With Cyberstorm security audit, the code will be reviewed manually by highly-skilled auditors and attacked by Cyberstorm from every direction and every angle, detecting lots of vulnerabilities. Next, those findings will further guide auditors with their reasoning about the code, reinforcing and enhancing the outcome of the audit. It’s like heading to war with a handgun vs. heading to war with an entire army and artillery.

This new technological advancement gives Tenset unparalleled advantage on the market, inspires tremendous confidence in audited smart contracts, and sets Tenset apart as one of a kind.