Były CTO Ripple, David Schwartz, podkreśla weryfikację konsensusu XRPL, podczas gdy cena XRP utrzymuje się na poziomie 1,41 USD

Inżynierowie oprogramowania pracujący nad XRP Ledger rozszerzyli testowanie weryfikowane maszynowo, aby potwierdzić kod rdzeniowy w całej sieci. Inżynier RippleX, Mayukha Vadari, potwierdził współpracę z firmą badawczą CommonPrefix w celu matematycznego udowodnienia, że kluczowe elementy XRP Ledger działają zgodnie z założeniami.

System weryfikacji wykorzystuje maszyny do sprawdzania dowodów matematycznych w celu przetestowania specyfikacji oprogramowania pod kątem każdego możliwego wejścia. W przeciwieństwie do standardowych zestawów testów, które sprawdzają określone dane, kompletne dowody matematyczne weryfikują całą przestrzeń wejść. Zespoły inżynierskie używają tej samej technologii do formalizowania złożonych twierdzeń matematycznych.

David Schwartz podkreśla dowód konsensusu XRP Ledger

To osiągnięcie przykuło uwagę członków społeczności XRP (XRP-USD) oraz Davida Schwartza, CTO Emeritusa Ripple. Schwartz brał udział w projektowaniu oryginalnej architektury XRP Ledger przed przejściem do obecnej roli. Odpowiadając na ogłoszenie, David Schwartz stwierdził: „Odkryłem znakomity dowód formalnej poprawności algorytmu konsensusu XRPL, ale ograniczenia długości wpisu na X sprawiają, że posty są zbyt krótkie, by go zawrzeć.”

Schwartz nadal prowadzi własny węzeł sieciowy, aby zbierać dane i ulepszać wydajność sieci. Jego wkład techniczny przyczynił się wcześniej do wydania oprogramowania w wersji 3.2.1, która rozwiązała problemy ze wzrostami ruchu sieciowego obserwowanymi pod koniec lipca.

Sieć XRP otrzymuje niezależne recenzje bezpieczeństwa

Zespoły ds. bezpieczeństwa ukończyły także niezależne kontrole funkcji protokołu dla XRP Ledger. Firma Cantina Security przeprowadziła niezależny audyt funkcji Permission Delegation wraz z wewnętrznymi testami kontroli jakości. Zespół audytorów zweryfikował poprawki w wersji 1.1, a automatyczne testy wykonały 5088 prób bez błędów w kodzie.

Dyrektor ds. inżynierii Ripple, JA Akinyele, zauważył, że wdrożenie delegacji na poziomie protokołu wymagało wysokich standardów bezpieczeństwa, ponieważ zmienia obsługę kluczowych transakcji. Tymczasem XRP notowane jest w okolicach 1,41 USD i utrzymuje wsparcie powyżej 200-dniowej wykładniczej średniej kroczącej w pobliżu 1,35 USD.