← Trabalho / Estudo de caso
Isomorphic Binding.
Uma vinculação de confiança minimizada para o trajeto inverso de Cardano para CKB, provada num zkVM em vez de confiada a um comité..
Onde o trajeto direto da ponte se apoia num comité independente de signatários, o trajeto inverso elimina essa confiança por completo. Os certificados Mithril do lado da Cardano são verificados dentro de um zkVM SP1 e liquidados na CKB sob a forma de provas sucintas.
O trabalho está organizado em quatro provas: M1 verificação de mensagem assinada, M2 verificação agregada BLS-STM, M3 inclusão de transação e M4 vinculação de hash de certificado. Em conjunto, permitem que a CKB aceite o estado da Cardano sem confiar num relayer.
Próximo projeto
CellSwap →