From e175861268b1c4340ddfd1c17ad6b10334da1567 Mon Sep 17 00:00:00 2001 From: "copybara-service[bot]" Date: Tue, 14 Jan 2025 18:43:52 +0000 Subject: [PATCH] deploy: c9c827dfd9cf216c4af0af995a5498f21ffa5550 --- blog/2023/06/13/hello-world/index.html | 7 +- .../09/05/heir-meeting-2023-08-29/index.html | 7 +- .../10/25/heir-meeting-2023-10-24/index.html | 7 +- .../02/08/heir-meeting-2024-02-08/index.html | 7 +- .../02/22/heir-meeting-2024-02-22/index.html | 7 +- .../05/16/heir-meeting-2024-05-16/index.html | 7 +- .../09/05/heir-meeting-2024-09-05/index.html | 7 +- .../09/19/heir-meeting-2024-09-19/index.html | 7 +- .../10/04/heir-meeting-2024-10-04/index.html | 7 +- blog/_print/index.html | 31 ++++----- blog/index.html | 5 +- blog/index.xml | 56 ++++------------ blog/page/1/index.html | 1 + blog/page/2/index.html | 11 ++++ blog/page/3/index.html | 13 ++++ blog/page/4/index.html | 15 +++++ docs/_print/index.html | 44 ++++++------- docs/dialects/_print/index.html | 44 ++++++------- docs/dialects/index.xml | 22 +++++++ docs/dialects/lattigo/index.html | 46 ++++++------- docs/index.xml | 64 +++++++++++++++++-- index.xml | 56 ++++------------ 22 files changed, 259 insertions(+), 212 deletions(-) create mode 100644 blog/page/1/index.html create mode 100644 blog/page/2/index.html create mode 100644 blog/page/3/index.html create mode 100644 blog/page/4/index.html diff --git a/blog/2023/06/13/hello-world/index.html b/blog/2023/06/13/hello-world/index.html index 0fb6760ec..6ebd964cd 100644 --- a/blog/2023/06/13/hello-world/index.html +++ b/blog/2023/06/13/hello-world/index.html @@ -4,15 +4,14 @@ "> -

Hello, World!

We’re starting a compiler toolchain for homomorphic encryption compilers.

Hello, world! We’re starting a project to unify homomorphic encryption compiler IRs.

Our initial meeting was 2023-05-30 (read-only copy of the minutes). -Stay tuned for future updates while we work out a meeting schedule.

\ No newline at end of file diff --git a/blog/2023/09/05/heir-meeting-2023-08-29/index.html b/blog/2023/09/05/heir-meeting-2023-08-29/index.html index e929d5346..0ee495c6c 100644 --- a/blog/2023/09/05/heir-meeting-2023-08-29/index.html +++ b/blog/2023/09/05/heir-meeting-2023-08-29/index.html @@ -4,15 +4,14 @@ "> -

HEIR meeting 2023-08-29

Notes from the 2023-08-29 HEIR meeting.

Here are the notes from the HEIR meeting on 2023-08-29. There was an issue with the recording, so -there is no video recording this week.

\ No newline at end of file diff --git a/blog/2023/10/25/heir-meeting-2023-10-24/index.html b/blog/2023/10/25/heir-meeting-2023-10-24/index.html index 4230eff0c..ef29e782e 100644 --- a/blog/2023/10/25/heir-meeting-2023-10-24/index.html +++ b/blog/2023/10/25/heir-meeting-2023-10-24/index.html @@ -4,19 +4,18 @@ "> -

HEIR meeting 2023-10-24

Notes from the 2023-10-24 HEIR meeting.

Here are the notes and video recording from the HEIR meeting on 2023-10-24.

Also of note: our talk at FHE.org was last Thursday (recording), and the similar talk at the LLVM developers meeting talk was the previous Wednesday, though the video -has not yet been posted for that.

\ No newline at end of file diff --git a/blog/2024/02/08/heir-meeting-2024-02-08/index.html b/blog/2024/02/08/heir-meeting-2024-02-08/index.html index c1f3d16e2..946d3fd6e 100644 --- a/blog/2024/02/08/heir-meeting-2024-02-08/index.html +++ b/blog/2024/02/08/heir-meeting-2024-02-08/index.html @@ -4,16 +4,15 @@ "> -

HEIR meeting 2024-02-08

Notes from the 2024-02-08 HEIR meeting.

Here are the notes and video recording -from the HEIR meeting on 2024-02-08.

\ No newline at end of file diff --git a/blog/2024/02/22/heir-meeting-2024-02-22/index.html b/blog/2024/02/22/heir-meeting-2024-02-22/index.html index a2c789527..6c5198a66 100644 --- a/blog/2024/02/22/heir-meeting-2024-02-22/index.html +++ b/blog/2024/02/22/heir-meeting-2024-02-22/index.html @@ -4,16 +4,15 @@ "> -

HEIR meeting 2024-02-22

Notes from the 2024-02-22 HEIR meeting.

Here are the notes and video recording -from the HEIR meeting on 2024-02-22.

\ No newline at end of file diff --git a/blog/2024/05/16/heir-meeting-2024-05-16/index.html b/blog/2024/05/16/heir-meeting-2024-05-16/index.html index afc8be9e3..62f21d830 100644 --- a/blog/2024/05/16/heir-meeting-2024-05-16/index.html +++ b/blog/2024/05/16/heir-meeting-2024-05-16/index.html @@ -4,15 +4,16 @@ "> -

HEIR meeting 2024-05-16

Notes from the 2024-05-16 HEIR meeting.
By Jeremy Kun | +

Here are the notes and video recording -from the HEIR meeting on 2024-05-16.

Last modified August 25, 2024: add pre-commit hook for markdown formatter (290c3617)
\ No newline at end of file diff --git a/blog/2024/09/05/heir-meeting-2024-09-05/index.html b/blog/2024/09/05/heir-meeting-2024-09-05/index.html index bfaa45916..6e7768f58 100644 --- a/blog/2024/09/05/heir-meeting-2024-09-05/index.html +++ b/blog/2024/09/05/heir-meeting-2024-09-05/index.html @@ -4,16 +4,15 @@ "> -

HEIR meeting 2024-09-05

Notes from the 2024-09-05 HEIR meeting.

Here are the notes and video recording -from the HEIR meeting on 2024-09-05.

\ No newline at end of file diff --git a/blog/2024/09/19/heir-meeting-2024-09-19/index.html b/blog/2024/09/19/heir-meeting-2024-09-19/index.html index e50d692f2..5e87c4ef3 100644 --- a/blog/2024/09/19/heir-meeting-2024-09-19/index.html +++ b/blog/2024/09/19/heir-meeting-2024-09-19/index.html @@ -4,16 +4,15 @@ "> -

HEIR meeting 2024-09-19

Notes from the 2024-09-19 HEIR meeting.

Here are the notes and video recording -from the HEIR meeting on 2024-09-19.

\ No newline at end of file diff --git a/blog/2024/10/04/heir-meeting-2024-10-04/index.html b/blog/2024/10/04/heir-meeting-2024-10-04/index.html index 720e496d3..c45d48f0b 100644 --- a/blog/2024/10/04/heir-meeting-2024-10-04/index.html +++ b/blog/2024/10/04/heir-meeting-2024-10-04/index.html @@ -4,15 +4,16 @@ "> -

HEIR meeting 2024-10-04

Notes from the 2024-10-04 HEIR meeting.
By Asra Ali | +

Here are the notes and video recording -from the HEIR meeting on 2024-10-04.

Last modified October 7, 2024: Add HEIR meeting notes for 2024-10-04. (fda0e176)
\ No newline at end of file diff --git a/blog/_print/index.html b/blog/_print/index.html index 772dc85d5..6d7eefe9f 100644 --- a/blog/_print/index.html +++ b/blog/_print/index.html @@ -1,7 +1,7 @@ Blog | HEIR -

This is the multi-page printable view of this section. -Click here to print.

Return to the regular view of this page.

Blog

HEIR as a Platform for Research (and new YouTube Channel)

Notes from the 2024-12-05 HEIR meeting.
By Jeremy Kun | +

This is the multi-page printable view of this section. +Click here to print.

Return to the regular view of this page.

Blog

HEIR as a Platform for Research (and new YouTube Channel)

Notes from the 2024-12-05 HEIR meeting.
By Jeremy Kun |

On 2024-12-05, the HEIR team presented a talk aimed at giving researchers a high-level overview of the HEIR project, brainstorming where new research might be needed, and discussing how the HEIR team could help with research projects.

The video recording of this talk is on YouTube, @@ -17,17 +17,16 @@ notes and video recording -from the HEIR meeting on 2024-10-31.

4 - HEIR meeting 2024-10-04

Notes from the 2024-10-04 HEIR meeting.

Here are the +from the HEIR meeting on 2024-10-31.

HEIR meeting 2024-10-04

Notes from the 2024-10-04 HEIR meeting.
By Asra Ali | +

Here are the notes and video recording -from the HEIR meeting on 2024-10-04.

HEIR meeting 2024-09-19

Notes from the 2024-09-19 HEIR meeting.
By Asra Ali | -

Here are the +from the HEIR meeting on 2024-10-04.

5 - HEIR meeting 2024-09-19

Notes from the 2024-09-19 HEIR meeting.

Here are the notes and video recording -from the HEIR meeting on 2024-09-19.

HEIR meeting 2024-09-05

Notes from the 2024-09-05 HEIR meeting.
By Asra Ali | -

Here are the +from the HEIR meeting on 2024-09-19.

6 - HEIR meeting 2024-09-05

Notes from the 2024-09-05 HEIR meeting.

Here are the notes and video recording @@ -72,7 +71,8 @@ notes and video recording -from the HEIR meeting on 2024-05-30.

15 - HEIR meeting 2024-05-16

Notes from the 2024-05-16 HEIR meeting.

Here are the +from the HEIR meeting on 2024-05-30.

HEIR meeting 2024-05-16

Notes from the 2024-05-16 HEIR meeting.
By Jeremy Kun | +

Here are the notes and video recording @@ -97,13 +97,11 @@ and video recording from the HEIR meeting on 2024-03-07.

Note: there will be no HEIR meeting on 2024-03-21 due to the FHE.org, HACS, and -RWC conferences. Hope to see you all there!

HEIR meeting 2024-02-22

Notes from the 2024-02-22 HEIR meeting.
By Jeremy Kun | -

Here are the +RWC conferences. Hope to see you all there!

20 - HEIR meeting 2024-02-22

Notes from the 2024-02-22 HEIR meeting.

Here are the notes and video recording -from the HEIR meeting on 2024-02-22.

HEIR meeting 2024-02-08

Notes from the 2024-02-08 HEIR meeting.
By Jeremy Kun | -

Here are the +from the HEIR meeting on 2024-02-22.

21 - HEIR meeting 2024-02-08

Notes from the 2024-02-08 HEIR meeting.

Here are the notes and video recording @@ -134,8 +132,7 @@ notes and video recording -from the HEIR meeting on 2023-11-07.

HEIR meeting 2023-10-24

Notes from the 2023-10-24 HEIR meeting.
By Jeremy Kun | -

Here are the +from the HEIR meeting on 2023-11-07.

27 - HEIR meeting 2023-10-24

Notes from the 2023-10-24 HEIR meeting.

