Unverified50% confidenceFactExact time
Lean's trusted kernel design originates from the de Bruijn criterion: the trustworthiness of a proof system depends on the size of its verifier code — the smaller, the easier to audit.
1
Sources
50%
Confidence
Long-term
Relevance
10/9/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe key dimensions for evaluating the trustworthiness of a credential escrow design are whether the platform has undergone a security audit and whether it supports zero-knowledge architecture or end-to-end encryption.72% similarUnverifiedThe verification and calibration components are critical for making a model's confidence levels trustworthy.71% similarUnverified证明助手的每一步推理都必须经过内核（kernel）的严格检查，内核代码量极小（通常只有几千行），从而将信任基础最小化69% similarUnverified文章提出智能体知识库可设计多层验证机制：执行验证、语义去重、置信度衰减、引用验证67% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/993019API
curl https://kongchang.com/api/v1/knowledge/claims/993019MCP
get_claim(id=993019)