@MidnightNetwork #night $NIGHT
Dwa dowody próbowały zająć tę samą roszczenie
Konsola nie zgłosiła błędu.
Zawahała się.
To było gorsze.
Pierwszy dowód dotarł czysty.
Ścieżka ograniczeń spełniona.
Akceptacja weryfikacji.
Granica roszczenia czeka na publiczny stan.
Nic nadzwyczajnego.
Weryfikator o północy przeszedł przez obwód, nigdy nie dotykając podstawowego rekordu. Roszczenie istniało jako weryfikowalne roszczenie, zwarte i wystarczające, dowód bez ujawnienia.
Potem dotarł drugi dowód.
Ta sama zasada.
Ten sam typ roszczenia.
Inny dowód.
Wtedy pas się zawęził.
Mempool nie odrzucił żadnej z przesyłek. Oba dowody zweryfikowane niezależnie.
Ale system ograniczeń nie lubił ich bliskości.
zakres_roszczenia: nakładający się
pas_weryfikacji: kwestionowany
„to samo roszczenie?”
Otworzyłem ślad, spodziewając się błędu gdzieś, źle sformułowanego świadka, nieprawidłowego predykatu, uszkodzonych danych wejściowych. Odświeżyłem za wcześnie, otrzymałem tę samą linię nakładania z powrotem i poczułem to małe podrażnienie, które odczuwasz, gdy system jest spokojniejszy niż ty.
Nic.
Oba dowody były ważne.
Co było dokładnie powodem, dla którego pas się zawęził.
Krok ponownej obliczeń rozpoczął się cicho.
Kliknąłem z powrotem na pierwszy dowód, potem na drugi, a potem znowu, jakby kolejność mogła coś wyznać. System ograniczeń odtworzył granicę roszczenia, kompresując każdy dowód do minimalnej logiki wymaganej do oceny zasady.
Pierwszy dowód: spójny.
Drugi dowód: spójny.
Wciąż ważne.
Tylko nie razem.
Północ nie ujawniała podstawowych rekordów, aby rozwiązać konflikt. Prywatne dane wejściowe pozostały zamknięte na swoich odpowiednich maszynach. Selektywne ujawnienie nigdy się nie rozszerzyło. Łańcuch chronił przyczynę i zamiast tego zawęził konsekwencję.
Jedno roszczenie się posunęło naprzód.
Drugie utknęło.
Nie odrzucone.
Po prostu niezdolne do zajęcia tej samej przestrzeni zasady.
Pierwszy dowód przeszedł.
Publiczny stan zaktualizowany.
Drugi dowód pozostał prywatnie ważny, ale stan, na którym polegał, już nie istniał.
Zostawiłem konsolę otwartą na tej linii dłużej, niż zamierzałem.
Dowód wciąż nienaruszony.
Konsekwencja już zniknęła.