Зашифрованные против zk Умных Контрактов Доказательства с нулевым разглашением и Полная Гомоморфная Шифровка решают вопросы конфиденциальности в блокчейнах с разных сторон. Понимание различий важно, чтобы не путать их. Zk-Умные Контракты (проверка без раскрытия) Доказательства с нулевым разглашением позволяют доказателю убедить проверяющего в том, что вычисление или утверждение верно, не раскрывая исходные данные. Во многих zk рабочих процессах тяжелые вычисления или чувствительные данные остаются вне цепочки, а zk доказательство отправляется в цепочку для подтверждения правильности. Эта модель мощна, когда цель состоит в том, чтобы опубликовать небольшое, проверяемое утверждение о большом частном вычислении. Зашифрованные Умные Контракты (вычисления при зашифрованных данных) Полная Гомоморфная Шифровка (FHE) позволяет произвольные вычисления непосредственно над шифротекстами, так что полученный шифротекст, после расшифровки уполномоченной стороной, соответствует результату тех же вычислений над открытым текстом. Проще говоря, FHE позволяет системам вычислять, не раскрывая входные данные. Исходная конструкция FHE и идея бутстрэппинга принадлежат Крейгу Джентри (2009), который заложил теоретическую основу для последующей практической работы. Подход @zama_fhe использует FHE, чтобы предоставить эту возможность для умных контрактов, позволяя разработчикам писать контракты на Solidity с использованием библиотеки FHE (fhEVM), хост-цепочки излучают указатели и события, а внецепочные сопроцессоры выполняют работу FHE и хранят шифротексты. Протокол специально разработан так, чтобы зашифрованные вычисления были проверяемыми и организованными, а не скрытыми.