22 июля 2018

Математическая верификация платформы Certik

CertiK работает над математической проверкой смарт-контрактов. В результате дорогостоящих и критических ошибок инвесторы проявляют к ним большой интерес. Платформа смарт-контракта и верификации блокчейн Certik получила большой толчок от «NEO Global Capital (NGC)», который сделал многомиллионные инвестиции в платформу. NEO сама по себе известна, как ведущая компания по продвижению альткоинов и блокчейна, конкурирующая в функции масштабируемости и цифровой идентификации. В качестве дочерней компании, NEO часто инвестирует в другие запуски блокчейна такие, как платформа Moonlight и смарт-контрактная платформа Zilliqa.

Ошибки в смарт-контрактах могут быстро привести к взломам и эксплойтам. Самое печальное, что ошибка в DAO, привела к краже $50 миллионов. Совсем недавно в смарт-контрактах была обнаружена ошибка, связанная с токенами ERC-20, что привело к тому, что привело к временному закрытию бирж в апреле. CertiK не одинок в решении этой проблемы, Quantstamp и Zeppelin являются близкими конкурентами. Хотя некоторые ошибки могут быть отсеяны вручную, прежде чем деньги будут украдены, очевидно, что платформы в этом ключе будут полезны.

Источник: bitrates.com

Подпишитесь
на социальные сети