待验证50% 置信事实精确时间
同态加密的理论基础可以追溯到2009年Craig Gentry的工作，他基于理想格数学结构首次证明了可以在密文上执行任意计算
1
来源数
50%
置信度
长期有效
时效性
2026/8/23
首次发现
来源
涉及实体
相关事实
待验证CRDT（无冲突复制数据类型）由Marc Shapiro等人于2011年正式提出，其数学基础是格理论（Lattice Theory）60% 相似待验证形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构60% 相似待验证精细化编码理论最早由Craik和Lockhart在1972年提出的加工深度框架中被系统阐述59% 相似待验证Peter Shor在1994年提出了Shor算法，理论上能让足够强大的量子计算机在多项式时间内破解RSA和ECC加密58% 相似待验证可验证计算（Verifiable Computation）由 Gennaro、Gentry 和 Parno 等人在 2010 年前后系统化提出57% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/791212API
curl https://kongchang.com/api/v1/knowledge/claims/791212MCP
get_claim(id=791212)