«Розкриття інформації: погляди та думки, висловлені тут, належать виключно автору і не представляють погляди та думки редакції crypto.news. Президентські вибори в США 2024 року продемонстрували зростаючий ентузіазм громадськості щодо ринків прогнозів і громадянської журналістики. Однак, хоча пропозиції, що підтримуються блокчейном, обіцяють розширити можливості громадян, як ніколи раніше, найактуальніша проблема», — пишуть на: www.crypto.news
Розкриття інформації: погляди та думки, висловлені тут, належать виключно автору і не представляють погляди та думки редакції crypto.news.
Президентські вибори в США 2024 року продемонстрували зростаючий ентузіазм громадськості щодо ринків прогнозів і громадянської журналістики. Однак, хоча пропозиції, що підтримуються блокчейном, обіцяють розширити можливості громадян, як ніколи раніше, найактуальнішою проблемою, яка впливає на майбутнє нашого уряду, залишається конфіденційність і безпека виборців. Паперові системи є дорогими та повільними, а поточним електронним системам голосування бракує конфіденційності, прозорості та доступності, що підриває довіру до демократії.
Введіть докази з нульовим знанням: криптографічний метод, який забезпечує збереження конфіденційності, стислі та непідробні докази, які пропонують трансформаційне рішення для національних виборів. Забезпечуючи контрольовані та захищені від фальсифікацій голоси, ZKP можуть революціонізувати демократичні процеси, забезпечуючи конфіденційність виборців, чесність виборів і прозорість, не покладаючись на довірені органи. ЗКП мають потенціал розблокувати математично безпечні демократії.
Розуміння того, де і як паперові бюлетені пішли не так
Незважаючи на технологічний прогрес у всіх функціях нашого повсякденного життя, система голосування в Сполучених Штатах все ще значною мірою покладається на паперові бюлетені. Фактично, у серпні цього року прогнозувалося, що 98% усіх голосів за кандидатів у президенти в листопаді будуть віддані на папері. Хоча паперові системи часто вважаються безпечними, вони за своєю суттю вимагають довіри та залишають дані виборців уразливими до злому, неправильного використання та крадіжки особистих даних.
Крім того, традиційні системи пропонують мало прозорості або механізмів для виборців, щоб перевірити чесність свого голосу, підживлюючи громадський скептицизм і дезінформацію. Наприклад, на виборах у США 2020 року було широко поширено звинувачення частково через те, що виборці не мали надійного способу незалежно перевірити результати. Як ми бачили, незахищені системи підривають довіру та зберігають міфи про чесність виборів.
Як традиційні методи електронного голосування пропонують недосконалі системи
Незважаючи на те, що електронні системи були запроваджені для модернізації виборів і зменшення витрат, вони все ще становлять значний ризик для чесних виборів і мають компроміси щодо безпеки та довіри. Це тому, що ці системи покладаються на централізованих посередників, що робить їх вразливими до втручання, примусу та порушень конфіденційності.
Ранні спроби вирішити ці проблеми, такі як системи на основі блокчейну, запроваджують децентралізацію та самопідрахунок. Однак ці системи, засновані на блокчейні, часто не справлялися з масштабованістю та захистом особистої інформації виборців. Відсутність будь-якої справжньої конфіденційності, притаманної поточній децентралізованій технології блокчейн, ризикує поставити під загрозу конфіденційність виборців, розкриваючи як особу виборця, так і вибір бюлетенів, не на відміну від паперових або традиційних електронних систем.
Потрібна технологічна система, яка може забезпечити цілісність і конфіденційність виборців і запобігти маніпуляціям, одночасно зменшуючи дані, які зберігаються в ланцюжку — те, що дозволяє швидше й ефективніше обробляти голосування без шкоди для безпеки. Тут виділяється технологія ЗКП. Вирішуючи компроміси між прозорістю та конфіденційністю, зберігаючи масштабованість, ZKP забезпечують основу для безпечного, перевіреного та ефективного голосування.
Представляємо докази ZK: рішення нового покоління для чесності виборців
ЗКП пропонують рішення, необхідні для захисту конфіденційності виборців і забезпечення масштабованих процесів голосування. Це тому, що ЗКП дозволяють виборцю підтвердити право чи дійсність голосування, не розкриваючи свою особу чи вибір голосу, забезпечуючи як конфіденційність, так і цілісність процесу. Для цього ZKP покладаються на математичні принципи, які дозволяють перевіряти твердження, такі як дійсність голосів на виборах, без розголошення будь-яких особистих даних або конфіденційних деталей. Крім того, обчислення поза мережею ZK можуть вирішити проблеми масштабованості в системах електронного голосування на основі блокчейну. Знижуючи вимоги до зберігання в ланцюжку, ця система робить можливим проведення широкомасштабних виборів, зберігаючи при цьому прозорість, конфіденційність і загальну можливість перевірки.
Ось більш глибокий погляд на те, як ZKP можуть створювати математично безпечні демократії та вирішувати проблеми з існуючими електронними системами голосування:
1. Захист анонімності виборців: ЗКП дозволяють виборцям засвідчувати дійсність свого голосу чи інших документів, не розкриваючи основоположні особисті дані чи документи, таким чином захищаючи свою конфіденційність. Це стало можливим завдяки трьом компонентам алгоритму ЗКП: повноті, обґрунтованості та нульової інформації. Повнота працює так: твердження (X) є істинним, і перевіряючий, і верифікатор правильно дотримуються протоколу, верифікатор повинен прийняти доказ як істинний. Доказ неможливо сфальсифікувати, забезпечуючи достовірність. Подібним чином компонент надійності означає, що якщо твердження (X) є хибним, верифікатор не буде переконаний доказом, навіть якщо всі правильно дотримуються протоколу.
2. Забезпечення децентралізованого обліку: У системі ZKP децентралізована та прозора книга (блокчейн) записує голоси, встановлюючи підзвітність і безпеку.
3. Забезпечення прозорості та чесності голосування: ЗКП забезпечують стійку до змови систему, яка дає змогу виборцям перевірити, чи їхній голос був точно зафіксований у підрахунку, не розкриваючи їхні переваги, забезпечуючи довіру та чесність у процесі голосування.
4. Встановлення математичної безпеки: ЗКП надають надійні гарантії, що підтверджують надійність протоколу голосування.
Реальні застосування ЗКП у голосуванні
Голосування за принципом ЗКП вже не є теоретичним. У жовтні 2024 року провідна опозиційна партія Грузії, Єдиний національний рух, запустила «Єдиний простір», додаток ідентифікації, створений Rarimo, протоколом, що спеціалізується на децентралізованих цифрових ідентифікаціях. Ця програма використовує блокчейн і ZKP для забезпечення безпечного та анонімного голосування, спрямованого на боротьбу з низькою явкою виборців шляхом винагороди за участь і захисту особи виборців.
Інші проекти, такі як zkPassport, Anon Aandhaar і OpenPassport, демонструють потенціал для інтеграції ZKP у системи перевірки особи, підтверджуючи таку інформацію, як національність або вік, без розголошення конфіденційної інформації.
Існуючі обмеження ідентифікації за ЗКП
Хоча ЗКП пропонують новаторський потенціал для безпечних систем голосування, вони все ще стикаються з труднощами, зокрема з використанням паспортів для перевірки. Володіння паспортом не є загальним — лише близько 50% населення США має дійсний паспорт, а в багатьох країнах, що розвиваються, цей показник значно нижчий. Крім того, паспорти не мають біометричного підтвердження, що робить їх сприйнятливими до шахрайства через викрадені або підроблені документи. Корумповані органи, які видають документи, теоретично можуть маніпулювати результатами голосування, створюючи недійсні документи, які, тим не менш, проходять перевірку.
Інша фундаментальна проблема полягає в стійкості криптографічних підписів, пов’язаних із анульованими або заміненими паспортами. Навіть якщо документ уже недійсний, його цифровий підпис часто залишається придатним для використання, створюючи ризик неправомірного використання. Нарешті, багато систем на основі ZKP покладаються на єдину точку перевірки — як правило, на паспорт — замість того, щоб об’єднувати атестації з кількох джерел, таких як національні ідентифікаційні системи, банківські установи чи оператори мобільного зв’язку. Така довіра збільшує ймовірність системних збоїв або маніпуляцій.
Вирішення цих проблем існує в розширенні джерел перевірки особи, щоб включити атестації від різноманітних і надійних засвідчувачів. Включення біометричної перевірки в процес верифікації паспорта може значно зменшити ризики, пов’язані з викраденими або позиченими документами. Крім того, розробка криптографічних стандартів, які дозволяють визнавати застарілі підписи недійсними, усуне вразливі місця, викликані відкликаними або заміненими документами.
ZKP представляють собою зміну парадигми безпечного голосування, усуваючи вразливості в традиційних системах і системах, заснованих на блокчейні. Забезпечуючи математично безпечні вибори, що зберігають конфіденційність, ZKP мають потенціал сприяти довірі, прозорості та участі в демократичних процесах. Оскільки технологія ZKP розвивається, вона має потенціал розблокувати демократії, які є не лише безпечними, але й більш інклюзивними, справедливими та залученими.
Співавтором цієї статті є Андре Ометанскі і Чаріті Ібраймі.
Андре Ометанскі та Амаль Ібраймі
Андре Ометанскі є головним юрисконсультом у Aztec Labs, яка розробляє Layer-2 на Ethereum, який дає змогу розробникам створювати програми, що зберігають конфіденційність, одночасно забезпечуючи відповідність. Андре провів більше десяти років у White & Case у Лондоні, звідки залишив посаду радника, отримавши великий, глобальний та різноманітний досвід у складних традиційних фінансових операціях. До того, як приєднатися до Aztec Labs, він був крипторадником для стартапів на ранній стадії в екосистемах Ethereum, Cosmos і Polkadot.
Чаріті Ібраймі є юрисконсультом Aztec Labs, де вона підтримує юридичні зусилля компанії щодо захисту технологій, що покращують конфіденційність, і децентралізованих фінансів. До того, як приєднатися до Aztec, Амаль працювала консультантом із питань конфіденційності в нью-йоркському та паризькому офісах Willkie Farr & Gallagher, де вона консультувала щодо захисту даних, криптографії та дотримання глобальної конфіденційності. Раніше Амаль також працювала в Управлінні з юридичних питань Секретаріату ООН у Нью-Йорку, Міжнародному арбітражному суді Міжнародної торгової палати в Гонконзі та як науковий співробітник з питань конфіденційності в ОЕСР у штаб-квартирі в Парижі. Амаль пройшла подвійну підготовку в США та Франції, отримала ступінь магістра права Школи права Нью-Йоркського університету та ступінь доктора права/магістра наук Sciences Po Paris.