fix proof_parser,cli compiling errors. improve field,utils

Signed-off-by: GopherJ <alex_cj96@foxmail.com> fix pedersen Signed-off-by: GopherJ <alex_cj96@foxmail.com>

Author: 0x8f701

Cargo.lock

@@ -18,6 +18,8 @@ members = [
  "field",
  "utils",
  "hash",
+ "proof_parser",
+ "cli"
 ]
 
 [workspace.dependencies]
@@ -47,7 +49,7 @@ ark-relations = { version = "0.4" }
 ark-crypto-primitives = { version = "0.4", default-features = false, features = ["r1cs","sponge","snark","merkle_tree","prf"] }
 
 num = { version = "0.4.0", default-features = false }
-num-bigint = { version = "0.4.4", default-features = false }
+num-bigint = { version = "0.4.4", default-features = false, features = ["serde"] }
 num-integer = { version = "0.1", default-features = false }
 num-traits = { version = "0.2.19", default-features = false }
 ruint = { version = "1.12", default-features = false, features = ["serde", "num-bigint"] }
@@ -93,3 +95,24 @@ overflow-checks = true
 opt-level = 3
 lto = true
 overflow-checks = true
+
+# [patch.crates-io]
+# ark-test-curves = { path = "../ark-algebra/test-curves" }
+# ark-r1cs-std = { path = "../ark-r1cs-std" }
+# ark-ff = { path = "../ark-algebra/ff" }
+# ark-ec = { path = "../ark-algebra/ec" }
+# ark-serialize = { path = "../ark-algebra/serialize" }
+# ark-std = { path = "../ark-std" }
+# ark-bls12-381 = { path = "../ark-algebra/curves/bls12_381" }
+# ark-bn254 = { path = "../ark-algebra/curves/bn254" }
+# ark-bls12-377 = { path = "../ark-algebra/curves/bls12_377" }
+# ark-mnt4-298 = { path = "../ark-algebra/curves/mnt4_298" }
+# ark-mnt4-753 = { path = "../ark-algebra/curves/mnt4_753" }
+# ark-mnt6-298 = { path = "../ark-algebra/curves/mnt6_298" }
+# ark-mnt6-753 = { path = "../ark-algebra/curves/mnt6_753" }
+# ark-pallas = { path = "../ark-algebra/curves/pallas" }
+# ark-groth16 = { path = "../ark-groth16" }
+# ark-snark = { path = "../ark-snark/snark" }
+# ark-poly = { path = "../ark-algebra/poly" }
+# ark-relations = { path = "../ark-snark/relations" }
+# ark-crypto-primitives = { path = "../ark-crypto-primitives/crypto-primitives" }

Cargo.toml

@@ -28,7 +28,7 @@ impl<F: SimpleField> StarkDomains<F> {
  let eval_domain_size = F::two().powers_felt(&log_eval_domain_size);
  let trace_domain_size = F::two().powers_felt(&log_trace_domain_size);
  Self {
- log_eval_domain_size: log_trace_domain_size.clone() + log_n_cosets,
+ log_eval_domain_size: log_eval_domain_size.clone(),
  eval_domain_size: F::two().powers_felt(&log_eval_domain_size),
  eval_generator: F::from_stark_felt(FIELD_GENERATOR).powers_felt(
  &F::from_stark_felt(STARK_PRIME_MINUS_ONE).field_div(&eval_domain_size),

air/src/domains.rs

@@ -11,7 +11,10 @@ version = "0.0.8"
 clap = { workspace = true }
 
 swiftness_air = { workspace = true }
+swiftness_field = { workspace = true }
+swiftness_hash = { workspace = true }
 swiftness_stark = { workspace = true }
+swiftness_utils = { workspace = true }
 swiftness_proof_parser = { workspace = true }
 
 [features]

cli/Cargo.toml

@@ -1,4 +1,5 @@
 use std::path::PathBuf;
+use swiftness_field::Fp;
 pub use swiftness_proof_parser::*;
 pub use swiftness_stark::*;
 
@@ -16,6 +17,7 @@ use swiftness_air::layout::starknet::Layout;
 use swiftness_air::layout::starknet_with_keccak::Layout;
 
 use clap::Parser;
+use swiftness_utils::curve::StarkwareCurve;
 
 #[derive(Parser)]
 #[command(author, version, about)]
@@ -28,8 +30,8 @@ struct CairoVMVerifier {
 fn main() -> Result<(), Box<dyn std::error::Error>> {
  let cli = CairoVMVerifier::parse();
  let stark_proof = parse(std::fs::read_to_string(cli.proof)?)?;
- let security_bits = stark_proof.config.security_bits();
- let result = stark_proof.verify::<Layout>(security_bits)?;
+ let security_bits: Fp = stark_proof.config.security_bits();
+ let result = stark_proof.verify::<StarkwareCurve, Layout>(security_bits)?;
  println!("{:?}", result);
  Ok(())
 }