Мені здається, я нарешті зрозумів Dory PCS. Трохи поговорю про це. Ідея в тому, що ми починаємо з куленепробивних матеріалів. У БП верифікатор повинен «повірити», що виконавець правильно складає лівий і правий генератори, і використовує відповідну комбінацію L+альфа R для наступного раунду. Щоб вимовити цей звук, V робить лінійне поєднання часу в кінці. Дорі каже - коли у нас є група сполучення, ми можемо *внести зобов'язання в попередню обробку* до L та R у цільовій групі сполучення, і таким чином перевірити обчислення коміту до L+альфа R. Це в кінцевому підсумку дозволяє уникнути лінійного поєднання часу. До сих пір це прибрало обчислення лінійного часу V, але ми припускаємо сполучення, тому принаймні по модулю довірена установка, може так само добре використовуватися KZG, і мати постійний час V. Таким чином, щоб надати більшого «сплеску», Дорі поєднує цю ідею з двосторонніми зобов'язаннями, які можливі з парами (відомі ще зі старої статті Ейба та ін.) Це означає, що ваш полі розглядається як матриця, зобов'язуйтеся дотримуватися кожного рядка в G1, а потім зобов'язуйтеся виконувати зобов'язання в G_t Ця комбінація дає логарифмічний верифікатор, доказ відкриття sqrt і розмір зобов'язань const