É hora de evitar hacks * antes * que eles aconteçam. O V1 da Camada Credível está aqui. O teste beta começa agora. Estamos trabalhando nisso há muito tempo e estamos muito otimistas sobre o impacto que isso pode ter. Veja como funciona. A camada confiável tem quatro componentes: > Asserções: Regras de segurança escritas em Solidity que definem estados que nunca devem ocorrer (por exemplo, "o endereço de implementação não deve mudar", "o preço não deve se desviar mais de x% em uma única transação"). > Protocolos: as equipes definem asserções para seus contratos e as registram na cadeia. > Construtores/Sequenciadores de Blocos: A infraestrutura de rede valida todas as transações em relação às asserções antes da inclusão do bloco, descartando qualquer uma que viole as regras de segurança. > Painel de transparência: mostra quais protocolos são protegidos e como. Aqui está um detalhamento do fluxo de transações para dar uma ideia de como ele funciona na natureza: > usuário envia transação para a rede > Transaction entra no mempool > OP-Talos recebe a transação para possível inclusão > OP-Talos faz referência a asserções relacionadas aos contratos com os quais a transação interage > PhEVM simula a execução da transação e cria instantâneos de estado pré/pós-transação > Todas as asserções relevantes são executadas contra esses estados > Se alguma declaração for revertida → transação sinalizada como inválida e descartada > Se todas as asserções forem aprovadas → transação incluída no bloco Se uma transação resultar em um hack e o contrato for protegido pela Camada Credível, a transação será descartada. Se o contrato não estiver protegido, a transação será incluída. ...