From 0b8a76f6783e695a8e8ffbac81cf3f1c6a2ae3b2 Mon Sep 17 00:00:00 2001 From: volhovm Date: Thu, 11 Jul 2024 10:40:40 +0000 Subject: [PATCH] deploy: ab179764ae5c5cc0168b8072630bb5c18bcc35d1 --- rustdoc/help.html | 2 +- rustdoc/index.html | 2 +- rustdoc/ivc/prover/fn.prove.html | 2 +- rustdoc/ivc/prover/index.html | 2 +- rustdoc/settings.html | 2 +- rustdoc/src/ivc/prover.rs.html | 10 ++++++++-- 6 files changed, 13 insertions(+), 7 deletions(-) diff --git a/rustdoc/help.html b/rustdoc/help.html index 5b57a161fa..20c79678f5 100644 --- a/rustdoc/help.html +++ b/rustdoc/help.html @@ -1 +1 @@ -Rustdoc help

Rustdoc help

Back
\ No newline at end of file +Rustdoc help

Rustdoc help

Back
\ No newline at end of file diff --git a/rustdoc/index.html b/rustdoc/index.html index fc5fe5d667..b4be62bf26 100644 --- a/rustdoc/index.html +++ b/rustdoc/index.html @@ -1 +1 @@ -Index of crates

List of all crates

\ No newline at end of file +Index of crates

List of all crates

\ No newline at end of file diff --git a/rustdoc/ivc/prover/fn.prove.html b/rustdoc/ivc/prover/fn.prove.html index 142f04a766..9fee303ac2 100644 --- a/rustdoc/ivc/prover/fn.prove.html +++ b/rustdoc/ivc/prover/fn.prove.html @@ -1,4 +1,4 @@ -prove in ivc::prover - Rust

Function ivc::prover::prove

source · 
pub fn prove<EFqSponge: Clone + FqSponge<Fq, G, Fp>, EFrSponge: FrSponge<Fp>, FC: FoldingConfig<Column = GenericColumn, Curve = G, Challenge = PlonkishChallenge>, RNG, const N_WIT: usize, const N_WIT_QUAD: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, const N_ALPHAS: usize>(
+prove in ivc::prover - Rust
Function ivc::prover::prove
source · 
pub fn prove<EFqSponge: Clone + FqSponge<Fq, G, Fp>, EFrSponge: FrSponge<Fp>, FC: FoldingConfig<Column = GenericColumn, Curve = G, Challenge = PlonkishChallenge>, RNG, const N_WIT: usize, const N_WIT_QUAD: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, const N_ALPHAS: usize>(
     domain: EvaluationDomains<Fp>,
     srs: &PairingSRS<Pairing>,
     combined_expr: &FoldingCompatibleExpr<FC>,
diff --git a/rustdoc/ivc/prover/index.html b/rustdoc/ivc/prover/index.html
index 7550923031..29cdf7cbb7 100644
--- a/rustdoc/ivc/prover/index.html
+++ b/rustdoc/ivc/prover/index.html
@@ -1,2 +1,2 @@
-ivc::prover - Rust
Module ivc::prover
source · 
Structs
Enums
Functions
Type Definitions
  • Fp
    Scalar field of the curve.
  • Fq
    The base field of the curve
+ivc::prover - Rust
    Module ivc::prover
    source · 
    Structs
    Enums
    Functions
    Type Definitions
    • Fp
      Scalar field of the curve.
    • Fq
      The base field of the curve
 Used to encode the polynomial commitments
    • G
      The curve we commit into
    • Pairing
    
\ No newline at end of file
diff --git a/rustdoc/settings.html b/rustdoc/settings.html
index 78856e0fed..9f421508ce 100644
--- a/rustdoc/settings.html
+++ b/rustdoc/settings.html
@@ -1 +1 @@
-Rustdoc settings
    Rustdoc settings
    Back
    
\ No newline at end of file
+Rustdoc settings
    Rustdoc settings
    Back
    
\ No newline at end of file
diff --git a/rustdoc/src/ivc/prover.rs.html b/rustdoc/src/ivc/prover.rs.html
index 529af4cc61..0c6d137dc6 100644
--- a/rustdoc/src/ivc/prover.rs.html
+++ b/rustdoc/src/ivc/prover.rs.html
@@ -496,6 +496,9 @@
 496
 497
 498
+499
+500
+501
 
#![allow(clippy::type_complexity)]
 #![allow(clippy::boxed_local)]
 
@@ -664,8 +667,11 @@
 where
     RNG: RngCore + CryptoRng,
 {
-    //assert!(N_COL == N_WIT + N_FSEL);
-    assert!(N_WIT == N_REL + N_DSEL);
+    assert_eq!(
+        folded_witness.extended_witness.extended.values().len(),
+        N_WIT_QUAD - N_WIT
+    );
+    assert!(N_WIT == N_REL + N_DSEL);
 
     ////////////////////////////////////////////////////////////////////////////
     // Setting up the protocol