Implement Sangria backend based on HyperPlonk (#22)

* feat: implement sangria with hyperplonk

* feat: refactor evaluators

* refactor: for future changes

benchmark/benches/proof_system.rs

@@ -71,7 +71,7 @@ fn bench_hyperplonk<C: CircuitExt<Fr>>(k: usize) {
     let _timer = start_timer(|| format!("hyperplonk_verify-{k}"));
     let accept = {
         let mut transcript = Keccak256Transcript::from_proof(proof.as_slice());
-        HyperPlonk::verify(&vp, &instances, &mut transcript, std_rng()).is_ok()
+        HyperPlonk::verify(&vp, (), &instances, &mut transcript, std_rng()).is_ok()
     };
     assert!(accept);
 }

benchmark/src/bin/plotter.rs

@@ -57,11 +57,9 @@ fn main() {
 }
 
 fn parse_args() -> (bool, Vec<String>) {
-    let (verbose, logs) = args()
-        .into_iter()
-        .chain(Some("".to_string()))
-        .tuple_windows()
-        .fold((false, None), |(mut verbose, mut logs), (key, value)| {
+    let (verbose, logs) = args().chain(Some("".to_string())).tuple_windows().fold(
+        (false, None),
+        |(mut verbose, mut logs), (key, value)| {
             match key.as_str() {
                 "-" => {
                     logs = Some(
@@ -85,7 +83,8 @@ fn parse_args() -> (bool, Vec<String>) {
                 _ => {}
             };
             (verbose, logs)
-        });
+        },
+    );
     (
         verbose,
         logs.expect("Either \"--log <LOG>\" or \"-\" specified"),

plonkish_backend/benches/zero_check.rs

@@ -22,7 +22,7 @@ fn run(num_vars: usize, virtual_poly: VirtualPolynomial<Fr>) {
 
 fn zero_check(c: &mut Criterion) {
     let setup = |num_vars: usize| {
-        let expression = vanilla_plonk_expression();
+        let expression = vanilla_plonk_expression(num_vars);
         let (polys, challenges) =
             rand_vanilla_plonk_assignment::<Fr>(num_vars, seeded_std_rng(), seeded_std_rng());
         let ys = [rand_vec(num_vars, seeded_std_rng())];

plonkish_backend/src/backend.rs

@@ -21,6 +21,7 @@ where
     type ProverParam: Debug;
     type VerifierParam: Debug;
     type ProverState: Debug;
+    type VerifierState: Debug;
 
     fn setup(circuit_info: &PlonkishCircuitInfo<F>, rng: impl RngCore)
         -> Result<Pcs::Param, Error>;
@@ -41,6 +42,7 @@ where
 
     fn verify(
         vp: &Self::VerifierParam,
+        state: impl BorrowMut<Self::VerifierState>,
         instances: &[&[F]],
         transcript: &mut impl TranscriptRead<Pcs::CommitmentChunk, F>,
         rng: impl RngCore,

plonkish_backend/src/backend/hyperplonk.rs

@@ -29,6 +29,8 @@ mod preprocessor;
 mod prover;
 mod verifier;
 
+pub mod folding;
+
 #[cfg(any(test, feature = "benchmark"))]
 pub mod util;
 
@@ -81,6 +83,7 @@ where
     type ProverParam = HyperPlonkProverParam<F, Pcs>;
     type VerifierParam = HyperPlonkVerifierParam<F, Pcs>;
     type ProverState = ();
+    type VerifierState = ();
 
     fn setup(
         circuit_info: &PlonkishCircuitInfo<F>,
@@ -291,6 +294,7 @@ where
 
     fn verify(
         vp: &Self::VerifierParam,
+        _: impl BorrowMut<Self::VerifierState>,
         instances: &[&[F]],
         transcript: &mut impl TranscriptRead<Pcs::CommitmentChunk, F>,
         _: impl RngCore,
@@ -447,7 +451,7 @@ pub(crate) mod test {
             let timer = start_timer(|| format!("verify-{num_vars}"));
             let result = {
                 let mut transcript = T::from_proof(proof.as_slice());
-                HyperPlonk::<Pcs>::verify(&vp, &instances, &mut transcript, seeded_std_rng())
+                HyperPlonk::<Pcs>::verify(&vp, (), &instances, &mut transcript, seeded_std_rng())
             };
             assert_eq!(result, Ok(()));
             end_timer(timer);

plonkish_backend/src/backend/hyperplonk/folding.rs

@@ -0,0 +1,3 @@
+mod sangria;
+
+pub use sangria::{Sangria, SangriaProverParam, SangriaProverState, SangriaVerifierParam};