ребята. Я слышал о доказательстве ZK (нулевое знание), которое было выпущено на хардфорке Ethereum Byzantium. Не могли бы вы рассказать мне, пожалуйста: как я могу использовать его для обеспечения анонимной транзакции токена ERC20. Могу ли я использовать его в смарт-контракте Ethereum на основе Solidity или мне нужно дождаться полной реализации?
Заранее благодарю! :)
Насколько мне известно, это пока невозможно. Единственный прогресс, достигнутый в отношении ZK в Ethereum, — это проверка транзакции, выполненной в блокчейне Zcash. Другими словами, да, вам нужно дождаться полной реализации.
Доказательства с нулевым разглашением теперь вполне возможны в Ethereum. Zokrates, Snarky, Aztec и т. д. поддерживают реализации ZKP на основе стандарта ZKSnark. В смарт-контракте Ethereum будет выполняться проверка в сети для каждого доказательства, сгенерированного доказывающим вне сети. Таким образом, мы можем использовать комбинацию ZK Snarks и Pedersen Commitments в Ethereum. Недавно ING предпринял попытку использовать пуленепробиваемую модель ZK Snarks без надежной настройки на Ethereum. В качестве простого подхода вы можете использовать библиотеки JavaScript Circom и Snarkjs в качестве модулей npm для создания доказательств и проверки их в цепочке с использованием смарт-контрактов и случайных оракулов.
Поддающийся проверке компилятор ZKP
