Supplementary Materials for the paper titled "Generation of fast finite field arithmetic for Cortex-M4 with ECDH and SQIsign applications"

This document describes the supplementary materials for the long paper titled "Generation of fast finite field arithmetic for Cortex-M4 with ECDH and SQIsign applications". Below is an overview of the included content.

---

Contents

m4-modarith

This folder contains tools and resources for generating modular arithmetic code for the Cortex-M4. It includes:

• Our code generation scripts (folder scripts, with m4generator.py being the main file).
• Generated examples for our code (m4-codegen/) and modarith (modarith-codegen/).
• Our and modarith's implementations of RFC7748 (src/rfc7748.c).
• External code: Pre-generated outputs from fiat-crypto (formally verified arithmetic), open-source implementations from Haase and Labrique, and published code by Emil Lengrenn. Other comparisons included in the paper require manual insertion from the refered links in the paper.
  For additional details on the generator, please read m4-modarith/README.md
• Available as open-source software at https://github.com/Crypto-TII/m4-modarith

m4-modarith-pqm4

This folder contains all code and optimizations for accelerating SQIsign verification on the Cortex-M4 using pqm4 framework, with all implementations acessible under folder crypto_sign.

• Available as open-source software at https://github.com/Crypto-TII/m4-modarith-pqm4