CryptOpt: Automatic Optimization of Straightline Code

2023/05/31 by Joel Kuepper, Kuepper, Joel, Andres Erbsen +21
Computer Science · Engineering · #Cryptography and Security (cs.CR) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Low-power high-performance VLSI design #Neural and Evolutionary Computing (cs.NE) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE)

paper · pdf · doi:10.48550/arxiv.2305.19586

openalex publication_date 2023/05/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Manual engineering of high-performance implementations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; however, they are limited by design in what they can do. To address this, we present CryptOpt, an automatic optimizer for long stretches of straightline code. Experimental results across eight hardware platforms show that CryptOpt achieves a speed-up factor of up to 2.56 over current off-the-shelf compilers.

Related

• CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
• CRYPTONITE: Scalable Accelerator Design for Cryptographic Primitives and Algorithms
• Efficient Verification of Optimized Code: Correct High-speed X25519
• The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
• Securing Optimized Code Against Power Side Channels