Code

Pipe through carry_sub function#1641

Code

Merged

andres-erbsen merged 5 commits intomit-plv:mastermit-plv/fiat-crypto:masterfrom bMacSwigg:carry_subbMacSwigg/fiat-crypto:carry_subCopy head branch name to clipboardAug 26, 2023

+67-4

Commits

Commits on Aug 25, 2023

• Add carry_sub binop spec

  bMacSwigg

  committed
  97b602f

  Copy full SHA for 97b602f

• Spec & prove carry_sub

  bMacSwigg

  committed
  3d1f330

  Copy full SHA for 3d1f330

• Derive field25519_carry_sub

  bMacSwigg

  committed
  2eadeed

  Copy full SHA for 2eadeed

• Derive carry_sub for fe1305

  bMacSwigg

  committed
  0686505

  Copy full SHA for 0686505

• Dummy carry_sub for Montgomery

  bMacSwigg

  committed
  64bc2b7

  Copy full SHA for 64bc2b7