Коли мова йде про системи з нульовим знанням, більшість рішень з часом стикається з одним і тим самим вибором.

zk-SNARKs або zk-STARKs.

Обидва є потужними. Обидва мають свої компроміси.

Для безкінечного шару обчислень, який повинен вивантажити величезні історичні дані поза ланцюг, @brevis_zk прийняли дуже обдумане рішення.

Вони побудували навколо zk-SNARKs.

Чому це важливо:

→ Надзвичайно малі докази зберігають дешевим верифікацію в мережі
→ Швидка верифікація дозволяє майже в реальному часі працювати логіці децентралізованих додатків
→ Інструментарій зрілий і перевірений у бою
→ Ідеально підходить для ефективного підсумовування великих історичних наборів даних

Це дозволяє децентралізованому додатку довести, наприклад,
що користувач виконав 100 обмінів за останні 30 днів
без розкриття яких саме обмінів або будь-яких чутливих деталей

Все стиснуто у доказ довжиною всього кілька сотень байт.

Прості дизайнерські рішення, такі як це, і є те, що робить масштабовані перевіряємі обчислення реально можливими.