From 1d587ccfd790a09a4f923f171a225540555f91bf Mon Sep 17 00:00:00 2001 From: curryrasul Date: Thu, 6 Jul 2023 18:39:22 +0000 Subject: [PATCH] deploy: 9f497838f1e1ec22b51237a8edc00808ea4a7fce --- 404.html | 2 +- formal_spec.html | 6 +++--- index.html | 2 +- kzg_rln.html | 4 +++- noir_rln.html | 3 ++- overview.html | 2 +- print.html | 11 ++++++++++- research.html | 8 +++++++- rln.html | 2 +- protocol_spec.html => rln_in_details.html | 2 +- uses.html => rln_uses.html | 2 +- searchindex.js | 2 +- searchindex.json | 2 +- smart_contract.html | 6 +++--- sss.html | 6 +++--- what_is_rln.html | 6 +++--- 16 files changed, 42 insertions(+), 24 deletions(-) rename protocol_spec.html => rln_in_details.html (93%) rename uses.html => rln_uses.html (91%) diff --git a/404.html b/404.html index a121a3f..6630f86 100644 --- a/404.html +++ b/404.html @@ -86,7 +86,7 @@ diff --git a/formal_spec.html b/formal_spec.html index 48f8bfe..fc8ad83 100644 --- a/formal_spec.html +++ b/formal_spec.html @@ -85,7 +85,7 @@ @@ -297,7 +297,7 @@ Checked that \(0 \le messageId < limit\).