Математика не требует, чтобы вы ей верили 🔍 $ZEC вывела zk-SNARKs в мейнстрим задолго до того, как большинство крипты поняло, что именно они значат, позволяя доказать, что транзакция была валидной, не раскрывая, что в ней находится. $ADA пошла другим путём к тому же уровню уверенности: укрепляла свою репутацию за счёт исследований, прошедших рецензирование, и формальных методов, которые доказывают, что код делает то, что заявлено, ещё до того, как он будет выпущен. Оба проекта отвечают на один и тот же фундаментальный вопрос. Как заставить людей доверять программному обеспечению, не прося их верить людям, которые его написали. Большинство цепочек отвечает на него брендом и послужным списком — это работает, пока не перестаёт. Midnight взяла сторону zk-SNARKs в этом ответе и построила вокруг него целый слой смарт-контрактов. Kachina — это протокол, работающий под капотом Compact, языка смарт-контрактов Midnight, и он гарантирует корректность изменений состояния программы, сохраняя при этом само состояние приватным. Доказательство передаётся вместе с транзакцией, и любой оператор ноды может независимо его проверить, не полагаясь на чьи-то рассказы о том, что произошло. Такая проверка работает одинаково с тех пор, как заработал федеративный мейннет — он запущен 31 марта и с тех пор обеспечивает каждую приватную транзакцию в сети. Приватная цепочка хороша ровно настолько, насколько хороша лежащая под ней математика, и я думаю, что именно это — тот элемент дизайна Midnight, который делает свою работу с минимумом заслуг. #Privacy #ZK#