Use degree 2 ext for soundness

scroll-tech · Dec 2, 2024 · a7488b3 · a7488b3
1 parent 967709d
commit a7488b3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/circ_blocks/examples/zxc.rs b/circ_blocks/examples/zxc.rs
@@ -12,7 +12,7 @@ use circ::target::r1cs::wit_comp::StagedWitCompEvaluator;
 use circ::target::r1cs::ProverData;
 use circ::target::r1cs::{Lc, VarType};
 use core::cmp::min;
-use libspartan::scalar::{Scalar, SpartanExtensionField};
+use libspartan::scalar::{ScalarExt2, SpartanExtensionField};
 use rug::Integer;
 
 use std::fs::{create_dir_all, File};
@@ -1569,7 +1569,7 @@ fn main() {
     // --
     // Generate Witnesses
     // --
-    let rtk = get_run_time_knowledge::<false, Scalar>(
+    let rtk = get_run_time_knowledge::<false, ScalarExt2>(
         path.clone(),
         &options,
         entry_regs,

diff --git a/spartan_parallel/examples/interface.rs b/spartan_parallel/examples/interface.rs
@@ -5,7 +5,7 @@ use std::io::{BufRead, Read};
 use std::{default, env};
 use std::{fs::File, io::BufReader};
 
-use libspartan::scalar::{Scalar, SpartanExtensionField};
+use libspartan::scalar::{ScalarExt2, SpartanExtensionField};
 use libspartan::{instance::Instance, InputsAssignment, MemsAssignment, VarsAssignment, SNARK};
 use merlin::Transcript;
 use serde::{Deserialize, Serialize};
@@ -91,7 +91,7 @@ fn main() {
   // let ctk = CompileTimeKnowledge::read_from_file(benchmark_name.to_string()).unwrap();
   let ctk = CompileTimeKnowledge::deserialize_from_file(benchmark_name.to_string());
   // let rtk = RunTimeKnowledge::read_from_file(benchmark_name.to_string()).unwrap();
-  let rtk: RunTimeKnowledge<Scalar> =
+  let rtk: RunTimeKnowledge<ScalarExt2> =
     RunTimeKnowledge::deserialize_from_file(benchmark_name.to_string());
 
   // --