Algorithmically Presented Numbers and Canonical Representations in Cryptographic Protocols

本文从表示论的角度研究密码协议中的数字表示问题。传统观点认为，只要协议中的数值是计算上可访问的即可，但本文指出，在实际协议操作中，数值的固定表示形式同样关键。论文区分了三种表示论概念：算法可逼近数（A_app，即可计算实数）、系统中有限准确

历史摘要 · 未重新核验 · arXiv cs.CR