Skip to content

Commit

Permalink
Grammar.
Browse files Browse the repository at this point in the history
  • Loading branch information
porcuquine committed Jan 11, 2024
1 parent adcbb9d commit ed0aa43
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions src/coprocessor/memoset/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down

0 comments on commit ed0aa43

Please sign in to comment.