Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,43%
USELESS
USELESS-15,96%
IKUN
IKUN-10,75%
gib
gib-5,17%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-12,33%
ALON
ALON-14,32%
LAUNCHCOIN
LAUNCHCOIN-14,4%
GOONC
GOONC-3,09%
KLED
KLED-9,73%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,88%
Boopa
Boopa-13,12%
PORK
PORK0,00%
Phylax Systems
Phylax Systems
5 годин тому·
Новий кейс: Lagoon + Credible Layer на @LineaBuild @turtledotxyz @lagoon_finance інтегрував 5 заявок, що захищають свої токенізовані приватні кредитні сховища у режимах синхронізованих/асинхронних розрахунків. Ось що ми побудували разом 🧵
Phylax Systems
Phylax Systems29 січ. 2026 р.
Новий dApp використовує Credible Layer на @LineaBuild! @turtledotxyz @lagoon_finance vaults тепер мають 5 активних assertions, щоб запобігти маніпуляціям NAV, атакам на епохальні поселення та дрейфу бухгалтерії між синхронними/асинхронними режимами. Linea відмовляється від будь-якої транзакції, яка скасовує ці твердження, запобігаючи цим зламам до їх відбути.
Повний текст блогу читайте тут:
Turtle забезпечує токенізований доступ до приватного кредиту через сховища Lagoon, які працюють у двох режимах: Синхронно: миттєві депозити, коли NAV свіжий Асинхронно: поселення на основі епохи, коли NAV потребує оновлення Двомодова архітектура = комплексні переходи станів.
Надійний шар вводить твердження: функції, які визначають недійсні стани та запобігають їм на рівні мережі, роблячи їх майже неминучими. Основна концепція: Твердження: Стан → {true (безпечно), false (hack)} Стан хаку → транзакцію відхилено секвенсером Linea.
Твердження 1: Цілісність обліку загальних активів Контролює загальні активи (NAV) сховища під час усіх операцій з поселення. Застосовує точні очікувані дельти: депозити зростають загальноАктиви через очікуванняАктиви, викупи зменшуються на суми знятих. Підтримує платоспроможність: баланс сховища ≥ всі вимогливі викупи.
Твердження 2: Цілісність синхронного режиму депозиту Встановлює сувору взаємну ексклюзивність між синхронним і асинхронним режимами на основі закінчення терміну дії NAV. Коли isTotalAssetsValid() = true: працює лише syncDeposit() Коли термін дії NAV закінчується: працює лише асинхронний (епохічний режим) Запобігає плутанині в режимах арбітражу.
Твердження 3: Порядок епохальних врегулювань і можливість отримання претензій Підтверджує епохічну систему поселень із суворою послідовністю непарних/парних. Виконує: поточна епоха ≥ 2 + остання встановлена епоха, епохи депозиту = непарні, епохи викупу = парні. Блокує претензії з невизначених епох.
Твердження 4: Послідовність балансу силосу Відстежує незмінний контракт Силоса, що утримує очікувані депозити та викупи. Перевіряє: Залишок активів у силосі ≥ сума очікуваних запитів на депозит Залишок частки силосу ≥ сума очікуваних запитів на викуп Використовує верифікацію на основі події.
Твердження 5: Дійсність NAV та життєвий цикл закінчення Перевіряє перемикання режимів NAV на основі часового рівня дії. Виконує: isTotalAssetsValid() повертає block.timestamp < totalAssetsExpiration послідовно. Запобігає оновленням навігацій під час вікон синхронізації депозиту.
Загальні риси: Нульовий простій Жодних змін у контракті Перекидань не було Швидке розгортання дозволило Turtle з першого дня розгорнути свої сховища Lagoon v0.5.0 з інституційним рівнем безпеки.
Ключова відмінність від чистого onchain DeFi: приватні кредитні кошти, розгорнуті поза мережею, не можуть бути повернуті у разі крадіжки. Профілактика не є опціональною для протоколів RWA, це єдиний захист.
Усі твердження є публічно перевіреними. Користувачі перевіряють точні правила, які захищають кошти. Розробники можуть легко аудитувати логіку безпеки в Solidity. Прозорість підвищує впевненість у залученні інституційного капіталу в мережу.
Гнучкість у двох режимах для інтеграції з DeFi. Детермінована безпека для інституційного капіталу. Тертл демонструє, як протоколи RWA можуть досягати обох без компромісів.
1,15K