PACE: Policy-Bound Multi-Party Authorization with State-Consistent Execution for Smart Contracts
Este artigo apresenta o PACE, um framework para contratos inteligentes que garante a autorização multipartidária consistente com o estado ao vincular decisões coletivas a políticas ativas e contextos de execução por meio de um esquema de assinatura baseado em rede de dois turnos, garantindo, assim, a consistência entre política, decisão, requisição e execução, enquanto mantém custos de verificação estáveis.
Artigo original sob licença CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo
No mundo digital dos contratos inteligentes, o código atua como a lei, executando automaticamente acordos quando certas condições são atendidas. Esses programas frequentemente gerenciam ativos valiosos ou permissões sensíveis, exigindo regras estritas sobre quem pode fazer o quê. Tradicionalmente, uma única pessoa ou uma senha simples poderia conceder acesso, mas para decisões de alto risco envolvendo múltiplas organizações, um único ponto de aprovação é frequentemente muito arriscado. Em vez disso, um grupo de partes confiáveis deve concordar em conjunto antes que uma ação possa ocorrer. Isso é conhecido como autorização multipartite. No entanto, existe uma lacuna significativa entre o momento em que um grupo concorda com uma solicitação e o momento em que o contrato realmente a executa. Entre esses dois momentos, as regras podem mudar, a solicitação pode ser alterada ou a permissão pode ser usada duas vezes. Se o sistema não vincular rigidamente o acordo à ação específica e às regras atuais, uma assinatura válida de um grupo poderia ser usada indevidamente para autorizar algo que eles nunca pretendiam, ou para executar uma transação após as regras já terem mudado.
Pesquisadores desenvolveram um novo framework chamado PACE para resolver este problema de conexões frouxas na autorização digital. A equipe, liderada por Yaowei Sun e colegas, criou um sistema que garante que a permissão concedida por um grupo de autoridades permaneça perfeitamente ligada à solicitação específica, ao conjunto atual de regras e ao momento exato da execução. Imagine um grupo de gerentes de banco assinando um cheque; com o PACE, a assinatura não é apenas uma marca de aprovação, mas um selo digital que trava a assinatura ao valor exato, à agência bancária específica e à data atual, impedindo que alguém altere os detalhes ou use a assinatura em um dia diferente. Os pesquisadores construíram um protótipo para testar essa ideia, simulando um cenário onde múltiplas autoridades devem concordar antes que um contrato inteligente realize uma operação protegida. O trabalho deles demonstra que, ao vincular a aprovação a uma versão de política específica e a uma sessão única, eles podem evitar ações não autorizadas mesmo se as regras mudarem ou se um ator malicioso tentar reutilizar uma permissão antiga.
O núcleo do sistema PACE é um processo de três etapas que liga as pessoas, as regras e a ação em uma única corrente inquebrável. Primeiro, o sistema estabelece uma configuração vinculada à política. Isso significa que, antes que qualquer grupo possa dar permissão, o sistema registra exatamente quais regras estão ativas e quais pessoas específicas estão autorizadas a assinar. Se as regras mudarem mais tarde, o sistema passa para um novo "epoch", ou versão, e assinaturas antigas da versão anterior tornam-se inválidas. Isso evita que um grupo use um acordo antigo para contornar novas restrições. Segundo, as autoridades participam de uma autorização conjunta vinculada ao contexto. Quando uma solicitação chega, cada pessoa autorizada revisa os detalhes exatos da solicitação — o contrato específico a ser chamado, os dados a serem enviados e o limite de tempo. Elas então trabalham juntas para gerar uma única peça de evidência criptográfica. Esta evidência não é apenas uma coleção de assinaturas individuais; é uma prova unificada de que todo o grupo concordou com esse conjunto específico de detalhes neste momento específico. O sistema utiliza técnicas matemáticas avançadas baseadas em estruturas de rede (lattice), que são projetadas para serem seguras mesmo contra futuros computadores quânticos, para criar esta prova conjunta.
Finalmente, o sistema realiza uma execução consistente com o estado. Quando a solicitação chega ao contrato inteligente, o contrato não apenas verifica se a assinatura parece válida. Ele realiza uma série de verificações rigorosas para garantir que tudo coincida. Ele verifica se as regras ativas no momento da execução são as mesmas que o grupo concordou. Ele confirma que a solicitação sendo executada é idêntica àquela que o grupo revisou. Confirma que a permissão não expirou e não foi usada antes. Crucialmente, o sistema vincula o consumo da permissão à execução da ação em uma única etapa atômica. Isso significa que, se a ação falhar por qualquer motivo, a permissão não é gasta, e se a permissão for usada, a ação deve ter sucesso. Não há lacuna onde uma permissão possa ser gasta sem um resultado correspondente, ou onde um resultado possa ocorrer sem que a permissão seja devidamente gasta.
Para testar o quão bem este sistema funciona, os pesquisadores construíram uma simulação usando um processador de computador padrão e um conjunto específico de parâmetros matemáticos projetados para lidar com até trinta e duas autoridades diferentes. Eles realizaram milhares de testes para ver como o sistema se comportava sob diferentes condições, como mudar o número de pessoas no grupo ou o tamanho dos dados sendo processados. Os resultados mostraram que o sistema aplicou com sucesso todas as regras pretendidas. Quando os pesquisadores tentaram enganar o sistema enviando uma permissão antiga, alterando os detalhes da solicitação ou tentando usar uma permissão duas vezes, o sistema rejeitou corretamente a tentativa. Os testes confirmaram que as verificações de consistência de política, vínculo de solicitação e estado de autorização funcionaram conforme o projetado. Em cenários onde a ação alvo falhou, o sistema reverteu corretamente todo o processo, garantindo que nenhuma alteração de estado parcial fosse deixada para trás.
O estudo também mediu o custo de execução deste sistema em termos de tempo e dados. A parte mais demorada do processo foi a assinatura colaborativa e a agregação da evidência, que consumiu a maior parte do tempo de computação. À medida que o número de autoridades aumentava, o tempo necessário para gerar a evidência conjunta crescia, mas o tempo necessário para o contrato verificar o resultado final permanecia relativamente estável. Por exemplo, com trinta e duas autoridades, o processo de gerar a evidência conjunta levou cerca de oito segundos, enquanto a verificação no lado do contrato levou menos de um segundo. A quantidade de dados que precisava ser trocada entre as autoridades também cresceu com o número de participantes, atingindo mais de cem megabytes para um grupo de trinta e dois, mas a peça final de evidência enviada ao contrato permaneceu pequena e de tamanho fixo. Isso sugere que, embora o sistema exija uma coordenação significativa entre o grupo, o fardo na etapa de execução final é gerenciável.
Os pesquisadores também exploraram como o sistema lida com o processo matemático de "rejeição por amostragem" (rejection sampling), que é um método usado para garantir a segurança das assinaturas ao descartar ocasionalmente tentativas que não atendem a critérios estatísticos rigorosos. Eles descobriram que, ao permitir algumas tentativas de reexecução, o sistema poderia completar o processo de autorização com uma probabilidade muito alta. Mesmo com um grande grupo de autoridades, o sistema foi capaz de completar a tarefa com sucesso em quase todos os casos quando recebeu um número razoável de tentativas. Isso indica que o sistema é robusto o suficiente para lidar com o imprevisto matemático ocasional sem falhar em entregar uma autorização válida. O estudo conclui que o PACE fornece uma base sólida para o controle multipartite seguro sobre contratos inteligentes, fechando efetivamente a lacuna entre aprovação e execução. Embora a versão atual assuma uma configuração de confiança e um tipo específico de acordo de grupo, os resultados mostram que a ideia central de vincular política, solicitação e estado é um caminho viável para uma governança digital mais segura.
Afogado em artigos na sua área?
Receba digests diários dos artigos mais recentes que correspondam às suas palavras-chave de pesquisa — com resumos técnicos, no seu idioma.