feat: Add Plonkish adapter (#242)

* feat: Added Plonkish adapter * doc: added test command instruction * refactor: update test cases: hyperplonk and gemini, based on refactored crate * fix: typo and missing command * fix: dependencies in test-e2e * feat: update test-e2e for hyperplonk and gemini * fix: lint * chore: remove comment and added inline doc * fix: removed unused features flag
zkmopro · Oct 10, 2024 · 7301d9b · 7301d9b
1 parent 8268224
commit 7301d9b
Show file tree

Hide file tree

Showing 17 changed files with 336 additions and 18 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/mopro-ffi/Cargo.toml b/mopro-ffi/Cargo.toml
@@ -86,3 +86,5 @@ serde_derive = "1.0"
 
 # Halo2 dependencies
 halo2-fibonacci = { git = "https://github.com/ElusAegis/halo2-fibonacci-sample.git" }
+hyperplonk-fibonacci = { package = "hyperplonk-fibonacci", git = "https://github.com/sifnoc/plonkish-fibonacci-sample.git" }
+gemini-fibonacci = { package = "gemini-fibonacci", git = "https://github.com/sifnoc/plonkish-fibonacci-sample.git" }
diff --git a/mopro-ffi/src/circom/mod.rs b/mopro-ffi/src/circom/mod.rs
@@ -1,16 +1,16 @@
 pub mod serialization;
 
-use anyhow::{bail, Error};
+use anyhow::bail;
 use ark_bls12_381::Bls12_381;
 use ark_bn254::Bn254;
 use ark_ec::pairing::Pairing;
 use ark_ff::PrimeField;
 use ark_relations::r1cs::ConstraintMatrices;
 use serialization::{SerializableInputs, SerializableProof};
 
+use std::collections::HashMap;
 use std::fs::File;
 use std::str::FromStr;
-use std::{collections::HashMap, panic};
 
 use crate::GenerateProofResult;
 use ark_circom::{