Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Nowa studia przypadków: Lagoon + Credible Layer na @LineaBuild
@turtledotxyz's @lagoon_finance zintegrowało 5 zabezpieczeń chroniących ich tokenizowane prywatne skarbce kredytowe w trybach rozliczeń synchronicznych/asychronicznych.
Oto co zbudowaliśmy razem 🧵

29 sty 2026
Nowa dApp korzystająca z Credible Layer na @LineaBuild!
Vaulty @turtledotxyz's @lagoon_finance mają teraz 5 aktywnych asercji, aby zapobiec manipulacji NAV, atakom na rozliczenia epokowe oraz dryfowi księgowemu w trybach synchronicznych/asynchronicznych.
Linea odrzuca każdą transakcję, która unieważnia te asercje, zapobiegając tym hackom zanim się wydarzą.

Przeczytaj cały wpis na blogu tutaj:
Turtle umożliwia tokenizowany dostęp do prywatnego kredytu za pośrednictwem skarbców Lagoon, które działają w dwóch trybach:
Synchronous: natychmiastowe wpłaty, gdy NAV jest aktualny
Asynchronous: rozliczenie oparte na epokach, gdy NAV wymaga aktualizacji
Architektura dualnego trybu = złożone przejścia stanu.
Credible Layer wprowadza asercje: funkcje, które definiują nieprawidłowe stany i zapobiegają im na poziomie sieci, co czyni je niemal nieuniknionymi.
Główna koncepcja:
Asercja: Stan → {prawda (bezpieczny), fałsz (atak)}
Stan ataku → transakcja odrzucona przez sekwencer Linea.
Asercja 1: Integralność rachunkowości aktywów całkowitych
Monitoruje całkowite aktywa skarbca (NAV) we wszystkich operacjach rozliczeniowych.
Wymusza dokładne oczekiwane delty: wpłaty zwiększają całkowite aktywa o aktywa oczekujące, a umorzenia zmniejszają o wypłacone kwoty.
Utrzymuje wypłacalność: saldo skarbca ≥ wszystkie roszczenia do umorzeń.
Asercja 2: Integralność trybu depozytu synchronicznego
Wymusza ścisłą wzajemną ekskluzywność między trybami synchronicznymi i asynchronicznymi w oparciu o wygaśnięcie NAV.
Gdy isTotalAssetsValid() = true: działa tylko syncDeposit()
Gdy NAV wygasa: działa tylko asynchroniczny (oparty na epoce)
Zapobiega arbitrażu związanym z myleniem trybów.
Asercja 3: Kolejność rozliczeń epok i możliwość roszczenia
Waliduje system rozliczeń oparty na epokach z surowym sekwencjonowaniem nieparzystym/parzystym.
Wymusza: bieżąca epoka ≥ 2 + ostatnia rozliczona epoka, epoki depozytowe = nieparzyste, epoki wykupu = parzyste.
Blokuje roszczenia z nierozliczonych epok.
Asercja 4: Spójność salda Silo
Śledzi niezmienny kontrakt Silo, który przechowuje oczekujące depozyty i wykupy.
Waliduje: saldo aktywów Silo ≥ suma oczekujących wniosków o depozyt
saldo udziałów Silo ≥ suma oczekujących wniosków o wykup
Wykorzystuje weryfikację opartą na zdarzeniach.
Asercja 5: Ważność NAV i cykl wygaśnięcia
Waliduje czasowe wygaśnięcie NAV kontrolujące przełączanie trybów.
Wymusza: isTotalAssetsValid() zwraca block.timestamp < totalAssetsExpiration konsekwentnie.
Zapobiega aktualizacjom NAV podczas okien synchronizacji depozytów.
Ogólne założenia:
Brak przestojów
Brak zmian w umowach
Brak ponownych wdrożeń
Szybkie wdrożenie umożliwiło Turtle uruchomienie ich Lagoon v0.5.0 Vaults z bezpieczeństwem na poziomie instytucjonalnym od pierwszego dnia.
Krytyczna różnica w porównaniu do czystego DeFi na łańcuchu: prywatne fundusze kredytowe wdrażane poza łańcuchem nie mogą być odzyskane, jeśli zostaną skradzione.
Zapobieganie nie jest opcjonalne dla protokołów RWA, to jedyna obrona.
Wszystkie twierdzenia są publicznie weryfikowalne.
Użytkownicy sprawdzają dokładne zasady chroniące fundusze.
Programiści mogą łatwo audytować logikę bezpieczeństwa w Solidity.
Przejrzystość buduje zaufanie do wprowadzania kapitału instytucjonalnego na blockchain.
Elastyczność w trybie podwójnym dla integracji DeFi. Deterministyczne bezpieczeństwo dla kapitału instytucjonalnego.
Turtle pokazuje, jak protokoły RWA mogą osiągnąć to wszystko bez kompromisów.
1,13K
Najlepsze
Ranking
Ulubione