1/ Нове опитування: Перевірка суми - це все, що вам потрібно. Щойно опублікував опитування про принципи дизайну, що лежать в основі Jolt і fast-prover SNARKs у ширшому сенсі. Це, мабуть, перший випадок, коли всі основні ідеї були записані в одному місці.
2/ Що таке протокол перевірки суми? Це основа найшвидших на сьогоднішній день СНАРКІВ. Інтерактивний доказ, який перевіряє величезну суму з мінімальними накладними витратами. У SNARK це дозволяє доказам використовувати набагато менше даних. Велика частина роботи стає простим додаванням і множенням.
3. Але не всі способи використання перевірки суми є однаковими. Найшвидші СНАРКИ використовують його розумно, використовуючи повторювану структуру, щоб мінімізувати роботу проверача. Ключові методики: – Аргументи оцінки партії – Перевірка пам'яті – Віртуальні многочлени – Розріджені суми перевірок – Збереження невеликої вартості
14,47K