Here are the notes and video recording @@ -154,8 +151,7 @@ notes and video recording -from the HEIR meeting on 2023-09-12.

HEIR meeting 2023-08-29

Notes from the 2023-08-29 HEIR meeting.
By Jeremy Kun | -

Here are the +from the HEIR meeting on 2023-09-12.

30 - HEIR meeting 2023-08-29

Notes from the 2023-08-29 HEIR meeting.

Here are the notes from the HEIR meeting on 2023-08-29. There was an issue with the recording, so there is no video recording this week.

HEIR meeting 2023-08-15

Notes from the 2023-08-15 HEIR meeting.
By Jeremy Kun | @@ -181,8 +177,7 @@ and video recording).

There are some initial design discussion threads started on GitHub Discussions to get the -design rolling.

Hello, World!

We’re starting a compiler toolchain for homomorphic encryption compilers.
By Jeremy Kun | -

Hello, world! We’re starting a project to unify homomorphic encryption compiler +design rolling.

35 - Hello, World!

We’re starting a compiler toolchain for homomorphic encryption compilers.

Hello, world! We’re starting a project to unify homomorphic encryption compiler IRs.

Our initial meeting was 2023-05-30 (read-only copy of the minutes). Stay tuned for future updates while we work out a meeting schedule.

© 2025 The HEIR Authors All Rights Reserved diff --git a/blog/index.html b/blog/index.html index d2aa5b8af..03cca4ebb 100644 --- a/blog/index.html +++ b/blog/index.html @@ -1,10 +1,11 @@ Blog | HEIR -

Posts in 2024

\ No newline at end of file diff --git a/blog/index.xml b/blog/index.xml index e7a1eed52..56d605923 100644 --- a/blog/index.xml +++ b/blog/index.xml @@ -15,17 +15,12 @@ from the HEIR meeting on 2024-11-26.</p>Blo <a href="https://docs.google.com/document/d/1QUxT00gd1ZSayzdtxY5T5-Wiod-eNnCFGoqVceWQ83Y/edit?usp=sharing">notes</a> and <a href="https://drive.google.com/file/d/1Q9a7O7HwxKMDqI23l3154KIOw1ofANkX/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-10-31.</p></description></item><item><title>Blog: HEIR meeting 2024-09-19https://heir.dev/blog/2024/09/19/heir-meeting-2024-09-19/Thu, 19 Sep 2024 00:00:00 +0000https://heir.dev/blog/2024/09/19/heir-meeting-2024-09-19/ +from the HEIR meeting on 2024-10-31.</p>Blog: HEIR meeting 2024-10-04https://heir.dev/blog/2024/10/04/heir-meeting-2024-10-04/Fri, 04 Oct 2024 00:00:00 +0000https://heir.dev/blog/2024/10/04/heir-meeting-2024-10-04/ <p>Here are the -<a href="https://docs.google.com/document/d/1aGIiZPWpk7UMg5FD8ZYHmNhKVZ6NdhfmGMvyHrrlolM/edit?usp=sharing">notes</a> +<a href="https://docs.google.com/document/d/1tlC-g3JKOB9wxfQMEJnKQk0C0eBdtBCzZX8ck7J37fI/edit?usp=sharing">notes</a> and -<a href="https://drive.google.com/file/d/1i-HqUi8pb2ywUJ-OT4fWExYCmeRLu2Cn/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-09-19.</p>Blog: HEIR meeting 2024-09-05https://heir.dev/blog/2024/09/05/heir-meeting-2024-09-05/Thu, 05 Sep 2024 00:00:00 +0000https://heir.dev/blog/2024/09/05/heir-meeting-2024-09-05/ -<p>Here are the -<a href="https://docs.google.com/document/d/1tohVmC2pn_XDn3gjCFeo3K4Wfyf7VWu3oK1vimEsFD4/edit?usp=sharing">notes</a> -and -<a href="https://drive.google.com/file/d/1XGheLF7kvJfwAMJJQ-XbDpa4Ld15kj4t/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-09-05.</p>Blog: HEIR meeting 2024-08-22https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/Thu, 22 Aug 2024 00:00:00 +0000https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/ +<a href="https://drive.google.com/file/d/1OFfrwWesFpxVHw2DFuNAxSB8seLG_tr1/view?usp=sharing">video recording</a> +from the HEIR meeting on 2024-10-04.</p>Blog: HEIR meeting 2024-08-22https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/Thu, 22 Aug 2024 00:00:00 +0000https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/ <p>Here are the <a href="https://docs.google.com/document/d/1iEkzpO6lCVbShMcRenO3j3DptOEP-0bLu_9V4K7c39M/edit?usp=sharing">notes</a> and @@ -66,7 +61,12 @@ from the HEIR meeting on 2024-06-13.</p>Blo <a href="https://docs.google.com/document/d/1mvigwMRTeVQvdpm2hwiewfU8jcJT94ArQBNvngvgkTc/edit?usp=sharing">notes</a> and <a href="https://drive.google.com/file/d/1CTIyd7HRiNV857VO2EonquWZZlBhysLM/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-05-30.</p></description></item><item><title>Blog: HEIR meeting 2024-05-02https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/Thu, 02 May 2024 00:00:00 +0000https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/ +from the HEIR meeting on 2024-05-30.</p>Blog: HEIR meeting 2024-05-16https://heir.dev/blog/2024/05/16/heir-meeting-2024-05-16/Thu, 16 May 2024 00:00:00 +0000https://heir.dev/blog/2024/05/16/heir-meeting-2024-05-16/ +<p>Here are the +<a href="https://docs.google.com/document/d/15MwanXaBap6qNzYj7g1m6zRcqK363O-3iCCcNcGY1Ds/edit?usp=sharing">notes</a> +and +<a href="https://drive.google.com/file/d/1gOf_Tb8k9UNx7i0OvjjikkYUG3HrPjoS/view?usp=sharing">video recording</a> +from the HEIR meeting on 2024-05-16.</p>Blog: HEIR meeting 2024-05-02https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/Thu, 02 May 2024 00:00:00 +0000https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/ <p>Here are the <a href="https://docs.google.com/document/d/1uEDeIN0iTUmmtlacZg0c2j7VbAHO3A9e0_8mnunUv10/edit?usp=sharing">notes</a> and @@ -88,17 +88,7 @@ and <a href="https://drive.google.com/file/d/1oVJG-fM72nNLiR1eXkzdeaqdDOEpTfK0/view?usp=sharing">video recording</a> from the HEIR meeting on 2024-03-07.</p> <p>Note: there will be no HEIR meeting on 2024-03-21 due to the FHE.org, HACS, and -RWC conferences. Hope to see you all there!</p>Blog: HEIR meeting 2024-02-22https://heir.dev/blog/2024/02/22/heir-meeting-2024-02-22/Thu, 22 Feb 2024 00:00:00 +0000https://heir.dev/blog/2024/02/22/heir-meeting-2024-02-22/ -<p>Here are the -<a href="https://docs.google.com/document/d/1ktK2Y2-OnadvsIIa94HRch_oHCaQ0D6gbT3CElKmGak/edit?usp=sharing">notes</a> -and -<a href="https://drive.google.com/file/d/1RDONadr54-7uX5ko5dmUX3s1l7QHeHbM/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-02-22.</p>Blog: HEIR meeting 2024-02-08https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/Thu, 08 Feb 2024 00:00:00 +0000https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/ -<p>Here are the -<a href="https://docs.google.com/document/d/1w0Cc3YfbSNO4PYVdGjb8KpE5rql8zgoDG2X0Yseon_4/edit?usp=sharing">notes</a> -and -<a href="https://drive.google.com/file/d/1rTsc-sWdRCqJWONrgGo5FV7CQd1S_OV-/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-02-08.</p>Blog: HEIR meeting 2024-01-25https://heir.dev/blog/2024/01/25/heir-meeting-2024-01-25/Thu, 25 Jan 2024 00:00:00 +0000https://heir.dev/blog/2024/01/25/heir-meeting-2024-01-25/ +RWC conferences. Hope to see you all there!</p>Blog: HEIR meeting 2024-01-25https://heir.dev/blog/2024/01/25/heir-meeting-2024-01-25/Thu, 25 Jan 2024 00:00:00 +0000https://heir.dev/blog/2024/01/25/heir-meeting-2024-01-25/ <p>Here are the <a href="https://docs.google.com/document/d/1yrkAVR_348vT3SD7apb9QDoFIgz0bjHn-SzT2GOacfs/edit?usp=sharing">notes</a> and @@ -126,16 +116,7 @@ from the HEIR meeting on 2023-11-28.</p>Blo <a href="https://docs.google.com/document/d/1nOlAhul4DwZU8UQPpTF1i3OldSY9EmwaWG3EPSZIhHs/edit?usp=sharing">notes</a> and <a href="https://drive.google.com/file/d/1I7aIipm54CCcDcLyRYXI_gARfT1z93cN/view?usp=sharing">video recording</a> -from the HEIR meeting on 2023-11-07.</p></description></item><item><title>Blog: HEIR meeting 2023-10-24https://heir.dev/blog/2023/10/25/heir-meeting-2023-10-24/Wed, 25 Oct 2023 00:00:00 +0000https://heir.dev/blog/2023/10/25/heir-meeting-2023-10-24/ -<p>Here are the -<a href="https://docs.google.com/document/d/1MYjjkytck0fxySbrh49hxBJgNM78NXSD0ZwzAgEPOUw/edit?usp=sharing">notes</a> -and -<a href="https://drive.google.com/file/d/1zrSCQJXta40KbBiCjcIWOP3gd1tuc3MU/view?usp=sharing">video recording</a> -from the HEIR meeting on 2023-10-24.</p> -<p>Also of note: our talk at FHE.org was last Thursday -(<a href="https://www.youtube.com/watch?v=kqDFdKUTNA4">recording</a>), and the similar talk -at the LLVM developers meeting talk was the previous Wednesday, though the video -has not yet been posted for that.</p>Blog: HEIR meeting 2023-09-26https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/Wed, 27 Sep 2023 00:00:00 +0000https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/ +from the HEIR meeting on 2023-11-07.</p>Blog: HEIR meeting 2023-09-26https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/Wed, 27 Sep 2023 00:00:00 +0000https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/ <p>Here are the <a href="https://docs.google.com/document/d/1pkG8eaSUddAySJWjQHIFqe0hyYkO0wH9X0JtnR6wlWo/edit?usp=sharing">notes</a> and @@ -148,11 +129,7 @@ Alex Viand and I will be giving at the LLVM developers meeting.</p>notes</a> and <a href="https://drive.google.com/file/d/1zFtpBcCCq5d6UD8Nm8r3rfg3sgy-guz7/view?usp=sharing">video recording</a> -from the HEIR meeting on 2023-09-12.</p>Blog: HEIR meeting 2023-08-29https://heir.dev/blog/2023/09/05/heir-meeting-2023-08-29/Tue, 05 Sep 2023 00:00:00 +0000https://heir.dev/blog/2023/09/05/heir-meeting-2023-08-29/ -<p>Here are the -<a href="https://docs.google.com/document/d/1Lax8Inby5Mg8BZLkcV_5hUiWH-roL22rtszfc0PBGmE/edit?usp=sharing">notes</a> -from the HEIR meeting on 2023-08-29. There was an issue with the recording, so -there is no video recording this week.</p>Blog: HEIR meeting 2023-08-15https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/Wed, 16 Aug 2023 16:15:47 +0000https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/ +from the HEIR meeting on 2023-09-12.</p>Blog: HEIR meeting 2023-08-15https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/Wed, 16 Aug 2023 16:15:47 +0000https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/ <p>Here are the <a href="https://docs.google.com/document/d/1vZsKJH4wCAZCtyh3o9nNMLRFwlWQiVdvUMvwJnA4cIc/edit?usp=sharing">notes</a> and @@ -183,9 +160,4 @@ design rolling.</p> <li><a href="https://github.com/google/heir/discussions/53">High-Level FHE Dialect</a></li> <li><a href="https://github.com/google/heir/discussions/54">Scheme Dialects</a></li> <li><a href="https://github.com/google/heir/discussions/55">Poly/Math Dialects</a></li> -</ul>Blog: Hello, World!https://heir.dev/blog/2023/06/13/hello-world/Tue, 13 Jun 2023 13:15:10 -0700https://heir.dev/blog/2023/06/13/hello-world/ -<p>Hello, world! We&rsquo;re starting a project to unify homomorphic encryption compiler -IRs.</p> -<p>Our initial meeting was 2023-05-30 -(<a href="https://docs.google.com/document/d/1iyiHfseoVkA1qaP3Ig47kqVC-J1_AIidPaj61jvj2KM/edit?usp=sharing">read-only copy of the minutes</a>). -Stay tuned for future updates while we work out a meeting schedule.</p> \ No newline at end of file +</ul> \ No newline at end of file diff --git a/blog/page/1/index.html b/blog/page/1/index.html new file mode 100644 index 000000000..d34bb9b27 --- /dev/null +++ b/blog/page/1/index.html @@ -0,0 +1 @@ +https://heir.dev/blog/ \ No newline at end of file diff --git a/blog/page/2/index.html b/blog/page/2/index.html new file mode 100644 index 000000000..9a18e37dc --- /dev/null +++ b/blog/page/2/index.html @@ -0,0 +1,11 @@ +Blog | HEIR + +

