Code

Add Replicated Sqrt operation#1051

Code

Merged

yanndupis merged 6 commits intomaintf-encrypted/moose:mainfrom rep-sqrt-optf-encrypted/moose:rep-sqrt-opCopy head branch name to clipboardApr 19, 2022

+268

Commits

Commits on Apr 14, 2022

• Add replicated square root

  yanndupis

  committed
  08e132a

  Copy full SHA for 08e132a

• Add square root to logical dialect

  yanndupis

  committed
  9341563

  Copy full SHA for 9341563

• Add sqrt to edsl

  yanndupis

  committed
  793a6ee

  Copy full SHA for 793a6ee

Commits on Apr 19, 2022

• Add proof for reeplicated sqrt

  yanndupis

  committed
  65a64ab

  Copy full SHA for 65a64ab

• Better test bound

  yanndupis

  committed
  0519356

  Copy full SHA for 0519356

• Check bounds for replicated sqrt

  yanndupis

  committed
  66c4091

  Copy full SHA for 66c4091