google / google/heir

Compare SOTA FHE polynomial approximations with HEIR's CF approximation

Open
#658 17 comments 0 reactions 1 assignee Claimed by @j2kun View on GitHub
dialect: polynomial research synthesis
Dominant language
MLIR
Stars
906
Forks
171
Avg merge
4d 12h
Merged PRs (30d)
32

Description

Given that `ReLU(x) = x (0.5 + 0.5 sgn(x))`, this reduces to approximating the sign function, and this paper appears to have the state of the art: https://eprint.iacr.org/2020/834

Also note

- `max(u, v) = ((u+v) + (u-v)sign(u-v)) / 2`
- `min(u, v) = -max(-u, -v) = ((u+v) - (v - u)sign(v - u)) / 2`

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.