Git Hitsz 全同态加密 多项式环 抽象代数 操作系统 数据库 数论 格 概率论