Smart Contracts Audit for High Security of Digital Currencies