Песимістичні докази: наступний крок ZK tech чи просто цинізм?

Succinct Labs і Polygon Labs спільно розробили новий тип доказу з нульовим знанням (ZK), відомий як песимістичний доказ.

Розроблені з використанням SP1 — віртуальної машини ZK (zkVM), створеної Succinct Labs — песимістичні докази гарантують, що жоден ланцюжок не зможе скомпрометувати депозити інших у мережі AggLayer.

У розмові з Cointelegraph представник Polygon розповів, як песимістичні докази SP1 запобіжать зловмисникам скомпрометувати систему.

«Песимістичний доказ забезпечує безпеку між ланцюжками, гарантуючи, що кожен ланцюг створює свій новий стан правдиво, перевірений за допомогою ZK-proof або механізму консенсусу. Це також гарантує, що жоден ланцюг не може вилучити більше токенів, ніж внесено, як забезпечується обліковим записом на рівні ланцюга. У майбутньому, коли AggLayer підтримуватиме ланцюжки, відмінні від ZK, дизайн залишиться незмінним».

За темою: співзасновник Polygon Labs Сандіп Нейлвал бере на себе нову роль ZK

На запитання, як інтеграція SP1 із Rust і Plonky3 допомагає розробникам, представник Polygon сказав Cointelegraph:

«Plonky3 — це набір інструментів, який розробники ZK використовують для створення нових систем перевірки, нових zkVM тощо, а SP1 — це загальна zkVM з відкритим кодом, яка спрощує розробку ZK — побудована на Plonky3. SP1 дозволяє перевірено виконання Standard Rust (або будь-якої мови, скомпільованої LLVM), тобто розробникам не потрібно писати програми з власними схемами ZK. Це призводить до значно швидшого часу розробки ZK».

Обговорюючи майбутні плани щодо SP1 і Plonky3, представник Polygon сказав Cointelegraph:

«SP1 є прикладом того, чому відкрите програмне забезпечення цінне разом. Саме це дозволило Succinct Labs створити за допомогою Plonky3, щоб прискорити розробку SP1. Створений дослідниками з Polygon Labs, Plonky3 з відкритим вихідним кодом дозволяє будь-кому повторювати, створювати або робити внесок у цю технологію».

У нещодавньому інтерв’ю Cointelegraph поговорив із співзасновником Polygon Бренданом Фармером про наслідки AggLayer і технології ZK. Після опису AggLayer як «децентралізованого протоколу, який керується вузлами, що працюють із розбитими вузлами» в публікації Mirror, Фармер приєднався до нас, щоб глибше зануритися в основи «Тези про агреговані блокчейни».

Описавши AggLayer як «децентралізований протокол, який керується вузлами, що поділяються» в дописі Mirror, Фармер приєднався до нас, щоб глибше зануритися в основи «Тези про агреговані блокчейни».

Стосовно ZK tech Фармер сказав, що вважає, що «перегляд фінансової конфіденційності буде дуже важливим протягом наступних кількох десятиліть».