From 6e7b33bb2da47af1f5f532fd4f4ac9ccd44cb037 Mon Sep 17 00:00:00 2001 From: daira Date: Mon, 15 Feb 2021 15:48:26 +0000 Subject: [PATCH] deploy: 22297bbc891fa921330772ce64f25780b5acdc2f --- concepts/arithmetization.html | 6 ++-- concepts/chips.html | 2 +- .../proving-system/circuit-commitments.html | 8 ++--- design/proving-system/comparison.html | 2 +- print.html | 34 ++++++++++--------- searchindex.js | 2 +- searchindex.json | 2 +- user/simple-example.html | 16 ++++----- 8 files changed, 38 insertions(+), 34 deletions(-) diff --git a/concepts/arithmetization.html b/concepts/arithmetization.html index 378ebd53..2cad20f7 100644 --- a/concepts/arithmetization.html +++ b/concepts/arithmetization.html @@ -182,8 +182,10 @@ elements of