卡拉今天看了什麼Better-performing “25519” elliptic-curve cryptography - Amazon Science
Link📌 Summary:本篇文章探討了在AWS LibCrypto（AWS-LC）中的x25519和Ed25519加密演算法實現如何透過自動推理和針對特定CPU微架構的優化提高效能與正確性，特別是在保護隱私和對抗側信道攻擊方面。AWS-LC使用自動推理證明功能正確性，同時對於不同微架構的優化設計，使得這些演算法在多種硬體環境下性能顯著提升。根據2023年的數據，新的實作在運算速度上平均提升達到113%，證明了這些方法的有效性，並提供安全的API讓開發人員更容易整合這些加密功能。
🎯 Key Points:
- 文章介紹自動推理在加密演算法中的應用，特別針對AWS-LC中的x25519和Ed25519演算法。
- 最新的實作對於AWS Graviton 2、Graviton 3及Intel Ice Lake微架構的運行速度大幅提升，並且改善功能正確性。
- 確保執行時保護隱私，提升了對側信道攻擊的抵抗能力，實現了恒定且預測性的方法。
- 使用HOL Light進行形式驗證，以保證代碼的正確性，並要求所有代碼變更必須通過正式的正確性證明。
- AWS已釋出各種API以促進與多種程式語言的整合，增加開源使用案例。
🔖 Keywords:
#automated_reasoning #cryptography #x25519 #Ed25519 #AWS_LC