Posts in 2024

+ + \ No newline at end of file diff --git a/blog/page/3/index.html b/blog/page/3/index.html new file mode 100644 index 000000000..3b0d0c29f --- /dev/null +++ b/blog/page/3/index.html @@ -0,0 +1,13 @@ +Blog | HEIR + +

Posts in 2024

Posts in 2023

  • HEIR meeting 2023-12-12

    Tuesday, December 12, 2023 in Blog

    Here are the notes and video recording from the HEIR meeting on 2023-12-12. +This is the last meeting for 2023. Please respond to this poll for 2024 scheduling preferences.

    Read more

  • HEIR meeting 2023-11-28

    Tuesday, November 28, 2023 in Blog

    Here are the notes and video recording from the HEIR meeting on 2023-11-28.

    Read more

  • HEIR meeting 2023-11-07

    Tuesday, November 07, 2023 in Blog

    Here are the notes and video recording from the HEIR meeting on 2023-11-07.

    Read more

  • HEIR meeting 2023-10-24

    Wednesday, October 25, 2023 in Blog

    Here are the notes and video recording from the HEIR meeting on 2023-10-24. +Also of note: our talk at FHE.org was last Thursday (recording), and the similar talk at the LLVM developers meeting talk was the previous Wednesday, though the video has not …

    Read more

  • HEIR meeting 2023-09-26

    Wednesday, September 27, 2023 in Blog

    Here are the notes and video recording from the HEIR meeting on 2023-09-26. +Next meeting (Oct 10) is canceled for the MLIR workshop, and I’ll post an update from that workshop on this blog, hopefully also with a video of the talk that Alex …

    Read more

  • HEIR meeting 2023-09-12

    Wednesday, September 13, 2023 in Blog

    Here are the notes and video recording from the HEIR meeting on 2023-09-12.

    Read more

  • HEIR meeting 2023-08-29

    Tuesday, September 05, 2023 in Blog

    Here are the notes from the HEIR meeting on 2023-08-29. There was an issue with the recording, so there is no video recording this week.

    Read more

+ + \ No newline at end of file diff --git a/blog/page/4/index.html b/blog/page/4/index.html new file mode 100644 index 000000000..b966b50f1 --- /dev/null +++ b/blog/page/4/index.html @@ -0,0 +1,15 @@ +Blog | HEIR + +

Posts in 2023

  • HEIR meeting 2023-08-15

    Wednesday, August 16, 2023 in Blog

    Here are the notes and video recording from the HEIR meeting on 2023-08-15.

    Read more

  • HEIR meeting 2023-08-01

    Wednesday, August 02, 2023 in Blog

    The fourth HEIR meeting was 2023-08-01 (notes and video recording). +We’re also starting on the Poly and Secret dialects in #74 (poly) and #78 (secret), so please join in the fun!

    Read more

  • HEIR meeting 2023-07-18

    Tuesday, July 18, 2023 in Blog

    The third HEIR meeting was 2023-07-18 (notes). +We decided to schedule future meetings every two weeks, with alternating focus on MLIR and Hardware. See the meeting calendar to join. (direct link to the calendar)

    Read more

  • HEIR meeting 2023-06-30

    Friday, June 30, 2023 in Blog

    The second HEIR meeting was 2023-05-30 (notes, and video recording). +There are some initial design discussion threads started on GitHub Discussions to get the design rolling. +High-Level FHE Dialect Scheme Dialects Poly/Math Dialects

    Read more

  • Hello, World!

    Tuesday, June 13, 2023 in Blog

    Hello, world! We’re starting a project to unify homomorphic encryption compiler IRs. +Our initial meeting was 2023-05-30 (read-only copy of the minutes). Stay tuned for future updates while we work out a meeting schedule.

    Read more

+ + \ No newline at end of file diff --git a/docs/_print/index.html b/docs/_print/index.html index 94e6c29c1..39fc5f3bd 100644 --- a/docs/_print/index.html +++ b/docs/_print/index.html @@ -1631,30 +1631,30 @@ ::mlir::IntegerAttr # galoisElement >

This type represents the Galois key for the RLWE encryption scheme.

galoisElement: Enabling the automorphism X -> X^{galoisElement}.

Parameters:

ParameterC++ typeDescription
galoisElement::mlir::IntegerAttrAn Attribute containing a integer value

RLWEKeyGeneratorType

Syntax: !lattigo.rlwe.key_generator

This type represents the key generator for the RLWE encryption scheme.

RLWEPlaintextType

Syntax: !lattigo.rlwe.plaintext

This type represents the plaintext for the RLWE encryption scheme.

RLWEPublicKeyType

Syntax: !lattigo.rlwe.public_key

This type represents the public key for the RLWE encryption scheme.

RLWERelinearizationKeyType

Syntax: !lattigo.rlwe.relinearization_key

This type represents the relinearization key for the RLWE encryption scheme.

RLWESecretKeyType

Syntax: !lattigo.rlwe.secret_key

This type represents the secret key for the RLWE encryption scheme.

Lattigo ops

lattigo.bgv.add (heir::lattigo::BGVAddOp)

Add two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.add` operands attr-dict `:` functional-type(operands, results)
-

This operation adds two ciphertext values in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.bgv.decode (heir::lattigo::BGVDecodeOp)

Decode a plaintext value in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.decode` operands attr-dict `:` functional-type(operands, results)
-

This operation decodes a plaintext value using the specified encoder in the Lattigo BGV dialect.

Operands:

OperandDescription
encoder
plaintext
valueany type

Results:

ResultDescription
decodedany type

lattigo.bgv.encode (heir::lattigo::BGVEncodeOp)

Encode a plaintext value in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.encode` operands attr-dict `:` functional-type(operands, results)
-

This operation encodes a plaintext value using the specified encoder in the Lattigo BGV dialect.

Operands:

OperandDescription
encoder
valueany type
plaintext

Results:

ResultDescription
encoded

lattigo.bgv.mul (heir::lattigo::BGVMulOp)

Multiply two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.mul` operands attr-dict `:` functional-type(operands, results)
-

This operation multiplies two ciphertext values in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.bgv.new_encoder (heir::lattigo::BGVNewEncoderOp)

Create a new encoder in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_encoder` operands attr-dict `:` functional-type(operands, results)
-

This operation creates a new encoder for encoding plaintext values in the Lattigo BGV dialect.

Operands:

OperandDescription
params

Results:

ResultDescription
encoder

lattigo.bgv.new_evaluator (heir::lattigo::BGVNewEvaluatorOp)

Create a new evaluator in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_evaluator` operands attr-dict `:` functional-type(operands, results)
+

This operation adds two ciphertext values in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.bgv.decode (heir::lattigo::BGVDecodeOp)

Decode a plaintext value in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.decode` operands attr-dict `:` functional-type(operands, results)
+

This operation decodes a plaintext value using the specified encoder in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
encoder
plaintext
valueany type

Results:

ResultDescription
decodedany type

lattigo.bgv.encode (heir::lattigo::BGVEncodeOp)

Encode a plaintext value in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.encode` operands attr-dict `:` functional-type(operands, results)
+

This operation encodes a plaintext value using the specified encoder in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
encoder
valueany type
plaintext

Results:

ResultDescription
encoded

lattigo.bgv.mul (heir::lattigo::BGVMulOp)

Multiply two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.mul` operands attr-dict `:` functional-type(operands, results)
+

This operation multiplies two ciphertext values in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.bgv.new_encoder (heir::lattigo::BGVNewEncoderOp)

Create a new encoder in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_encoder` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new encoder for encoding plaintext values in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params

Results:

ResultDescription
encoder

lattigo.bgv.new_evaluator (heir::lattigo::BGVNewEvaluatorOp)

Create a new evaluator in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_evaluator` operands attr-dict `:` functional-type(operands, results)

This operation creates a new evaluator for performing operations on ciphertexts in the Lattigo BGV dialect.

By default, the evaluator is created with the provided parameters and could execute operations which does not relying on evaluation keys.

To support operations that require evaluation keys, -the optional evaluation key set should be provided.

Operands:

OperandDescription
params
evaluationKeySet

Results:

ResultDescription
evaluator

lattigo.bgv.new_parameters_from_literal (heir::lattigo::BGVNewParametersFromLiteralOp)

Create new BGV parameters from a literal in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_parameters_from_literal` operands attr-dict `:` functional-type(operands, results)
-

This operation creates new BGV parameters from a given literal value in the Lattigo BGV dialect.

Attributes:

AttributeMLIR TypeDescription
paramsLiteral::mlir::heir::lattigo::BGVParametersLiteralAttrLiteral parameters for Lattigo BGV

Results:

ResultDescription
params

lattigo.bgv.new_plaintext (heir::lattigo::BGVNewPlaintextOp)

Create a new plaintext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_plaintext` operands attr-dict `:` functional-type(operands, results)
-

This operation creates a new plaintext value in the Lattigo BGV dialect.

Operands:

OperandDescription
params

Results:

ResultDescription
plaintext

lattigo.bgv.relinearize (heir::lattigo::BGVRelinearizeOp)

Relinearize a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.relinearize` operands attr-dict `:` functional-type(operands, results)
-

This operation relinearizes a ciphertext value in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rescale (heir::lattigo::BGVRescaleOp)

