1. 引言 Dock公司为去中心化数字身份领域的先驱者，其自2017年以来，已知专注于构建前沿的可验证证书（Verifiable Credentials）技术。本文将阐述何为电子证书、电子证书工作原理、以及其对组合和个人的重要性。 伪造实物证书和数字证书的问题日益全球性。对于组织来说，验证证书的真实性是一个缓慢、耗时且昂贵的过程。可验证证书是纸质和数字凭证的数字、加密安全版本，人们可向需要它们

目录 摘要引言贡献 背景Intel SGX侧信道攻击Intel处理器的硬件扩展 概述威胁模型SGX已存的安全威胁侧信道泄露操作系统相关的威胁现有防御的限制 可验证的执行合同作为防御 摘要 最近的研究表明，可信执行环境，如Intel Software Guard Extensions，容易受到特权软件的各种攻击，包括侧通道攻击。 现有的解决方案，如T-SGX、Daughejàa

VERSA: Verifiable Secure Aggregation for Cross-Device Federated Learning 可译为“VERSA: 面向跨设备联邦学习的可验证安全聚合” 最近对模型可验证的文章比较感兴趣，就看了几篇，选一篇最新的文章读了读。这篇VERSA主要的贡献点在于，不需要强安全假设和昂贵的加密操作，即可完成模型的可验证性(后续文章证明是不可以完成验证的，