Никто не обязан верить словам Midnight 🔍
$XMR защищает приватность с помощью кольцевых подписей и подставных выходов (decoy outputs), смешивая транзакцию с толпой правдоподобных альтернатив.
$ADA заработала свою репутацию отчасти на формальных методах: использовала рецензируемые исследования и математические доказательства, чтобы показать, что код делает ровно то, что обещает, ещё до того, как будет отправлен в релиз.
Midnight развивает эту же идею дальше, применяя протокол Kachina и zk-SNARKs, чтобы сделать приватную проверку выполнения смарт-контрактов возможной для всех. Выход программы становится тем, что любой может проверить с помощью математики самостоятельно.
Доказательство идёт вместе с транзакцией, и любой узел (node) может проверить его независимо на своей стороне.
Каждое доказательство зависит только от собственного протокола Midnight, чтобы выполнить свою задачу.
#Privacy #ZK
$XMR защищает приватность с помощью кольцевых подписей и подставных выходов (decoy outputs), смешивая транзакцию с толпой правдоподобных альтернатив.
$ADA заработала свою репутацию отчасти на формальных методах: использовала рецензируемые исследования и математические доказательства, чтобы показать, что код делает ровно то, что обещает, ещё до того, как будет отправлен в релиз.
Midnight развивает эту же идею дальше, применяя протокол Kachina и zk-SNARKs, чтобы сделать приватную проверку выполнения смарт-контрактов возможной для всех. Выход программы становится тем, что любой может проверить с помощью математики самостоятельно.
Доказательство идёт вместе с транзакцией, и любой узел (node) может проверить его независимо на своей стороне.
Каждое доказательство зависит только от собственного протокола Midnight, чтобы выполнить свою задачу.
#Privacy #ZK