Rescale a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rescale` operands attr-dict `:` functional-type(operands, results)
-

This operation rescales a ciphertext value in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_columns (heir::lattigo::BGVRotateColumnsOp)

Rotate columns of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_columns` operands attr-dict `:` functional-type(operands, results)
-

This operation rotates the columns of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where N/2 is the column.

offset is valid in (-N/2, N/2).

Attributes:

AttributeMLIR TypeDescription
offset::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_rows (heir::lattigo::BGVRotateRowsOp)

Rotate rows of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_rows` operands attr-dict `:` functional-type(operands, results)
-

This operation swap the rows of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where 2 is the row.

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.sub (heir::lattigo::BGVSubOp)

Subtract two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.sub` operands attr-dict `:` functional-type(operands, results)
-

This operation subtracts one ciphertext value from another in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.rlwe.decrypt (heir::lattigo::RLWEDecryptOp)

Decrypts a ciphertext using RLWE

Syntax:

operation ::= `lattigo.rlwe.decrypt` operands attr-dict `:` functional-type(operands, results)
-

This operation decrypts a ciphertext using RLWE

Operands:

OperandDescription
decryptor
ciphertext

Results:

ResultDescription
plaintext

lattigo.rlwe.encrypt (heir::lattigo::RLWEEncryptOp)

Encrypts a plaintext using RLWE

Syntax:

operation ::= `lattigo.rlwe.encrypt` operands attr-dict `:` functional-type(operands, results)
-

This operation encrypts a plaintext using RLWE

Operands:

OperandDescription
encryptor
plaintext

Results:

ResultDescription
ciphertext

lattigo.rlwe.gen_galois_key (heir::lattigo::RLWEGenGaloisKeyOp)

Generates a new RLWE Galois key

Syntax:

operation ::= `lattigo.rlwe.gen_galois_key` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE Galois key

galoisElement: Enabling the automorphism X -> X^{galoisElement}.

Attributes:

AttributeMLIR TypeDescription
galoisElement::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
galoisKey

lattigo.rlwe.gen_key_pair (heir::lattigo::RLWEGenKeyPairOp)

Generates a new RLWE key pair

Syntax:

operation ::= `lattigo.rlwe.gen_key_pair` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE key pair

Operands:

OperandDescription
keyGenerator

Results:

ResultDescription
secretKey
publicKey

lattigo.rlwe.gen_relinearization_key (heir::lattigo::RLWEGenRelinearizationKeyOp)

Generates a new RLWE relinearization key

Syntax:

operation ::= `lattigo.rlwe.gen_relinearization_key` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE relinearization key

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
relinearizationKey

lattigo.rlwe.new_decryptor (heir::lattigo::RLWENewDecryptorOp)

Creates a new RLWE decryptor

Syntax:

operation ::= `lattigo.rlwe.new_decryptor` operands attr-dict `:` functional-type(operands, results)
-

This operation creates a new RLWE decryptor

Operands:

OperandDescription
params
secretKey

Results:

ResultDescription
decryptor

lattigo.rlwe.new_encryptor (heir::lattigo::RLWENewEncryptorOp)

Creates a new RLWE encryptor

Syntax:

operation ::= `lattigo.rlwe.new_encryptor` operands attr-dict `:` functional-type(operands, results)
-

This operation creates a new RLWE encryptor

Operands:

OperandDescription
params
publicKey

Results:

ResultDescription
encryptor

lattigo.rlwe.new_evaluation_key_set (heir::lattigo::RLWENewEvaluationKeySetOp)

Generates a new RLWE evaluation key set

Syntax:

operation ::= `lattigo.rlwe.new_evaluation_key_set` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE evaluation key set

Operands:

OperandDescription
relinearizationKey
galoisKeysvariadic of

Results:

ResultDescription
evaluationKeySet

lattigo.rlwe.new_key_generator (heir::lattigo::RLWENewKeyGeneratorOp)

Generates a new RLWE key generator

Syntax:

operation ::= `lattigo.rlwe.new_key_generator` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE key generator

Operands:

OperandDescription
params

Results:

ResultDescription
keyGenerator

7.7 - LWE

’lwe’ Dialect

The lwe dialect is a dialect for concepts related to cryptosystems +the optional evaluation key set should be provided.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
evaluationKeySet

Results:

ResultDescription
evaluator

lattigo.bgv.new_parameters_from_literal (heir::lattigo::BGVNewParametersFromLiteralOp)

Create new BGV parameters from a literal in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_parameters_from_literal` operands attr-dict `:` functional-type(operands, results)
+

This operation creates new BGV parameters from a given literal value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
paramsLiteral::mlir::heir::lattigo::BGVParametersLiteralAttrLiteral parameters for Lattigo BGV

Results:

ResultDescription
params

lattigo.bgv.new_plaintext (heir::lattigo::BGVNewPlaintextOp)

Create a new plaintext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_plaintext` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new plaintext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params

Results:

ResultDescription
plaintext

lattigo.bgv.relinearize (heir::lattigo::BGVRelinearizeOp)

Relinearize a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.relinearize` operands attr-dict `:` functional-type(operands, results)
+

This operation relinearizes a ciphertext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rescale (heir::lattigo::BGVRescaleOp)

Rescale a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rescale` operands attr-dict `:` functional-type(operands, results)
+

This operation rescales a ciphertext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_columns (heir::lattigo::BGVRotateColumnsOp)

Rotate columns of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_columns` operands attr-dict `:` functional-type(operands, results)
+

This operation rotates the columns of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where N/2 is the column.

offset is valid in (-N/2, N/2).

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
offset::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_rows (heir::lattigo::BGVRotateRowsOp)

Rotate rows of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_rows` operands attr-dict `:` functional-type(operands, results)
+

This operation swap the rows of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where 2 is the row.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.sub (heir::lattigo::BGVSubOp)

Subtract two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.sub` operands attr-dict `:` functional-type(operands, results)
+

This operation subtracts one ciphertext value from another in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.rlwe.decrypt (heir::lattigo::RLWEDecryptOp)

Decrypts a ciphertext using RLWE

Syntax:

operation ::= `lattigo.rlwe.decrypt` operands attr-dict `:` functional-type(operands, results)
+

This operation decrypts a ciphertext using RLWE

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
decryptor
ciphertext

Results:

ResultDescription
plaintext

lattigo.rlwe.encrypt (heir::lattigo::RLWEEncryptOp)

Encrypts a plaintext using RLWE

Syntax:

operation ::= `lattigo.rlwe.encrypt` operands attr-dict `:` functional-type(operands, results)
+

This operation encrypts a plaintext using RLWE

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
encryptor
plaintext

Results:

ResultDescription
ciphertext

lattigo.rlwe.gen_galois_key (heir::lattigo::RLWEGenGaloisKeyOp)

Generates a new RLWE Galois key

Syntax:

operation ::= `lattigo.rlwe.gen_galois_key` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE Galois key

galoisElement: Enabling the automorphism X -> X^{galoisElement}.

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
galoisElement::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
galoisKey

lattigo.rlwe.gen_key_pair (heir::lattigo::RLWEGenKeyPairOp)

Generates a new RLWE key pair

Syntax:

operation ::= `lattigo.rlwe.gen_key_pair` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE key pair

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
keyGenerator

Results:

ResultDescription
secretKey
publicKey

lattigo.rlwe.gen_relinearization_key (heir::lattigo::RLWEGenRelinearizationKeyOp)

Generates a new RLWE relinearization key

Syntax:

operation ::= `lattigo.rlwe.gen_relinearization_key` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE relinearization key

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
relinearizationKey

lattigo.rlwe.new_decryptor (heir::lattigo::RLWENewDecryptorOp)

Creates a new RLWE decryptor

Syntax:

operation ::= `lattigo.rlwe.new_decryptor` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new RLWE decryptor

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
secretKey

Results:

ResultDescription
decryptor

lattigo.rlwe.new_encryptor (heir::lattigo::RLWENewEncryptorOp)

Creates a new RLWE encryptor

Syntax:

operation ::= `lattigo.rlwe.new_encryptor` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new RLWE encryptor

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
publicKey

Results:

ResultDescription
encryptor

lattigo.rlwe.new_evaluation_key_set (heir::lattigo::RLWENewEvaluationKeySetOp)

Generates a new RLWE evaluation key set

Syntax:

operation ::= `lattigo.rlwe.new_evaluation_key_set` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE evaluation key set

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
relinearizationKey
galoisKeysvariadic of

Results:

ResultDescription
evaluationKeySet

lattigo.rlwe.new_key_generator (heir::lattigo::RLWENewKeyGeneratorOp)

Generates a new RLWE key generator

Syntax:

operation ::= `lattigo.rlwe.new_key_generator` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE key generator

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params

Results:

ResultDescription
keyGenerator

7.7 - LWE

’lwe’ Dialect

The lwe dialect is a dialect for concepts related to cryptosystems in the Learning With Errors (LWE) family.

See Wikipedia for an overview of LWE and the related RLWE diff --git a/docs/dialects/_print/index.html b/docs/dialects/_print/index.html index 9031f2780..cb746695b 100644 --- a/docs/dialects/_print/index.html +++ b/docs/dialects/_print/index.html @@ -231,30 +231,30 @@ ::mlir::IntegerAttr # galoisElement >

This type represents the Galois key for the RLWE encryption scheme.

galoisElement: Enabling the automorphism X -> X^{galoisElement}.

Parameters:

ParameterC++ typeDescription
galoisElement::mlir::IntegerAttrAn Attribute containing a integer value

RLWEKeyGeneratorType

Syntax: !lattigo.rlwe.key_generator

This type represents the key generator for the RLWE encryption scheme.

RLWEPlaintextType

Syntax: !lattigo.rlwe.plaintext

This type represents the plaintext for the RLWE encryption scheme.

RLWEPublicKeyType

Syntax: !lattigo.rlwe.public_key

This type represents the public key for the RLWE encryption scheme.

RLWERelinearizationKeyType

Syntax: !lattigo.rlwe.relinearization_key

This type represents the relinearization key for the RLWE encryption scheme.

RLWESecretKeyType

Syntax: !lattigo.rlwe.secret_key

This type represents the secret key for the RLWE encryption scheme.

Lattigo ops

lattigo.bgv.add (heir::lattigo::BGVAddOp)

Add two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.add` operands attr-dict `:` functional-type(operands, results)
-

This operation adds two ciphertext values in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.bgv.decode (heir::lattigo::BGVDecodeOp)

Decode a plaintext value in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.decode` operands attr-dict `:` functional-type(operands, results)
-

This operation decodes a plaintext value using the specified encoder in the Lattigo BGV dialect.

Operands:

OperandDescription
encoder
plaintext
valueany type

Results:

ResultDescription
decodedany type

lattigo.bgv.encode (heir::lattigo::BGVEncodeOp)

Encode a plaintext value in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.encode` operands attr-dict `:` functional-type(operands, results)
-

This operation encodes a plaintext value using the specified encoder in the Lattigo BGV dialect.

Operands:

OperandDescription
encoder
valueany type
plaintext

Results:

ResultDescription
encoded

lattigo.bgv.mul (heir::lattigo::BGVMulOp)

Multiply two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.mul` operands attr-dict `:` functional-type(operands, results)
-

This operation multiplies two ciphertext values in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.bgv.new_encoder (heir::lattigo::BGVNewEncoderOp)

Create a new encoder in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_encoder` operands attr-dict `:` functional-type(operands, results)
-

