1
Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
LLM管线可信边界验证框架，用证明携带证书确保确定性结构，安全架构新思路。
arXiv:2605.16407v1 Announce Type: cross Abstract: We present a framework for verifying the deterministic structured computations surrounding a large l…