Докази ZK революціонізують криптовалюту та роздувають его. Усі стверджують, що мають єдину систему справжнього доказу, але застосування — це найважливіша частина, докази тепер стали товаром. Також: якщо новий zk proof компанії починається на 'h' або 'hyper', вони відмовилися від свого старого бога заради сумної перевірки

Sum-check — це підхід ZK, настільки старий, що ніхто в Twitter не стверджує, що він його винайшов. Джастін Талер зробив своє ім'я, підкреслюючи, що це насправді корисно. Можливо, він правий ... або створення нового культу. Але проєкти переходять до сумівної перевірки, іноді прикидаючись, що це їхній старий вигаданий бог...

Гаразд, досить алегорій. SNARK представляють програми як многочлени. Сумна перевірка використовує багатовимірні многочлени, наприклад, P(x,y) = x^2+2y. Ще більш заплутано, що стиль найменування «h» і «гіпер» походить від многочленів, що утворюють булевий гіперкуб. Вишуканий спосіб сказати, що кожна змінна дорівнює 0 або 1.

Уявіть це як комп'ютери: комп'ютери працюють у двійковій системі, а не в десятидесяти, оскільки деякі поширені операції ефективніші при розбиванні бітів за бітами, а не цифра за цифрою. Sum-check робить щось подібне для програм, які доводять, що вони задоволені.

Однією з переваг цього підходу, яка не є унікальною для сумної перевірки (див., наприклад, схеми складання), є стрімінг. Для багатьох систем доказів з великим навантаженням на FFT/на основі хешу, потрібно вмістити всю заяву, яку ви доводите, у пам'ять. Працює добре для дрібних речей, але максимум швидко розбирає ноутбук.

Це обмеження обмежує вас великими серверами, куди кожен має надсилати свої дані для підтвердження. Не дуже Zk серед них. Він корисний для роботи з величезним сміттєвим пресом (тобто централізованим згортанням), але не працює для приватності на стороні клієнта, а саме на це зараз і дивиться ринок.

Як я вже казав, sum-check — не єдина стрімінгова схема. Є ще складання. Важка праця, вкладена у створення всіх цих схем ZK, також зробила їх справжнім товаром. Обирай те, що тобі потрібно, і зосередься на застосуваннях. Не поклоняйтеся системі доказів чи команді. Внутрішньо команда цього не робить