This operation creates a new encoder for encoding plaintext values in the Lattigo BGV dialect.

Operands:

OperandDescription
params

Results:

ResultDescription
encoder

lattigo.bgv.new_evaluator (heir::lattigo::BGVNewEvaluatorOp)

Create a new evaluator in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_evaluator` operands attr-dict `:` functional-type(operands, results)
+

This operation adds two ciphertext values in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.bgv.decode (heir::lattigo::BGVDecodeOp)

Decode a plaintext value in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.decode` operands attr-dict `:` functional-type(operands, results)
+

This operation decodes a plaintext value using the specified encoder in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
encoder
plaintext
valueany type

Results:

ResultDescription
decodedany type

lattigo.bgv.encode (heir::lattigo::BGVEncodeOp)

Encode a plaintext value in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.encode` operands attr-dict `:` functional-type(operands, results)
+

This operation encodes a plaintext value using the specified encoder in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
encoder
valueany type
plaintext

Results:

ResultDescription
encoded

lattigo.bgv.mul (heir::lattigo::BGVMulOp)

Multiply two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.mul` operands attr-dict `:` functional-type(operands, results)
+

This operation multiplies two ciphertext values in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.bgv.new_encoder (heir::lattigo::BGVNewEncoderOp)

Create a new encoder in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_encoder` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new encoder for encoding plaintext values in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params

Results:

ResultDescription
encoder

lattigo.bgv.new_evaluator (heir::lattigo::BGVNewEvaluatorOp)

Create a new evaluator in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_evaluator` operands attr-dict `:` functional-type(operands, results)

This operation creates a new evaluator for performing operations on ciphertexts in the Lattigo BGV dialect.

By default, the evaluator is created with the provided parameters and could execute operations which does not relying on evaluation keys.

To support operations that require evaluation keys, -the optional evaluation key set should be provided.

Operands:

OperandDescription
params
evaluationKeySet

Results:

ResultDescription
evaluator

lattigo.bgv.new_parameters_from_literal (heir::lattigo::BGVNewParametersFromLiteralOp)

Create new BGV parameters from a literal in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_parameters_from_literal` operands attr-dict `:` functional-type(operands, results)
-

This operation creates new BGV parameters from a given literal value in the Lattigo BGV dialect.

Attributes:

AttributeMLIR TypeDescription
paramsLiteral::mlir::heir::lattigo::BGVParametersLiteralAttrLiteral parameters for Lattigo BGV

Results:

ResultDescription
params

lattigo.bgv.new_plaintext (heir::lattigo::BGVNewPlaintextOp)

Create a new plaintext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_plaintext` operands attr-dict `:` functional-type(operands, results)
-

This operation creates a new plaintext value in the Lattigo BGV dialect.

Operands:

OperandDescription
params

Results:

ResultDescription
plaintext

lattigo.bgv.relinearize (heir::lattigo::BGVRelinearizeOp)

Relinearize a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.relinearize` operands attr-dict `:` functional-type(operands, results)
-

This operation relinearizes a ciphertext value in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rescale (heir::lattigo::BGVRescaleOp)

Rescale a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rescale` operands attr-dict `:` functional-type(operands, results)
-

This operation rescales a ciphertext value in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_columns (heir::lattigo::BGVRotateColumnsOp)

Rotate columns of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_columns` operands attr-dict `:` functional-type(operands, results)
-

This operation rotates the columns of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where N/2 is the column.

offset is valid in (-N/2, N/2).

Attributes:

AttributeMLIR TypeDescription
offset::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_rows (heir::lattigo::BGVRotateRowsOp)

Rotate rows of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_rows` operands attr-dict `:` functional-type(operands, results)
-

This operation swap the rows of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where 2 is the row.

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.sub (heir::lattigo::BGVSubOp)

Subtract two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.sub` operands attr-dict `:` functional-type(operands, results)
-

This operation subtracts one ciphertext value from another in the Lattigo BGV dialect.

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.rlwe.decrypt (heir::lattigo::RLWEDecryptOp)

Decrypts a ciphertext using RLWE

Syntax:

operation ::= `lattigo.rlwe.decrypt` operands attr-dict `:` functional-type(operands, results)
-

This operation decrypts a ciphertext using RLWE

Operands:

OperandDescription
decryptor
ciphertext

Results:

ResultDescription
plaintext

lattigo.rlwe.encrypt (heir::lattigo::RLWEEncryptOp)

Encrypts a plaintext using RLWE

Syntax:

operation ::= `lattigo.rlwe.encrypt` operands attr-dict `:` functional-type(operands, results)
-

This operation encrypts a plaintext using RLWE

Operands:

OperandDescription
encryptor
plaintext

Results:

ResultDescription
ciphertext

lattigo.rlwe.gen_galois_key (heir::lattigo::RLWEGenGaloisKeyOp)

Generates a new RLWE Galois key

Syntax:

operation ::= `lattigo.rlwe.gen_galois_key` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE Galois key

galoisElement: Enabling the automorphism X -> X^{galoisElement}.

Attributes:

AttributeMLIR TypeDescription
galoisElement::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
galoisKey

lattigo.rlwe.gen_key_pair (heir::lattigo::RLWEGenKeyPairOp)

Generates a new RLWE key pair

Syntax:

operation ::= `lattigo.rlwe.gen_key_pair` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE key pair

Operands:

OperandDescription
keyGenerator

Results:

ResultDescription
secretKey
publicKey

lattigo.rlwe.gen_relinearization_key (heir::lattigo::RLWEGenRelinearizationKeyOp)

Generates a new RLWE relinearization key

Syntax:

operation ::= `lattigo.rlwe.gen_relinearization_key` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE relinearization key

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
relinearizationKey

lattigo.rlwe.new_decryptor (heir::lattigo::RLWENewDecryptorOp)

Creates a new RLWE decryptor

Syntax:

operation ::= `lattigo.rlwe.new_decryptor` operands attr-dict `:` functional-type(operands, results)
-

This operation creates a new RLWE decryptor

Operands:

OperandDescription
params
secretKey

Results:

ResultDescription
decryptor

lattigo.rlwe.new_encryptor (heir::lattigo::RLWENewEncryptorOp)

Creates a new RLWE encryptor

Syntax:

operation ::= `lattigo.rlwe.new_encryptor` operands attr-dict `:` functional-type(operands, results)
-

This operation creates a new RLWE encryptor

Operands:

OperandDescription
params
publicKey

Results:

ResultDescription
encryptor

lattigo.rlwe.new_evaluation_key_set (heir::lattigo::RLWENewEvaluationKeySetOp)

Generates a new RLWE evaluation key set

Syntax:

operation ::= `lattigo.rlwe.new_evaluation_key_set` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE evaluation key set

Operands:

OperandDescription
relinearizationKey
galoisKeysvariadic of

Results:

ResultDescription
evaluationKeySet

lattigo.rlwe.new_key_generator (heir::lattigo::RLWENewKeyGeneratorOp)

Generates a new RLWE key generator

Syntax:

operation ::= `lattigo.rlwe.new_key_generator` operands attr-dict `:` functional-type(operands, results)
-

This operation generates a new RLWE key generator

Operands:

OperandDescription
params

Results:

ResultDescription
keyGenerator

7 - LWE

’lwe’ Dialect

The lwe dialect is a dialect for concepts related to cryptosystems +the optional evaluation key set should be provided.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
evaluationKeySet

Results:

ResultDescription
evaluator

lattigo.bgv.new_parameters_from_literal (heir::lattigo::BGVNewParametersFromLiteralOp)

Create new BGV parameters from a literal in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_parameters_from_literal` operands attr-dict `:` functional-type(operands, results)
+

This operation creates new BGV parameters from a given literal value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
paramsLiteral::mlir::heir::lattigo::BGVParametersLiteralAttrLiteral parameters for Lattigo BGV

Results:

ResultDescription
params

lattigo.bgv.new_plaintext (heir::lattigo::BGVNewPlaintextOp)

Create a new plaintext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_plaintext` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new plaintext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params

Results:

ResultDescription
plaintext

lattigo.bgv.relinearize (heir::lattigo::BGVRelinearizeOp)

Relinearize a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.relinearize` operands attr-dict `:` functional-type(operands, results)
+

This operation relinearizes a ciphertext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rescale (heir::lattigo::BGVRescaleOp)

Rescale a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rescale` operands attr-dict `:` functional-type(operands, results)
+

This operation rescales a ciphertext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_columns (heir::lattigo::BGVRotateColumnsOp)

Rotate columns of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_columns` operands attr-dict `:` functional-type(operands, results)
+

This operation rotates the columns of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where N/2 is the column.

offset is valid in (-N/2, N/2).

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
offset::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_rows (heir::lattigo::BGVRotateRowsOp)

Rotate rows of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_rows` operands attr-dict `:` functional-type(operands, results)
+

This operation swap the rows of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where 2 is the row.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.sub (heir::lattigo::BGVSubOp)

Subtract two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.sub` operands attr-dict `:` functional-type(operands, results)
+

This operation subtracts one ciphertext value from another in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.rlwe.decrypt (heir::lattigo::RLWEDecryptOp)

Decrypts a ciphertext using RLWE

Syntax:

operation ::= `lattigo.rlwe.decrypt` operands attr-dict `:` functional-type(operands, results)
+

This operation decrypts a ciphertext using RLWE

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
decryptor
ciphertext

Results:

ResultDescription
plaintext

lattigo.rlwe.encrypt (heir::lattigo::RLWEEncryptOp)

Encrypts a plaintext using RLWE

Syntax:

operation ::= `lattigo.rlwe.encrypt` operands attr-dict `:` functional-type(operands, results)
+

This operation encrypts a plaintext using RLWE

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
encryptor
plaintext

Results:

ResultDescription
ciphertext

lattigo.rlwe.gen_galois_key (heir::lattigo::RLWEGenGaloisKeyOp)

Generates a new RLWE Galois key

Syntax:

operation ::= `lattigo.rlwe.gen_galois_key` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE Galois key

galoisElement: Enabling the automorphism X -> X^{galoisElement}.

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
galoisElement::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
galoisKey

lattigo.rlwe.gen_key_pair (heir::lattigo::RLWEGenKeyPairOp)

Generates a new RLWE key pair

Syntax:

operation ::= `lattigo.rlwe.gen_key_pair` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE key pair

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
keyGenerator

Results:

ResultDescription
secretKey
publicKey

lattigo.rlwe.gen_relinearization_key (heir::lattigo::RLWEGenRelinearizationKeyOp)

Generates a new RLWE relinearization key

Syntax:

operation ::= `lattigo.rlwe.gen_relinearization_key` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE relinearization key

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
relinearizationKey

lattigo.rlwe.new_decryptor (heir::lattigo::RLWENewDecryptorOp)

Creates a new RLWE decryptor

Syntax:

operation ::= `lattigo.rlwe.new_decryptor` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new RLWE decryptor

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
secretKey

Results:

ResultDescription
decryptor

lattigo.rlwe.new_encryptor (heir::lattigo::RLWENewEncryptorOp)

Creates a new RLWE encryptor

Syntax:

operation ::= `lattigo.rlwe.new_encryptor` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new RLWE encryptor

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
publicKey

Results:

ResultDescription
encryptor

