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ć.”
Promocja
55% zniżki na TipRanks
- Odblokuj zaawansowane narzędzia inwestycyjne dzięki TipRanks Premium, aby podejmować mądrzejsze i pewniejsze decyzje inwestycyjne
- Zasubskrybuj TipRanks Smart Investor Newsletter i odkrywaj nowe możliwości inwestycyjne dzięki propozycjom spółek opartym na danych
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.

Zastrzeżenie: Treść tego artykułu odzwierciedla wyłącznie opinię autora i nie reprezentuje platformy w żadnym charakterze. Niniejszy artykuł nie ma służyć jako punkt odniesienia przy podejmowaniu decyzji inwestycyjnych.
Może Ci się również spodobać
Negocjacje handlowe między USA a Indiami utknęły w martwym punkcie, a minister finansów Indii stwierdził: „Osiągnęliśmy plateau”, przestrzeń do dalszych ustępstw jest niezwykle ograniczona.
Minister finansów Indii, Nirmala Sitharaman, poinformowała w poniedziałek, że negocjacje są „trudne i wymagające”, a obie strony obecnie osiągnęły „okres stagnacji”, w którym „dalsze ustępstwa lub żądania mogą być niezwykle trudne”. Jednocześnie pozostawiła możliwość dzia łania, mówiąc: „Jeśli znajdzie się przestrzeń na dalsze działania, obie strony ją wykorzystają.” Jamieson Greer, przedstawiciel handlowy USA, oświadczył w zeszły piątek, że negocjacje są na „ostatnim etapie”, ale zawarcie ostatecznego porozumienia nie jest „nieuchronne”.
Puell Multiple przekroczył poziom 1,00, co wskazuje na zakończenie fazy akumulacji

BUZZ - Awaria instalacji Fast LNG powoduje spadek kursu akcji New Fortress Energy
5 października – ** Akcje amerykańskiej firmy zajmującej się skroplonym gazem ziemnym New Fortress Energy NFE.O spadły o 14,3%, osiągając historyczne minimum na poziomie 5,63 USD ** NFE poinformowała, że jej instalacja Fast LNG została wstrzymana z powodu awarii mechanicznej turbiny gazowej w zakładzie (link) ** Firma dodała, że aktywnie współpracuje z producentem turbiny, aby jak najszybciej przywrócić działanie instalacji Fast LNG ** NFE oczekuje, że instalacja Fast LNG wznowi działalność w czwartym kwartale ** Uwzględniając dzisiejszy spadek, akcje od początku roku straciły 90,1% wartości (Dla wygody osób nieposługujących się językiem angielskim Reuters automatycznie tłumaczy swoje raporty na kilka innych języków. Ponieważ automatyczne tłumaczenia mogą być niedokładne lub nie oddawać pełnego kontekstu, Reuters nie gwarantuje poprawności automatycznego tłumaczenia – jest ono oferowane jedynie dla wygody czytelników. Reuters nie ponosi żadnej odpowiedzialności za szkody lub straty wynikające z korzystania z funkcji automatycznego tłumaczenia.)
New Fortress Energy ogłosiło zatrzymanie instalacji Fast LNG, kurs akcji spadł o 14%.
Reuters, 5 października – New Fortress Energy (NFE.O) poinformowała w poniedziałek, że jej zakład Fast LNG został zatrzymany z powodu awarii mechanicznej turbiny gazowej, co spowodowało spadek ceny akcji firmy o 14% i ustanowienie najniższego poziomu w historii. Przestój nastąpił w czasie wzrostu cen LNG, zakłócając plany produkcyjne zakładu Fast LNG. Od początku tego roku zakład eksportował co miesiąc transport LNG do Portoryko, pomagając tej amerykańskiej terytorium rozwiązywać problemy z dostawą energii elektrycznej. Szczegóły: New Fortress Group poinformowała w dokumentach regulacyjnych, że współpracuje aktywnie z producentem turbin, aby przywrócić działanie pływającego zakładu skraplania gazu FLNG, który jest kluczową częścią działalności firmy w zakresie LNG. Spółka przewiduje, że zakład wznowi produkcję w czwartym kwartale. Według wcześniejszych informacji, zdolność produkcyjna Fast LNG wynosi 1,4 milionów ton rocznie. (Dla wygody osób nieposługujących się językiem angielskim Reuters automatycznie tłumaczy swoje raporty na kilka innych języków. W związku z możliwością błędów lub braku odpowiedniego kontekstu, Reuters nie gwarantuje dokładności takich tłumaczeń, udostępnia je jedynie dla wygody czytelników. Reuters nie ponosi odpowiedzialności za szkody lub straty spowodowane korzystaniem z funkcji automatycznego tłumaczenia.)
