Code

Edwards point doubling for X25519#1642

Code

Merged

andres-erbsen merged 6 commits intomit-plv:mastermit-plv/fiat-crypto:masterfrom bMacSwigg:doublebMacSwigg/fiat-crypto:doubleCopy head branch name to clipboardSep 12, 2023

+122-2

Commits

Commits on Sep 9, 2023

• Initial double spec and proof

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  a965e2f

  Copy full SHA for a965e2f

• Rename AddPrecomputed to be more general

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  2d606ef

  Copy full SHA for 2d606ef

• Integrate point doubling into Edwards file

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  6b72541

  Copy full SHA for 6b72541

• Add TODO in comment

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  cf7377f

  Copy full SHA for cf7377f

• Switch to carry_sub and complete proof

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  26eba55

  Copy full SHA for 26eba55

• Update TODO comment

  

  bMacSwigg

  authored and

  andres-erbsen

  committed
  e1bf093

  Copy full SHA for e1bf093