lattigo.rlwe.new_evaluation_key_set (heir::lattigo::RLWENewEvaluationKeySetOp)

Generates a new RLWE evaluation key set

Syntax:

operation ::= `lattigo.rlwe.new_evaluation_key_set` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE evaluation key set

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
relinearizationKey
galoisKeysvariadic of

Results:

ResultDescription
evaluationKeySet

lattigo.rlwe.new_key_generator (heir::lattigo::RLWENewKeyGeneratorOp)

Generates a new RLWE key generator

Syntax:

operation ::= `lattigo.rlwe.new_key_generator` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE key generator

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params

Results:

ResultDescription
keyGenerator

7 - LWE

’lwe’ Dialect

The lwe dialect is a dialect for concepts related to cryptosystems in the Learning With Errors (LWE) family.

See Wikipedia for an overview of LWE and the related RLWE diff --git a/docs/dialects/index.xml b/docs/dialects/index.xml index a4b448daa..03e650a23 100644 --- a/docs/dialects/index.xml +++ b/docs/dialects/index.xml @@ -3971,6 +3971,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.add` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation adds two ciphertext values in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands">Operands:</h4> <table> <thead> @@ -4014,6 +4015,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.decode` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation decodes a plaintext value using the specified encoder in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-1">Operands:</h4> <table> <thead> @@ -4057,6 +4059,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.encode` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation encodes a plaintext value using the specified encoder in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-2">Operands:</h4> <table> <thead> @@ -4100,6 +4103,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.mul` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation multiplies two ciphertext values in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-3">Operands:</h4> <table> <thead> @@ -4143,6 +4147,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.new_encoder` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates a new encoder for encoding plaintext values in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-4">Operands:</h4> <table> <thead> @@ -4182,6 +4187,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree operations which does not relying on evaluation keys.</p> <p>To support operations that require evaluation keys, the optional evaluation key set should be provided.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-5">Operands:</h4> <table> <thead> @@ -4221,6 +4227,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.new_parameters_from_literal` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates new BGV parameters from a given literal value in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="attributes">Attributes:</h4> <table> <tr><th>Attribute</th><th>MLIR Type</th><th>Description</th></tr> @@ -4246,6 +4253,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.new_plaintext` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates a new plaintext value in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-6">Operands:</h4> <table> <thead> @@ -4281,6 +4289,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.relinearize` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation relinearizes a ciphertext value in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-7">Operands:</h4> <table> <thead> @@ -4320,6 +4329,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.rescale` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation rescales a ciphertext value in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-8">Operands:</h4> <table> <thead> @@ -4361,6 +4371,7 @@ the optional evaluation key set should be provided.</p> </code></pre><p>This operation rotates the columns of a ciphertext value in the Lattigo BGV dialect.</p> <p>Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where N/2 is the column.</p> <p>offset is valid in (-N/2, N/2).</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="attributes-1">Attributes:</h4> <table> <tr><th>Attribute</th><th>MLIR Type</th><th>Description</th></tr> @@ -4406,6 +4417,7 @@ the optional evaluation key set should be provided.</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.rotate_rows` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation swap the rows of a ciphertext value in the Lattigo BGV dialect.</p> <p>Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where 2 is the row.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-10">Operands:</h4> <table> <thead> @@ -4445,6 +4457,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.sub` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation subtracts one ciphertext value from another in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-11">Operands:</h4> <table> <thead> @@ -4488,6 +4501,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.decrypt` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation decrypts a ciphertext using RLWE</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-12">Operands:</h4> <table> <thead> @@ -4527,6 +4541,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.encrypt` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation encrypts a plaintext using RLWE</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-13">Operands:</h4> <table> <thead> @@ -4567,6 +4582,7 @@ the optional evaluation key set should be provided.</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.gen_galois_key` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE Galois key</p> <p>galoisElement: Enabling the automorphism X -&gt; X^{galoisElement}.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="attributes-2">Attributes:</h4> <table> <tr><th>Attribute</th><th>MLIR Type</th><th>Description</th></tr> @@ -4611,6 +4627,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.gen_key_pair` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE key pair</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-15">Operands:</h4> <table> <thead> @@ -4650,6 +4667,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.gen_relinearization_key` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE relinearization key</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-16">Operands:</h4> <table> <thead> @@ -4689,6 +4707,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.new_decryptor` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates a new RLWE decryptor</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-17">Operands:</h4> <table> <thead> @@ -4728,6 +4747,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.new_encryptor` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates a new RLWE encryptor</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-18">Operands:</h4> <table> <thead> @@ -4767,6 +4787,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.new_evaluation_key_set` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE evaluation key set</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-19">Operands:</h4> <table> <thead> @@ -4806,6 +4827,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.new_key_generator` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE key generator</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-20">Operands:</h4> <table> <thead> diff --git a/docs/dialects/lattigo/index.html b/docs/dialects/lattigo/index.html index b674d83ea..5fc200054 100644 --- a/docs/dialects/lattigo/index.html +++ b/docs/dialects/lattigo/index.html @@ -13,7 +13,7 @@ Lattigo attributes BGVParametersLiteralAttr Literal parameters for Lattigo BGV Syntax: #lattigo.bgv.parameters_literal< int, # logN DenseI64ArrayAttr, # Q DenseI64ArrayAttr, # P DenseI32ArrayAttr, # logQ DenseI32ArrayAttr, # logP int64_t # plaintextModulus > This attribute represents the literal parameters for Lattigo BGV. -This is in accordance with https://pkg.go.dev/github.com/tuneinsight/lattigo/v6@v6.1.0/schemes/bgv#ParametersLiteral where some field are not present in the current implementation.">

© 2025 The HEIR Authors All Rights Reserved +the optional evaluation key set should be provided.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
evaluationKeySet

Results:

ResultDescription
evaluator

lattigo.bgv.new_parameters_from_literal (heir::lattigo::BGVNewParametersFromLiteralOp)

Create new BGV parameters from a literal in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_parameters_from_literal` operands attr-dict `:` functional-type(operands, results)
+

This operation creates new BGV parameters from a given literal value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
paramsLiteral::mlir::heir::lattigo::BGVParametersLiteralAttrLiteral parameters for Lattigo BGV

Results:

ResultDescription
params

lattigo.bgv.new_plaintext (heir::lattigo::BGVNewPlaintextOp)

Create a new plaintext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.new_plaintext` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new plaintext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params

Results:

ResultDescription
plaintext

lattigo.bgv.relinearize (heir::lattigo::BGVRelinearizeOp)

Relinearize a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.relinearize` operands attr-dict `:` functional-type(operands, results)
+

This operation relinearizes a ciphertext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rescale (heir::lattigo::BGVRescaleOp)

Rescale a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rescale` operands attr-dict `:` functional-type(operands, results)
+

This operation rescales a ciphertext value in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_columns (heir::lattigo::BGVRotateColumnsOp)

Rotate columns of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_columns` operands attr-dict `:` functional-type(operands, results)
+

This operation rotates the columns of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where N/2 is the column.

offset is valid in (-N/2, N/2).

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
offset::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.rotate_rows (heir::lattigo::BGVRotateRowsOp)

Rotate rows of a ciphertext in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.rotate_rows` operands attr-dict `:` functional-type(operands, results)
+

This operation swap the rows of a ciphertext value in the Lattigo BGV dialect.

Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where 2 is the row.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
input

Results:

ResultDescription
output

lattigo.bgv.sub (heir::lattigo::BGVSubOp)

Subtract two ciphertexts in the Lattigo BGV dialect

Syntax:

operation ::= `lattigo.bgv.sub` operands attr-dict `:` functional-type(operands, results)
+

This operation subtracts one ciphertext value from another in the Lattigo BGV dialect.

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
evaluator
lhs
rhs

Results:

ResultDescription
output

lattigo.rlwe.decrypt (heir::lattigo::RLWEDecryptOp)

Decrypts a ciphertext using RLWE

Syntax:

operation ::= `lattigo.rlwe.decrypt` operands attr-dict `:` functional-type(operands, results)
+

This operation decrypts a ciphertext using RLWE

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
decryptor
ciphertext

Results:

ResultDescription
plaintext

lattigo.rlwe.encrypt (heir::lattigo::RLWEEncryptOp)

Encrypts a plaintext using RLWE

Syntax:

operation ::= `lattigo.rlwe.encrypt` operands attr-dict `:` functional-type(operands, results)
+

This operation encrypts a plaintext using RLWE

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
encryptor
plaintext

Results:

ResultDescription
ciphertext

lattigo.rlwe.gen_galois_key (heir::lattigo::RLWEGenGaloisKeyOp)

Generates a new RLWE Galois key

Syntax:

operation ::= `lattigo.rlwe.gen_galois_key` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE Galois key

galoisElement: Enabling the automorphism X -> X^{galoisElement}.

Interfaces: OpAsmOpInterface

Attributes:

AttributeMLIR TypeDescription
galoisElement::mlir::IntegerAttrAn Attribute containing a integer value

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
galoisKey

lattigo.rlwe.gen_key_pair (heir::lattigo::RLWEGenKeyPairOp)

Generates a new RLWE key pair

Syntax:

operation ::= `lattigo.rlwe.gen_key_pair` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE key pair

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
keyGenerator

Results:

ResultDescription
secretKey
publicKey

lattigo.rlwe.gen_relinearization_key (heir::lattigo::RLWEGenRelinearizationKeyOp)

Generates a new RLWE relinearization key

Syntax:

operation ::= `lattigo.rlwe.gen_relinearization_key` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE relinearization key

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
keyGenerator
secretKey

Results:

ResultDescription
relinearizationKey

lattigo.rlwe.new_decryptor (heir::lattigo::RLWENewDecryptorOp)

Creates a new RLWE decryptor

Syntax:

operation ::= `lattigo.rlwe.new_decryptor` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new RLWE decryptor

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
secretKey

Results:

ResultDescription
decryptor

lattigo.rlwe.new_encryptor (heir::lattigo::RLWENewEncryptorOp)

Creates a new RLWE encryptor

Syntax:

operation ::= `lattigo.rlwe.new_encryptor` operands attr-dict `:` functional-type(operands, results)
+

This operation creates a new RLWE encryptor

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params
publicKey

Results:

ResultDescription
encryptor

lattigo.rlwe.new_evaluation_key_set (heir::lattigo::RLWENewEvaluationKeySetOp)

Generates a new RLWE evaluation key set

Syntax:

operation ::= `lattigo.rlwe.new_evaluation_key_set` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE evaluation key set

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
relinearizationKey
galoisKeysvariadic of

Results:

ResultDescription
evaluationKeySet

lattigo.rlwe.new_key_generator (heir::lattigo::RLWENewKeyGeneratorOp)

Generates a new RLWE key generator

Syntax:

operation ::= `lattigo.rlwe.new_key_generator` operands attr-dict `:` functional-type(operands, results)
+

This operation generates a new RLWE key generator

Interfaces: OpAsmOpInterface

Operands:

OperandDescription
params

Results:

