📚 Причина, через яку я вивчаю ZK #1: Структурні зміни в компромісах Я BQ розробник. @BQ_Developer Зараз я глибоко занурений у ZK (Zero-Knowledge Proofs). Спочатку я думав, що це просто проста техніка шифрування, Але як тільки я це зрозумів, мій погляд на саму проблему змінився. У наступних кількох статтях я підсумую, чому я почав вивчати ЗК, і чому це має значення не лише для технічного навчання. Перший пункт стосується того, як ZK вирішує існуючі технічні компроміси. 🔍 Компроміси існують у всіх системах Одним з найбільш часто чутних термінів у розробці програмного забезпечення є «компроміс». - Посилення безпеки → Знижує зручність використання - Збільшення швидкості → підвищує витрати - Децентралізація → знижує ефективність Зокрема, конфіденційність і можливість перевірки вважаються найбільш вираженими компромісами. Загальновідомо, що для того, щоб щось довести, потрібно розголошувати інформацію, а якщо ти приховував інформацію, то її неможливо було перевірити. 💭 Структура існуючих методів перевірки Принцип верифікації був простий: 1. А пред'являє претензію 2. Б запитує докази 3. А показує докази 4. Б підтверджує це У цьому процесі Б неминуче засвоює інформацію. Тож на практиці завжди були потрібні компроміси: - Щоб пройти аудит, ви повинні розкрити свої бухгалтерські книги - Щоб підтвердити кваліфікацію, необхідно пред'явити посвідчення особи - Щоб підтвердити відповідність, ви повинні поділитися внутрішніми даними 🔓 Що змінює ЗК ЗК змінює структуру верифікації. Старий: відображати інформацію, → перевіряє безпосередньо Verifier ЖК: Приховувати інформацію → доводити лише те, що виконуються певні умови Наприклад, при оцінці кредитів: - Старий: розкрийте банківський баланс у розмірі 1 234 567 вон - ЗК: Доведіть лише «залишок становить понад 1 мільйон вон» Може здатися, що це невелика різниця, але вона докорінно змінює суть верифікації. Верифікатор може лише підтвердити необхідні факти і не може знати більше, ніж це. ✏️ Що насправді змінюється Специфічні відмінності, спричинені цією зміною: Сценарій аудиту: - Перед: надсилання повної історії транзакцій → розкриття конфіденційної інформації клієнта - Після: Доведіть лише те, що «всі транзакції відповідали нормативним вимогам» → захистіть інформацію про клієнта У блокчейні: - До: прозоре розкриття всіх транзакцій → Відмовтеся від конфіденційності - Після: Доводьте лише дійсність транзакції → зберігайте конфіденційність Верифікація моделі ШІ: - Перед: Розкриття моделі → Відмова від інтелектуальної власності - Після: Доведіть лише «упередженість нижча за поріг» → захистіть модель Тепер стають можливими комбінації, які раніше були неможливими. Ви можете зберігати таємницю під час верифікації. Ця концепція резонує зі мною на більш глибокому рівні. Це нова пропозиція, яка звільняється від обмежень «необхідність вибирати одне з двох» до «обидва можливі». Я інтерпретую це як створення нової точки балансу десь між 0 і 1. Я вважаю, що більшість технологічних досягнень були саме такими. Існує не так багато чарівних рішень, які вирішують всі проблеми одразу. А ось що показує ЗК, так це можливість "зміни ступеня компромісу". І я вірю, що лише ті, хто розуміє цю можливість, можуть створити наступний рівень покращень. Саме тому я вивчаю ЗК. У наступній статті я розповім про ще одну зміну, яку приніс ЗК. --- Твої лайки та репости – це любов 🥰 #BQDeveloper #ZK #ZeroKnowledgeProof #TurningImpossibilitiesIntoPossibilities