Unverified50% confidenceFactExact time
同态加密的理论基础可以追溯到2009年Craig Gentry的工作，他基于理想格数学结构首次证明了可以在密文上执行任意计算
1
Sources
50%
Confidence
Long-term
Relevance
8/23/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedCRDT (Conflict-free Replicated Data Type) was formally proposed by Marc Shapiro et al. in 2011, with its mathematical foundation being Lattice Theory.60% similarUnverified形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构60% similarUnverifiedElaborative encoding theory was first systematically articulated by Craik and Lockhart in the levels-of-processing framework proposed in 1972.59% similarUnverifiedPeter Shor在1994年提出了Shor算法，理论上能让足够强大的量子计算机在多项式时间内破解RSA和ECC加密58% similarUnverified可验证计算（Verifiable Computation）由 Gennaro、Gentry 和 Parno 等人在 2010 年前后系统化提出57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/791212API
curl https://kongchang.com/api/v1/knowledge/claims/791212MCP
get_claim(id=791212)