Каждое утверждение поставляется со своим собственным доказательством 🔍

$XMR сохраняет конфиденциальность транзакции, смешивая её с толпой подставных выходов и используя кольцевые подписи, скрывая, какая из них является реальной.

Такая приватность хорошо защищает отдельный перевод. Проверить, что именно сделал смарт-контракт при запуске, — это уже совсем другая задача.

Cardano построила собственное доверие на похожей идее: $ADA смарт-контрактов проходят формальные, рецензируемые математические доказательства, прежде чем их отправляют в работу, чтобы код делал именно то, что заявлено.

Midnight объединяет оба подхода с помощью протокола Kachina и zk-SNARKs, так что выполнение смарт-контракта подтверждается математикой, которая «путешествует» вместе с самой транзакцией.

Любой оператор узла может независимо verificationcheck проверить это доказательство и убедиться для себя, что произошло.

Математика зависит только от собственного протокола Midnight, который держит всё в порядке и поддаётся проверке любым, кто запускает узел, а не от чьих-то слов.

#Privacy #ZK