Недавно мы разобрали особенности проекта Callisto. Одной из них станет независимый аудит смарт-контрактов от нескольких программистов. Он будет гарантировать безопасность кода и уверенность в правильности выполнения описанных в нём условий. Откуда же взялись смарт-контракты и как они работают? Возможно, есть...