Code

Optimize ML-DSA Implementation#232

Code

Merged

marsella merged 5 commits intomasterGaloisInc/cryptol-specs:masterfrom 205-ml-dsa-optimize-implementationGaloisInc/cryptol-specs:205-ml-dsa-optimize-implementationCopy head branch name to clipboardFeb 11, 2025

+500-2

Commits

Commits on Jan 28, 2025

• Create OptimizedSpecification.cry file and import all functions from Specification.cry

  Show description for 60b2c83
  mariosge

  committed
  60b2c83

  Copy full SHA for 60b2c83

• Implement first level optimizations.

  Show description for 9825576
  mariosge

  committed
  9825576

  Copy full SHA for 9825576

• Implement optimized versions of functions at the second dependency level

  Show description for 5685782
  mariosge

  committed
  5685782

  Copy full SHA for 5685782

Commits on Jan 31, 2025

• Implement optimized versions of functions at the third level

  Show description for 29ca144
  mariosge

  committed
  29ca144

  Copy full SHA for 29ca144

• Add doc comments to all the properties to indicate whether they can prove in a reasonable amount of time or if checking is better

  mariosge

  committed
  fd3c350

  Copy full SHA for fd3c350