Как использовать возможности zksnarks Ethereum?

Полный ответ занял бы много времени и места, и общая ситуация сейчас такова, что нет простого способа использовать прекомпиляции zkSNARK.

Общая схема выглядит следующим образом:

1. Создайте схему, используя библиотеку гаджетов libsnark.
2. Создайте ключ проверки и проверки и экспортируйте ключ проверки в контракт, как в примере Кристиана Рейтвиснера.
3. Создание доказательств с помощью libsnark
4. Отправить доказательства к контракту

Это оставляет много деталей, но трудно найти хороший пример, который проходит через все шаги.

В качестве альтернативы вы можете попробовать использовать ZoKrates , который предоставляет язык высокого уровня, который компилируется в zkSNARK для Ethereum. Это делает его довольно простым в использовании, но большая проблема заключается в том, что язык далеко не так выразителен, как C++, используемый в libsnark, поэтому создание таких вещей, как операции SHA3 или EC, нецелесообразно.

Я бы рекомендовал сначала попробовать ZoKrates, а затем перейти к libsnark, если вам нужны более продвинутые функции.