From ed0aa435a32754733ebb1a4babb90e2cbab29180 Mon Sep 17 00:00:00 2001 From: porcuquine Date: Wed, 10 Jan 2024 18:21:15 -0800 Subject: [PATCH] Grammar. --- src/coprocessor/memoset/mod.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/coprocessor/memoset/mod.rs b/src/coprocessor/memoset/mod.rs index b4d2f3e10d..78752d0aaa 100644 --- a/src/coprocessor/memoset/mod.rs +++ b/src/coprocessor/memoset/mod.rs @@ -24,9 +24,8 @@ //! //! Bookkeeping required to correctly build the transcript after evaluation but before proving is maintained by the //! `Scope`. This allows us to accumulate queries and the subqueries on which they depend, along with the memoized query -//! results computed 'naturally' during evaluation. We then separate and sort in an order matching that in which the -//! NIVC prover will follow when provably maintaining the multiset accumulator and Fiat-Shamir transcript in the -//! circuit. +//! results computed 'naturally' during evaluation. We then separate and sort in an order matching that which the NIVC +//! prover will follow when provably maintaining the multiset accumulator and Fiat-Shamir transcript in the circuit. use std::collections::HashMap; use std::marker::PhantomData;