Primality Proving via One Round in ECPP and One Iteration in AKS
英文摘要：
In this paper, a random primality proving algorithm is proposed, which generates prime certificate of length O(log n). The certificate can be verified in deterministic time O(log^4 n). The algorithm runs in heuristical time tilde{O}(log^4 n), some supporting evidences are provided.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
