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ć
Wielka premia o wartości 16 bilionów wonów! SK hynix (SKHY.US) planuje przekazać aż 80% zysków z udziałów w Kioxia swoim akcjonariuszom
Według doniesień, SK Hynix planuje wypłacić specjalną dywidendę w wysokości około 16 bilionów wonów koreańskich (około 12 miliardów dolarów), zwracając około 80% zysków uzyskanych ze zmniejszenia udziałów w japońskiej Kioxia Holdings swoim akcjonariuszom.
Koreańscy inwestorzy detaliczni zaczynają skupować dołki! Celem pozostają “lewarowane ETF-y Samsung i SK Hynix”
Podczas silnego spadku koreańskich giełd, koreańscy inwestorzy detaliczni wykazali się kontrariańskim podejściem i w październiku dokonali netto zakupów dźwigniowanych produktów Samsung i SK Hynix o wartości ponad 315,4 miliarda KRW. Jednocześnie wydali aż 4.7 biliona KRW na zakup US 3x Semiconductor Leverage ETF (SOXL), co stanowi prawie 74% całkowitej kwoty zakupów amerykańskich akcji w tym okresie. Jest to pierwszy powrót po zaostrzeniu regulacji w lipcu i dwóch miesiącach netto sprzedaży.
Indeks bańki AI na poziomie 74, cena akcji CoreWeave (CRWV.US) może spaść poniżej 50 dolarów
Cena akcji CoreWeave spadła o prawie 70% od najwyższego punktu do 54.25 dolarów, a udział shortów wzrósł do 15%. Wraz z indeksem bańki AI osiągającym ekstremalny poziom 74 oraz presją zadłużenia w wysokości 30 miliardów dolarów, cena akcji stoi przed ryzykiem przebicia kluczowego wsparcia na poziomie 50 dolarów.
Przejęcie za 6 miliardów dolarów! Gigant medyczny Bausch Health planuje przejąć kontrolę nad Surgery Partners (SGRY.US)
Bosekurs planuje przejąć kontrol ę nad Surgery Partners za około 6 miliardów dolarów, oferując 20 dolarów za akcję; Bain zachowa 40% udziałów, a transakcja zostanie ogłoszona najwcześniej w poniedziałek.
Ceny krypto
Więcej
