Project Background

• The BTC smart contract, when wrapped, inherits multiple contracts with varying functions:
  • CanReclaimToken: The contract is expected to be capable of recovering tokens.
  • Claimable: This enables the new owner to accept the transfer.
  • BurnableToken: A token that can be permanently destroyed.
  • MintableToken: The ERC20 token is a simple and mintable option for generating digital currency.
  • PausableToken: The StandardToken has been modified with the ability to make pausable transfers.
  • StandardToken: The implementation of the basic standard token.
  • BasicToken: The StandardToken is a basic version of the cryptocurrency, without any allowances.
• Overall, this contract allows for the creation of Theta tokens with additional features for controlling token transfers, minting new tokens, and managing pre-circulation before a specified unlock time.

Website: wbtc.network

Executive Audit Summary

• According to the standard audit assessment, the Customer`s solidity smart contracts are “Secured”.  Also, these contracts contain owner control, which does not make them fully decentralized.
• We used various tools like Slither, Solhint and Remix IDE. At the same time this finding is based on critical analysis of the manual audit.
• We found 0 critical, 0 high, 0 medium,  0 low and 4 very low-level issues.

Audit Report in PDF

Audit Report Flip book