---

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.

---

Graduado em Engenharia de Redes de Comunica‡Æo e mestre em Criptografia e Teoria da Informa‡Æo pela Universidade de Brasília. Doutorando sob orienta‡Æo do Prof. PhD Anderson C. A. Nascimento, da University of Washington. É professor de pós-gradua‡Æo em Seguran‡a da Informa‡Æo e trabalha como Engenheiro de Telecomunica‡äes na Câmara dos Deputados.

---