Not exactly. Using high-level scenarios we guarantee no possibility of some serious malfunction such as spending or acquiring more than planned, magic appearance or vanishing of tokens, smart contract stalling etc.
Accordance of the internal functions and methods to the developed specification. In case the specification is not full or boggy some minor bugs still possible while the prevention of the serious bugs is described at the previous bullet.
We provide the customer with all the sources as well as with the detailed report that can be verified either by the customer themself or by the independent auditor. We are the supplier for the leading player — TON Labs and in the nearest future we plan to get the acknowledge from the leading scholars in the industry.
All standard languages supported by TON Labs compilers with some restrictions. The preferable language is Solidity.
Some restrictions are in place (they are not critical but will dramatically increase cost and time):
It depends on the smart contract but 1-2 months is a good initial estimation.
It highly depends on your contract. Inquire us for the details.
At the moment, no, but in mid-term we plan a special program dedicated to involvement of independent verifiers into the ecosystem.