Провери случајно извлекување

Што проверува оваа алатка

Некој направил извлекување и ви дал код на сертификат. Оваа страница ви кажува дали тој код е внатрешно конзистентен — дали броевите навистина потекнуваат од семето што организаторот го објавил, и дали отпечатокот навистина ги покрива тоа семе и тие поставки.

Сѐ работи во вашиот прелистувач. Сертификатот никогаш не се испраќа никаде.

Двете проверки

Отпечаток. Сертификатот носи SHA-256 хеш над семето и поставките за извлекувањето. Оваа страница го пресметува повторно тој хеш. Ако не се совпаѓа со оној зачуван во сертификатот, семето или поставките се изменети по направениот залог.

Повторување. Генераторот со семе е целосно детерминистички, така што истото семе и истите поставки секогаш даваат исти броеви. Оваа страница го повторува извлекувањето и споредува. Ако броевите се разликуваат, резултатот бил изменет.

Сертификатот поминува само кога и двете проверки поминуваат.

Што докажува, а што не докажува успешна проверка

Докажува дека организаторот тивко не ги променил семето, поставките или броевите откако се обврзал на нив.

Не докажува дека семето било непредвидливо. Ако организаторот сам го избрал семето и никогаш не го објавил отпечатокот пред извлекувањето, можел да испроба многу семиња и да го задржи она што му одговарало. Отпечатокот значи нешто само кога е објавен пред извлекувањето, некаде со временска ознака — во објава, коментар, порака.

Тоа е целата поента на чекорот на залог: тој претвора „верувајте ми” во нешто што секој може да го провери подоцна.

Спроведување извлекување што луѓето можат да го проверат

1. Поставете го вашиот опсег и колку броеви ви требаат.
2. Притиснете Создај отпечаток. Објавете го хешот што го добивте — во објавата за наградната игра, во коментар, каде било учесниците можат да го видат со временска ознака.
3. Затворете ги пријавите, потоа извлечете.
4. Објавете го семето и сертификатот. Секој може да го залепи тука.

Прескокнувањето на чекор 2 го прави сертификатот декоративен. Објавувањето на отпечатокот прво е она што му дава тежина.

Зошто само семе не е доволно

Семето е само текст. Дава броеви само откако ќе се знае како е проширено во нив — кој алгоритам, кој опсег, колку броеви, дали биле дозволени повторувања.

Затоа отпечатокот ги покрива и семето и поставките. Без тоа, организатор би можел да објави семе, а потоа да тврди дека извлекувањето било спроведено во поинаков опсег и дека некое друго множество броеви бил вистинскиот резултат. Залогот ја затвора таа врата.

Зошто отпечатокот не може да се фалсификува

SHA-256 хешот е еднонасочна функција: лесна за пресметување напред, а нема познат начин да се пресмета наназад. Токму тоа ја прави обврската поврзувачка.

За да измами, организаторот би морал да објави еден отпечаток, а подоцна да открие друго семе што дава ист хеш — напад на второ прообразие (second-preimage attack). Никој не пронашол таков против SHA-256, а просторот на пребарување го прави грубото форсирање бесмислено: 2²⁵⁶ е поголем број од проценетиот број атоми во набљудливата вселена.

Она што исто така не можат да го направат е да го поместат исходот. Промена на еден единствен знак од семето ја менува приближно половината од битовите на хешот, непредвидливо. Не постои начин да се бара семе што истовремено се совпаѓа со објавен отпечаток и дава погоден победник, бидејќи прво би требало да се фиксира хешот, а хешот зависи од сѐ.

Значи отпечатокот целосно го фиксира семето и поставките. Единственото што не може да го фиксира е кога е објавен — затоа временската ознака на вашата објава ја врши половината од работата.

Каде се важни проверливите извлекувања

• Наградни игри и натпревари — учесниците кои не победиле се тие што прашуваат
• Избор во заедница и DAO — избирање кој добива место, грант, улога
• Истражување — план за примерок што рецензентот може повторно да го изврши и потврди
• Наградни промоции со правна изложеност — некои јурисдикции бараат докажлив метод, а не само тврдење
• Сѐ на што странец мора да поверува — колку е поширока публиката, толку помалку вреди самото тврдење „избравме случајно”

Често поставувани прашања (ЧПП)

Дали важечки сертификат значи дека извлекувањето било случајно?

Тоа значи дека извлекувањето не било изменето по залогот. Дали било непредвидливо зависи од тоа кога е објавен отпечатокот. Ако е објавен пред извлекувањето, јавно, со временска ознака — тогаш да, организаторот бил заробен во таа обврска. Ако е објавен подоцна, тоа не докажува ништо за непредвидливоста.

Дали мојот сертификат се качува некаде?

Не. Проверката се спроведува целосно во вашиот прелистувач, во JavaScript. Ништо не го напушта вашиот уред и нема сервер што би можел да го запише.

Што значи „отпечатокот не се совпаѓа"?

Семето или поставките во сертификатот не се оние на кои е направен залогот. Некој го изменил сертификатот, или бил создаден од друга алатка.

Што значи „семето не ги произведува овие броеви"?

Отпечатокот е недопрен, но листата броеви била изменета подоцна. Алатката ви ги покажува броевите што семето навистина ги произведува, за да ја видите разликата.

Можам ли да проверам извлекување од друга веб-страница?

Само ако произвело сертификат во овој формат. Проверката зависи од точниот алгоритам на генераторот — семе само по себе е бесмислено без да се знае како е проширено во броеви.

Што ако сертификатот е многу долг?

Должината зависи од тоа колку броеви биле извлечени, бидејќи сертификатот го носи целиот резултат. Извлекување од шест броеви дава краток код; извлекување од десет илјади дава долг. И двата се проверуваат на ист начин.