Skip to content

Commit

Permalink
minor fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
Okm165 committed Dec 22, 2023
1 parent 6057dfc commit de341fb
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 4 deletions.
4 changes: 2 additions & 2 deletions src/fri/fri_last_layer.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,8 @@ use cairo_verifier::common::math;
use cairo_verifier::fri::fri_layer::FriLayerQuery;
use cairo_verifier::channel::channel::ChannelSentFelt;

// Verifies FRI last layer by evaluating the given polynomial on the given points (=inverses of
// x_inv_values), and comparing the results to the given values.
// Verifies FRI last layer by evaluating the given polynomial on the given points
// (=inverses of x_inv_values), and comparing the results to the given values.
fn verify_last_layer(queries: Span<FriLayerQuery>, coefficients: Span<ChannelSentFelt>) {
let mut i: u32 = 0;
let len: u32 = queries.len();
Expand Down
2 changes: 0 additions & 2 deletions src/fri/fri_layer.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,6 @@ struct FriLayerQuery {
// Computes the elements of the coset starting at coset_start_index.
//
// Inputs:
// - n_queries: the number of input queries.
// - queries: an iterator over the input queries.
// - sibling_witness: a list of all the query's siblings.
// - coset_size: the number of elements in the coset.
Expand Down Expand Up @@ -72,7 +71,6 @@ fn compute_coset_elements(
// and produces queries for layer i+1 (a single query for each coset in the i-th layer).
//
// Inputs:
// - n_queries: the number of input queries.
// - queries: input queries.
// - sibling_witness: a list of all the query's siblings.
// - params: the parameters to use for the layer computation.
Expand Down

0 comments on commit de341fb

Please sign in to comment.