Protocolo de comprometimento baseado na limitação de memória

O Comprometimento de Bit é uma primitiva criptográfica fundamental, usada para construir provas de conhecimento nulo e computação segura distribuída. Ueli Maurer introduziu o modelo de memória limitada no contexto dos protocolos criptográficos incondicionalmente seguros. O modelo de Maurer limita o tamanho máximo da memória de um participante desonesto, ao contrário da abordagem usual em criptografia moderna, que limita a capacidade de processamento do adversário. Neste trabalho, elaboro um protocolo de comprometimento baseado apenas no limite da memória adversarial, sem a adoção de hipóteses matemáticas não comprovadas. A intenção do protocolo é maximizar a quantidade de bits que o emissor consegue utilizar para se comprometer e, ao mesmo tempo, minimizar a quantidade de bits amostrados durante a fase de transmissão, de modo a atingir a máxima Capacidade de Comprometimento, definição cunhada no artigo seminal de Winter e Nascimento (2003). Outra contribuição apresentada é a elaboração de um modelo geral para protocolos de comprometimento baseados na limitação de memória. Para esses esquemas, demonstro os limites teóricos atingíveis e, por fim, a otimalidade do protocolo proposto.