XiaoMi-AI文件搜索系统
World File Search SystemBoringSSL
技术论文 - 使用 IETF QUIC 加速...
QUIC 是 Google 于 2013 年首次发布的传输层协议（称为 gQUIC），旨在替代 TCP/TLS 以加速 HTTP 流量。该协议通过 UDP 工作，具有低延迟连接建立和数据传输、易于部署、多路复用以及增强的安全性等特点。经过多年的实验，互联网工程任务组 (IETF) 采纳了这个想法，并将其发展为一个全面的规范，IETF QUIC 于 2021 年正式发布为 RFC9000。HTTP/3 的 RFC9114 将于次年基于 QUIC 发布。有多个 SSL 库，包括 BoringSSL、OpenSSL 的变体、NSS 等，它们与各种 QUIC 传输实现相结合，为 Web 服务器或客户端中的 HTTP/3 提供支持。继基于 OpenSSL 的异步 NGINX 加速 [1] 之后，本文重点介绍 NGINX-QUIC 与 BoringSSL 库的加速。它强调了基于 OpenSSL 的 TLS 和基于 BoringSSL 的 QUIC 之间的区别，探讨了异步英特尔® QAT 加速与 NGINX-QUIC 的设计和使用，以提供低连接建立延迟和高性能。
Jason Gross
MIRI, summer 2019: Formalized type theories, and proved properties of programs that reason about themselves Google, summer 2018: Worked on integration of Fiat Cryptography with BoringSSL in Chrome Google, summer 2016: Extended Fiat Cryptography with ECC primiatives for integration with Open Titan Microsoft Research, summer 2014: Collaboratively created a language for specifying in- put/output behavior of x86 assembly programs, ver ed the input/output behavior of a number of simple programs, and improved performance of the x86proved project MIT CSAIL PLV, 20122014: Entered a signi cant amount of category theory into the au- tomated proof assistant Coq, and worked on building an interface for databases and database migration on top of category theory MIT CSAIL CoCoSci, 20092011: Designed and managed the data collection webpage for research in categorical learning and transfer learning Commack High School, 2006年2009年：对自然数量集的研究电路，赢得第四名（2009）和第三（2008年）在ISEF中获得数学奖项