ResultDescription
keyGenerator
\ No newline at end of file diff --git a/docs/index.xml b/docs/index.xml index 0f602d2b3..8c47d0bcd 100644 --- a/docs/index.xml +++ b/docs/index.xml @@ -2765,17 +2765,45 @@ arguments in the function body.</li> </ul> <h4 id="statistics">Statistics</h4> <pre tabindex="0"><code>total circuit size : The total circuit size for all optimized circuits, after optimization is done. -</code></pre>Blog: HEIR meeting 2024-10-04https://heir.dev/blog/2024/10/04/heir-meeting-2024-10-04/Fri, 04 Oct 2024 00:00:00 +0000https://heir.dev/blog/2024/10/04/heir-meeting-2024-10-04/ +</code></pre>Blog: HEIR meeting 2024-09-19https://heir.dev/blog/2024/09/19/heir-meeting-2024-09-19/Thu, 19 Sep 2024 00:00:00 +0000https://heir.dev/blog/2024/09/19/heir-meeting-2024-09-19/ <p>Here are the -<a href="https://docs.google.com/document/d/1tlC-g3JKOB9wxfQMEJnKQk0C0eBdtBCzZX8ck7J37fI/edit?usp=sharing">notes</a> +<a href="https://docs.google.com/document/d/1aGIiZPWpk7UMg5FD8ZYHmNhKVZ6NdhfmGMvyHrrlolM/edit?usp=sharing">notes</a> and -<a href="https://drive.google.com/file/d/1OFfrwWesFpxVHw2DFuNAxSB8seLG_tr1/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-10-04.</p>Blog: HEIR meeting 2024-05-16https://heir.dev/blog/2024/05/16/heir-meeting-2024-05-16/Thu, 16 May 2024 00:00:00 +0000https://heir.dev/blog/2024/05/16/heir-meeting-2024-05-16/ +<a href="https://drive.google.com/file/d/1i-HqUi8pb2ywUJ-OT4fWExYCmeRLu2Cn/view?usp=sharing">video recording</a> +from the HEIR meeting on 2024-09-19.</p>Blog: HEIR meeting 2024-09-05https://heir.dev/blog/2024/09/05/heir-meeting-2024-09-05/Thu, 05 Sep 2024 00:00:00 +0000https://heir.dev/blog/2024/09/05/heir-meeting-2024-09-05/ <p>Here are the -<a href="https://docs.google.com/document/d/15MwanXaBap6qNzYj7g1m6zRcqK363O-3iCCcNcGY1Ds/edit?usp=sharing">notes</a> +<a href="https://docs.google.com/document/d/1tohVmC2pn_XDn3gjCFeo3K4Wfyf7VWu3oK1vimEsFD4/edit?usp=sharing">notes</a> and -<a href="https://drive.google.com/file/d/1gOf_Tb8k9UNx7i0OvjjikkYUG3HrPjoS/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-05-16.</p>Docs: BGVhttps://heir.dev/docs/dialects/bgv/Mon, 01 Jan 0001 00:00:00 +0000https://heir.dev/docs/dialects/bgv/ +<a href="https://drive.google.com/file/d/1XGheLF7kvJfwAMJJQ-XbDpa4Ld15kj4t/view?usp=sharing">video recording</a> +from the HEIR meeting on 2024-09-05.</p>Blog: HEIR meeting 2024-02-22https://heir.dev/blog/2024/02/22/heir-meeting-2024-02-22/Thu, 22 Feb 2024 00:00:00 +0000https://heir.dev/blog/2024/02/22/heir-meeting-2024-02-22/ +<p>Here are the +<a href="https://docs.google.com/document/d/1ktK2Y2-OnadvsIIa94HRch_oHCaQ0D6gbT3CElKmGak/edit?usp=sharing">notes</a> +and +<a href="https://drive.google.com/file/d/1RDONadr54-7uX5ko5dmUX3s1l7QHeHbM/view?usp=sharing">video recording</a> +from the HEIR meeting on 2024-02-22.</p>Blog: HEIR meeting 2024-02-08https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/Thu, 08 Feb 2024 00:00:00 +0000https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/ +<p>Here are the +<a href="https://docs.google.com/document/d/1w0Cc3YfbSNO4PYVdGjb8KpE5rql8zgoDG2X0Yseon_4/edit?usp=sharing">notes</a> +and +<a href="https://drive.google.com/file/d/1rTsc-sWdRCqJWONrgGo5FV7CQd1S_OV-/view?usp=sharing">video recording</a> +from the HEIR meeting on 2024-02-08.</p>Blog: HEIR meeting 2023-10-24https://heir.dev/blog/2023/10/25/heir-meeting-2023-10-24/Wed, 25 Oct 2023 00:00:00 +0000https://heir.dev/blog/2023/10/25/heir-meeting-2023-10-24/ +<p>Here are the +<a href="https://docs.google.com/document/d/1MYjjkytck0fxySbrh49hxBJgNM78NXSD0ZwzAgEPOUw/edit?usp=sharing">notes</a> +and +<a href="https://drive.google.com/file/d/1zrSCQJXta40KbBiCjcIWOP3gd1tuc3MU/view?usp=sharing">video recording</a> +from the HEIR meeting on 2023-10-24.</p> +<p>Also of note: our talk at FHE.org was last Thursday +(<a href="https://www.youtube.com/watch?v=kqDFdKUTNA4">recording</a>), and the similar talk +at the LLVM developers meeting talk was the previous Wednesday, though the video +has not yet been posted for that.</p>Blog: HEIR meeting 2023-08-29https://heir.dev/blog/2023/09/05/heir-meeting-2023-08-29/Tue, 05 Sep 2023 00:00:00 +0000https://heir.dev/blog/2023/09/05/heir-meeting-2023-08-29/ +<p>Here are the +<a href="https://docs.google.com/document/d/1Lax8Inby5Mg8BZLkcV_5hUiWH-roL22rtszfc0PBGmE/edit?usp=sharing">notes</a> +from the HEIR meeting on 2023-08-29. There was an issue with the recording, so +there is no video recording this week.</p>Blog: Hello, World!https://heir.dev/blog/2023/06/13/hello-world/Tue, 13 Jun 2023 13:15:10 -0700https://heir.dev/blog/2023/06/13/hello-world/ +<p>Hello, world! We&rsquo;re starting a project to unify homomorphic encryption compiler +IRs.</p> +<p>Our initial meeting was 2023-05-30 +(<a href="https://docs.google.com/document/d/1iyiHfseoVkA1qaP3Ig47kqVC-J1_AIidPaj61jvj2KM/edit?usp=sharing">read-only copy of the minutes</a>). +Stay tuned for future updates while we work out a meeting schedule.</p>Docs: BGVhttps://heir.dev/docs/dialects/bgv/Mon, 01 Jan 0001 00:00:00 +0000https://heir.dev/docs/dialects/bgv/ <!-- Autogenerated by mlir-tblgen; don't manually edit --> <h1 id="bgv-dialect">&lsquo;bgv&rsquo; Dialect</h1> <p>The BGV dialect defines the types and operations of the BGV cryptosystem.</p> @@ -6748,6 +6776,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.add` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation adds two ciphertext values in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands">Operands:</h4> <table> <thead> @@ -6791,6 +6820,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.decode` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation decodes a plaintext value using the specified encoder in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-1">Operands:</h4> <table> <thead> @@ -6834,6 +6864,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.encode` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation encodes a plaintext value using the specified encoder in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-2">Operands:</h4> <table> <thead> @@ -6877,6 +6908,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.mul` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation multiplies two ciphertext values in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-3">Operands:</h4> <table> <thead> @@ -6920,6 +6952,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.new_encoder` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates a new encoder for encoding plaintext values in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-4">Operands:</h4> <table> <thead> @@ -6959,6 +6992,7 @@ it must be equal to 1 modulo 2n where n is the plaintext ring degree operations which does not relying on evaluation keys.</p> <p>To support operations that require evaluation keys, the optional evaluation key set should be provided.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-5">Operands:</h4> <table> <thead> @@ -6998,6 +7032,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.new_parameters_from_literal` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates new BGV parameters from a given literal value in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="attributes">Attributes:</h4> <table> <tr><th>Attribute</th><th>MLIR Type</th><th>Description</th></tr> @@ -7023,6 +7058,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.new_plaintext` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates a new plaintext value in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-6">Operands:</h4> <table> <thead> @@ -7058,6 +7094,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.relinearize` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation relinearizes a ciphertext value in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-7">Operands:</h4> <table> <thead> @@ -7097,6 +7134,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.rescale` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation rescales a ciphertext value in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-8">Operands:</h4> <table> <thead> @@ -7138,6 +7176,7 @@ the optional evaluation key set should be provided.</p> </code></pre><p>This operation rotates the columns of a ciphertext value in the Lattigo BGV dialect.</p> <p>Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where N/2 is the column.</p> <p>offset is valid in (-N/2, N/2).</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="attributes-1">Attributes:</h4> <table> <tr><th>Attribute</th><th>MLIR Type</th><th>Description</th></tr> @@ -7183,6 +7222,7 @@ the optional evaluation key set should be provided.</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.rotate_rows` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation swap the rows of a ciphertext value in the Lattigo BGV dialect.</p> <p>Lattigo exposes the SIMD slot of BGV as a N/2 x 2 matrix, where 2 is the row.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-10">Operands:</h4> <table> <thead> @@ -7222,6 +7262,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.bgv.sub` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation subtracts one ciphertext value from another in the Lattigo BGV dialect.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-11">Operands:</h4> <table> <thead> @@ -7265,6 +7306,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.decrypt` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation decrypts a ciphertext using RLWE</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-12">Operands:</h4> <table> <thead> @@ -7304,6 +7346,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.encrypt` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation encrypts a plaintext using RLWE</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-13">Operands:</h4> <table> <thead> @@ -7344,6 +7387,7 @@ the optional evaluation key set should be provided.</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.gen_galois_key` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE Galois key</p> <p>galoisElement: Enabling the automorphism X -&gt; X^{galoisElement}.</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="attributes-2">Attributes:</h4> <table> <tr><th>Attribute</th><th>MLIR Type</th><th>Description</th></tr> @@ -7388,6 +7432,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.gen_key_pair` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE key pair</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-15">Operands:</h4> <table> <thead> @@ -7427,6 +7472,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.gen_relinearization_key` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE relinearization key</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-16">Operands:</h4> <table> <thead> @@ -7466,6 +7512,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.new_decryptor` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates a new RLWE decryptor</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-17">Operands:</h4> <table> <thead> @@ -7505,6 +7552,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.new_encryptor` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation creates a new RLWE encryptor</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-18">Operands:</h4> <table> <thead> @@ -7544,6 +7592,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.new_evaluation_key_set` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE evaluation key set</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-19">Operands:</h4> <table> <thead> @@ -7583,6 +7632,7 @@ the optional evaluation key set should be provided.</p> <p>Syntax:</p> <pre tabindex="0"><code>operation ::= `lattigo.rlwe.new_key_generator` operands attr-dict `:` functional-type(operands, results) </code></pre><p>This operation generates a new RLWE key generator</p> +<p>Interfaces: <code>OpAsmOpInterface</code></p> <h4 id="operands-20">Operands:</h4> <table> <thead> diff --git a/index.xml b/index.xml index 2da654637..cf0f977f4 100644 --- a/index.xml +++ b/index.xml @@ -15,17 +15,12 @@ from the HEIR meeting on 2024-11-26.</p>Blo <a href="https://docs.google.com/document/d/1QUxT00gd1ZSayzdtxY5T5-Wiod-eNnCFGoqVceWQ83Y/edit?usp=sharing">notes</a> and <a href="https://drive.google.com/file/d/1Q9a7O7HwxKMDqI23l3154KIOw1ofANkX/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-10-31.</p></description></item><item><title>Blog: HEIR meeting 2024-09-19https://heir.dev/blog/2024/09/19/heir-meeting-2024-09-19/Thu, 19 Sep 2024 00:00:00 +0000https://heir.dev/blog/2024/09/19/heir-meeting-2024-09-19/ +from the HEIR meeting on 2024-10-31.</p>Blog: HEIR meeting 2024-10-04https://heir.dev/blog/2024/10/04/heir-meeting-2024-10-04/Fri, 04 Oct 2024 00:00:00 +0000https://heir.dev/blog/2024/10/04/heir-meeting-2024-10-04/ <p>Here are the -<a href="https://docs.google.com/document/d/1aGIiZPWpk7UMg5FD8ZYHmNhKVZ6NdhfmGMvyHrrlolM/edit?usp=sharing">notes</a> +<a href="https://docs.google.com/document/d/1tlC-g3JKOB9wxfQMEJnKQk0C0eBdtBCzZX8ck7J37fI/edit?usp=sharing">notes</a> and -<a href="https://drive.google.com/file/d/1i-HqUi8pb2ywUJ-OT4fWExYCmeRLu2Cn/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-09-19.</p>Blog: HEIR meeting 2024-09-05https://heir.dev/blog/2024/09/05/heir-meeting-2024-09-05/Thu, 05 Sep 2024 00:00:00 +0000https://heir.dev/blog/2024/09/05/heir-meeting-2024-09-05/ -<p>Here are the -<a href="https://docs.google.com/document/d/1tohVmC2pn_XDn3gjCFeo3K4Wfyf7VWu3oK1vimEsFD4/edit?usp=sharing">notes</a> -and -<a href="https://drive.google.com/file/d/1XGheLF7kvJfwAMJJQ-XbDpa4Ld15kj4t/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-09-05.</p>Blog: HEIR meeting 2024-08-22https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/Thu, 22 Aug 2024 00:00:00 +0000https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/ +<a href="https://drive.google.com/file/d/1OFfrwWesFpxVHw2DFuNAxSB8seLG_tr1/view?usp=sharing">video recording</a> +from the HEIR meeting on 2024-10-04.</p>Blog: HEIR meeting 2024-08-22https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/Thu, 22 Aug 2024 00:00:00 +0000https://heir.dev/blog/2024/08/22/heir-meeting-2024-08-22/ <p>Here are the <a href="https://docs.google.com/document/d/1iEkzpO6lCVbShMcRenO3j3DptOEP-0bLu_9V4K7c39M/edit?usp=sharing">notes</a> and @@ -66,7 +61,12 @@ from the HEIR meeting on 2024-06-13.</p>Blo <a href="https://docs.google.com/document/d/1mvigwMRTeVQvdpm2hwiewfU8jcJT94ArQBNvngvgkTc/edit?usp=sharing">notes</a> and <a href="https://drive.google.com/file/d/1CTIyd7HRiNV857VO2EonquWZZlBhysLM/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-05-30.</p></description></item><item><title>Blog: HEIR meeting 2024-05-02https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/Thu, 02 May 2024 00:00:00 +0000https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/ +from the HEIR meeting on 2024-05-30.</p>Blog: HEIR meeting 2024-05-16https://heir.dev/blog/2024/05/16/heir-meeting-2024-05-16/Thu, 16 May 2024 00:00:00 +0000https://heir.dev/blog/2024/05/16/heir-meeting-2024-05-16/ +<p>Here are the +<a href="https://docs.google.com/document/d/15MwanXaBap6qNzYj7g1m6zRcqK363O-3iCCcNcGY1Ds/edit?usp=sharing">notes</a> +and +<a href="https://drive.google.com/file/d/1gOf_Tb8k9UNx7i0OvjjikkYUG3HrPjoS/view?usp=sharing">video recording</a> +from the HEIR meeting on 2024-05-16.</p>Blog: HEIR meeting 2024-05-02https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/Thu, 02 May 2024 00:00:00 +0000https://heir.dev/blog/2024/05/02/heir-meeting-2024-05-02/ <p>Here are the <a href="https://docs.google.com/document/d/1uEDeIN0iTUmmtlacZg0c2j7VbAHO3A9e0_8mnunUv10/edit?usp=sharing">notes</a> and @@ -88,17 +88,7 @@ and <a href="https://drive.google.com/file/d/1oVJG-fM72nNLiR1eXkzdeaqdDOEpTfK0/view?usp=sharing">video recording</a> from the HEIR meeting on 2024-03-07.</p> <p>Note: there will be no HEIR meeting on 2024-03-21 due to the FHE.org, HACS, and -RWC conferences. Hope to see you all there!</p>Blog: HEIR meeting 2024-02-22https://heir.dev/blog/2024/02/22/heir-meeting-2024-02-22/Thu, 22 Feb 2024 00:00:00 +0000https://heir.dev/blog/2024/02/22/heir-meeting-2024-02-22/ -<p>Here are the -<a href="https://docs.google.com/document/d/1ktK2Y2-OnadvsIIa94HRch_oHCaQ0D6gbT3CElKmGak/edit?usp=sharing">notes</a> -and -<a href="https://drive.google.com/file/d/1RDONadr54-7uX5ko5dmUX3s1l7QHeHbM/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-02-22.</p>Blog: HEIR meeting 2024-02-08https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/Thu, 08 Feb 2024 00:00:00 +0000https://heir.dev/blog/2024/02/08/heir-meeting-2024-02-08/ -<p>Here are the -<a href="https://docs.google.com/document/d/1w0Cc3YfbSNO4PYVdGjb8KpE5rql8zgoDG2X0Yseon_4/edit?usp=sharing">notes</a> -and -<a href="https://drive.google.com/file/d/1rTsc-sWdRCqJWONrgGo5FV7CQd1S_OV-/view?usp=sharing">video recording</a> -from the HEIR meeting on 2024-02-08.</p>Blog: HEIR meeting 2024-01-25https://heir.dev/blog/2024/01/25/heir-meeting-2024-01-25/Thu, 25 Jan 2024 00:00:00 +0000https://heir.dev/blog/2024/01/25/heir-meeting-2024-01-25/ +RWC conferences. Hope to see you all there!</p>Blog: HEIR meeting 2024-01-25https://heir.dev/blog/2024/01/25/heir-meeting-2024-01-25/Thu, 25 Jan 2024 00:00:00 +0000https://heir.dev/blog/2024/01/25/heir-meeting-2024-01-25/ <p>Here are the <a href="https://docs.google.com/document/d/1yrkAVR_348vT3SD7apb9QDoFIgz0bjHn-SzT2GOacfs/edit?usp=sharing">notes</a> and @@ -126,16 +116,7 @@ from the HEIR meeting on 2023-11-28.</p>Blo <a href="https://docs.google.com/document/d/1nOlAhul4DwZU8UQPpTF1i3OldSY9EmwaWG3EPSZIhHs/edit?usp=sharing">notes</a> and <a href="https://drive.google.com/file/d/1I7aIipm54CCcDcLyRYXI_gARfT1z93cN/view?usp=sharing">video recording</a> -from the HEIR meeting on 2023-11-07.</p></description></item><item><title>Blog: HEIR meeting 2023-10-24https://heir.dev/blog/2023/10/25/heir-meeting-2023-10-24/Wed, 25 Oct 2023 00:00:00 +0000https://heir.dev/blog/2023/10/25/heir-meeting-2023-10-24/ -<p>Here are the -<a href="https://docs.google.com/document/d/1MYjjkytck0fxySbrh49hxBJgNM78NXSD0ZwzAgEPOUw/edit?usp=sharing">notes</a> -and -<a href="https://drive.google.com/file/d/1zrSCQJXta40KbBiCjcIWOP3gd1tuc3MU/view?usp=sharing">video recording</a> -from the HEIR meeting on 2023-10-24.</p> -<p>Also of note: our talk at FHE.org was last Thursday -(<a href="https://www.youtube.com/watch?v=kqDFdKUTNA4">recording</a>), and the similar talk -at the LLVM developers meeting talk was the previous Wednesday, though the video -has not yet been posted for that.</p>Blog: HEIR meeting 2023-09-26https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/Wed, 27 Sep 2023 00:00:00 +0000https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/ +from the HEIR meeting on 2023-11-07.</p>Blog: HEIR meeting 2023-09-26https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/Wed, 27 Sep 2023 00:00:00 +0000https://heir.dev/blog/2023/09/27/heir-meeting-2023-09-26/ <p>Here are the <a href="https://docs.google.com/document/d/1pkG8eaSUddAySJWjQHIFqe0hyYkO0wH9X0JtnR6wlWo/edit?usp=sharing">notes</a> and @@ -148,11 +129,7 @@ Alex Viand and I will be giving at the LLVM developers meeting.</p>notes</a> and <a href="https://drive.google.com/file/d/1zFtpBcCCq5d6UD8Nm8r3rfg3sgy-guz7/view?usp=sharing">video recording</a> -from the HEIR meeting on 2023-09-12.</p>Blog: HEIR meeting 2023-08-29https://heir.dev/blog/2023/09/05/heir-meeting-2023-08-29/Tue, 05 Sep 2023 00:00:00 +0000https://heir.dev/blog/2023/09/05/heir-meeting-2023-08-29/ -<p>Here are the -<a href="https://docs.google.com/document/d/1Lax8Inby5Mg8BZLkcV_5hUiWH-roL22rtszfc0PBGmE/edit?usp=sharing">notes</a> -from the HEIR meeting on 2023-08-29. There was an issue with the recording, so -there is no video recording this week.</p>Blog: HEIR meeting 2023-08-15https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/Wed, 16 Aug 2023 16:15:47 +0000https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/ +from the HEIR meeting on 2023-09-12.</p>Blog: HEIR meeting 2023-08-15https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/Wed, 16 Aug 2023 16:15:47 +0000https://heir.dev/blog/2023/08/16/heir-meeting-2023-08-15/ <p>Here are the <a href="https://docs.google.com/document/d/1vZsKJH4wCAZCtyh3o9nNMLRFwlWQiVdvUMvwJnA4cIc/edit?usp=sharing">notes</a> and @@ -183,9 +160,4 @@ design rolling.</p> <li><a href="https://github.com/google/heir/discussions/53">High-Level FHE Dialect</a></li> <li><a href="https://github.com/google/heir/discussions/54">Scheme Dialects</a></li> <li><a href="https://github.com/google/heir/discussions/55">Poly/Math Dialects</a></li> -</ul>Blog: Hello, World!https://heir.dev/blog/2023/06/13/hello-world/Tue, 13 Jun 2023 13:15:10 -0700https://heir.dev/blog/2023/06/13/hello-world/ -<p>Hello, world! We&rsquo;re starting a project to unify homomorphic encryption compiler -IRs.</p> -<p>Our initial meeting was 2023-05-30 -(<a href="https://docs.google.com/document/d/1iyiHfseoVkA1qaP3Ig47kqVC-J1_AIidPaj61jvj2KM/edit?usp=sharing">read-only copy of the minutes</a>). -Stay tuned for future updates while we work out a meeting schedule.</p> \ No newline at end of file +</ul> \ No newline at end of file