Аудит смарт контрактов проекта Paygine.

###### Сайт проекта: https://paygine.com/

###### Репозиторий с кодом: https://github.com/bobomurod/paygine

Версия контрактов, для которых проводился аудит: https://github.com/bobomurod/paygine/tree/1d6597b74c18ecf14587209615ee5cc73f2c0d03

## Классификация выявленных проблем

##### КРИТИЧНЫЕ — возможность кражи эфира/токенов или их блокировки без возможности восстановления доступа или иной потери эфира/токенов, причитающихся какой-либо стороне, например дивидендов.
##### СЕРЬЕЗНЫЕ — возможность нарушений работы контракта, при которых для восстановления его корректной работы необходима модификация состояния контракта вручную или его полная замена.
##### ПРЕДУПРЕЖДЕНИЯ — возможность нарушения запланированной логики контракта или возможность организации DoS-атаки на контракт.»
##### ЗАМЕЧАНИЯ — все остальные замечания.

## Методика аудита
Код контракта просматривается вручную на наличие известных уязвимостей, ошибок в логике, соответствие WhitePaper. При необходимости на сомнительные моменты пишутся юниттесты.

## Выявленные проблемы

### [КРИТИЧНЫЕ]
— не выявлено

### [СЕРЬЕЗНЫЕ]
— не выявлено

### [ПРЕДУПРЕЖДЕНИЯ]
— не выявлено

### [ЗАМЕЧАНИЯ]

1. https://github.com/bobomurod/paygine/blob/1d6597b74c18ecf14587209615ee5cc73f2c0d03/contracts/PGC_token.sol#L186
Токены можно сжечь только с точностью до целых.