Novo estudo de caso disponível: Lagoon + Credible Layer no @LineaBuild A @turtledotxyz's @lagoon_finance integrou 5 afirmações protegendo os seus cofres de crédito privado tokenizados em modos de liquidação síncrona/assíncrona. Aqui está o que construímos juntos 🧵
Phylax Systems
Phylax Systems29/01/2026
Nova dApp usando a Credible Layer no @LineaBuild! Os vaults do @turtledotxyz e @lagoon_finance agora têm 5 afirmações ativas para prevenir manipulação de NAV, ataques de liquidação de época e desvios contábeis entre modos síncronos/assíncronos. A Linea descarta qualquer transação que invalide essas afirmações, prevenindo esses hacks antes que aconteçam.
Leia o blog completo aqui:
A Turtle permite o acesso tokenizado ao crédito privado através de cofres Lagoon que operam em dois modos: Síncrono: depósitos instantâneos quando o NAV está atualizado Assíncrono: liquidação baseada em épocas quando o NAV precisa de atualização Arquitetura de modo duplo = transições de estado complexas.
A Credible Layer introduz afirmações: funções que definem estados inválidos e os previnem a nível de rede, tornando-os quase inescapáveis. Conceito central: Afirmação: Estado → {verdadeiro (seguro), falso (hack)} Estado de hack → transação rejeitada pelo sequenciador da Linea.
Aserção 1: Integridade da Contabilidade dos Ativos Totais Monitora o total de ativos (NAV) do cofre em todas as operações de liquidação. Impõe deltas exatos esperados: depósitos aumentam os ativos totais pelo valor dos ativos pendentes, resgates diminuem pelos montantes retirados. Mantém a solvência: saldo do cofre ≥ todos os resgates reivindicáveis.
Aserção 2: Integridade do Modo de Depósito Sincronizado Impõe uma estrita exclusividade mútua entre os modos síncrono e assíncrono com base na expiração do NAV. Quando isTotalAssetsValid() = verdadeiro: apenas syncDeposit() funciona Quando o NAV expira: apenas assíncrono (baseado em épocas) funciona Previne a confusão de modos de arbitragem.
Aserção 3: Ordenação de Liquidação de Épocas e Capacidade de Reivindicação Valida o sistema de liquidação baseado em épocas com sequenciamento estrito ímpar/par. Impõe: época atual ≥ 2 + última época liquidada, épocas de depósito = ímpares, épocas de resgate = pares. Bloqueia reivindicações de épocas não liquidadas.
Aserção 4: Consistência do Saldo do Silo Rastreia o contrato imutável do Silo que mantém depósitos e resgates pendentes. Valida: saldo de ativos do Silo ≥ soma dos pedidos de depósito pendentes saldo de ações do Silo ≥ soma dos pedidos de resgate pendentes Utiliza verificação baseada em eventos.
Aserção 5: Validade do NAV e Ciclo de Expiração Valida a expiração do NAV baseada no tempo controlando a mudança de modo. Impõe: isTotalAssetsValid() retorna block.timestamp < totalAssetsExpiration de forma consistente. Previne atualizações do NAV durante janelas de depósito de sincronização.
Os traços gerais: Zero tempo de inatividade Sem alterações de contrato Sem reimplementações A rápida implementação permitiu à Turtle implementar os seus Vaults Lagoon v0.5.0 com segurança de nível institucional desde o primeiro dia.
Diferença crítica em relação ao DeFi puramente on-chain: fundos de crédito privados implantados off-chain não podem ser recuperados se forem roubados. A prevenção não é opcional para protocolos RWA, é a única defesa.
Todas as afirmações são verificáveis publicamente. Os utilizadores inspecionam as regras exatas que protegem os fundos. Os desenvolvedores podem auditar a lógica de segurança facilmente em Solidity. A transparência constrói confiança para trazer capital institucional para a blockchain.
Flexibilidade em modo duplo para integração DeFi. Segurança determinística para capital institucional. A Turtle demonstra como os protocolos RWA podem alcançar ambos sem compromissos.
1,14K