深度解析 Semaphore：基于零知识证明的匿名信号系统