ZK-SNARK Определение Свойства ZK-SNARK Системы доказательств PLONKish ZK-SNARK 3.1 Коротко о PLONKish ZK-SNARK и их роли 3.2 Схемы обязательств 3.3 Интерактивное доказательство Oracle 3.4 Эвристика Fiat-Shamir 3.5. Как работают системы проверки PLONKish ZK-SNARK 3.6 Немного о продвинутых аспектах PLONKish ZK-SNARK ВведениеZK-SNARK — это система криптографического доказательства. Это позволяет некоторой сущности доказать, что что-то верно, не раскрывая другой информации. ZK-SNARK полезны в нес...