Зашифровані vs zk смарт-контракти Докази з нульовим розголошенням і повністю гомоморфне шифрування дозволяють вирішити питання конфіденційності в блокчейнах з різних сторін. Розуміння різниці важливе, щоб не переплутати обидва. Zk-смарт-контракти (верифікація без викриття) Доведення з нульовим розголошенням дозволяють досліднику переконати верифікатора в правильності обчислень або твердження, не розкриваючи вхідні дані, що лежать в їх основі. У багатьох робочих процесах zk важкі обчислення або конфіденційні дані залишаються поза ланцюгом, доказ zk надсилається в ланцюжку для підтвердження правильності. Ця модель є потужною, коли метою є публікація невеликого, перевіреного твердження про більші приватні обчислення. Зашифровані смарт-контракти (обчислюються, поки дані залишаються зашифрованими) Повністю гомоморфне шифрування (FHE) дозволяє проводити довільні обчислення безпосередньо над шифротекстами, так що отриманий зашифрований текст, після розшифрування авторизованою стороною, збігається з результатом того ж обчислення на відкритому тексті. Простіше кажучи, FHE дозволяє системам обчислювати, навіть не виявляючи вхідні дані. Оригінальна ідея будівництва та початкового завантаження FHE завдячує Крейгу Джентрі (2009), який заклав теоретичну основу для подальшої практичної роботи. Підхід @zama_fhe використовує FHE для впровадження цієї можливості в смарт-контракти, за допомогою яких розробники записують контракти на Solidity за допомогою бібліотеки FHE (fhEVM), Хост-чейни випромінюють покажчики та події, а позаланцюгові співпроцесори виконують роботу FHE та зберігають шифротексти. Протокол спеціально розроблений таким чином, щоб зашифровані обчислення можна було перевірити та організувати, а не приховати.