Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

Commit

Permalink
Update dependencies 2024-03-26 (#235)
Browse files Browse the repository at this point in the history
  • Loading branch information
leolara authored Apr 2, 2024
1 parent 1788d7e commit 428f6db
Show file tree
Hide file tree
Showing 16 changed files with 36 additions and 31 deletions.
19 changes: 10 additions & 9 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -7,15 +7,21 @@ authors = ["Leo Lara <[email protected]>"]

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[patch.crates-io]
halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.git", tag = "v0.3.0" }

[patch."https://github.com/scroll-tech/halo2.git"]
halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.git", tag = "v0.3.0" }


[dependencies]
pyo3 = { version = "0.19.1", features = ["extension-module"] }
halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.git", features = [
"circuit-params",
], tag = "v2023_04_20" }
halo2curves = { git = 'https://github.com/privacy-scaling-explorations/halo2curves', tag = "0.3.2", features = [
"derive_serde",
] }
polyexen = { git = "https://github.com/Dhole/polyexen.git", rev = "4d128ad2ebd0094160ea77e30fb9ce56abb854e0" }
], tag = "v0.3.0" }

polyexen = { git = "https://github.com/Dhole/polyexen.git", rev = "16a85c5411f804dc49bbf373d24ff9eedadedfbe" }
num-bigint = { version = "0.4", features = ["rand"] }
uuid = { version = "1.4.0", features = ["v1", "rng"] }
serde = { version = "1.0", features = ["derive"] }
Expand All @@ -26,8 +32,3 @@ regex = "1"

[dev-dependencies]
rand_chacha = "0.3"

[patch."https://github.com/privacy-scaling-explorations/halo2.git"]
halo2_proofs = { git = "https://github.com/appliedzkp/halo2.git", rev = "d3746109d7d38be53afc8ddae8fdfaf1f02ad1d7", features = [
"circuit-params",
] }
2 changes: 1 addition & 1 deletion examples/blake2f.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1487,7 +1487,7 @@ fn main() {
ChiquitoHalo2SuperCircuit::new(compiled, super_circuit.get_mapping().generate(values));

let prover = MockProver::run(9, &circuit, Vec::new()).unwrap();
let result = prover.verify_par();
let result = prover.verify();

println!("result = {:#?}", result);

Expand Down
4 changes: 2 additions & 2 deletions examples/factorial.rs
Original file line number Diff line number Diff line change
Expand Up @@ -136,7 +136,7 @@ fn main() {

let prover = MockProver::<Fr>::run(10, &circuit, circuit.instance()).unwrap();

let result = prover.verify_par();
let result = prover.verify();

println!("result = {:#?}", result);

Expand Down Expand Up @@ -167,7 +167,7 @@ fn main() {
// same as halo2 boilerplate above
let prover_plaf = MockProver::<Fr>::run(8, &plaf_circuit, Vec::new()).unwrap();

let result_plaf = prover_plaf.verify_par();
let result_plaf = prover_plaf.verify();

println!("result = {:#?}", result_plaf);

Expand Down
4 changes: 2 additions & 2 deletions examples/fibo_with_padding.rs
Original file line number Diff line number Diff line change
Expand Up @@ -206,7 +206,7 @@ fn main() {

let prover = MockProver::<Fr>::run(7, &circuit, circuit.instance()).unwrap();

let result = prover.verify_par();
let result = prover.verify();

println!("{:#?}", result);

Expand Down Expand Up @@ -237,7 +237,7 @@ fn main() {
// same as halo2 boilerplate above
let prover_plaf = MockProver::<Fr>::run(8, &plaf_circuit, plaf_circuit.instance()).unwrap();

let result_plaf = prover_plaf.verify_par();
let result_plaf = prover_plaf.verify();

println!("result = {:#?}", result_plaf);

Expand Down
4 changes: 2 additions & 2 deletions examples/fibonacci.rs
Original file line number Diff line number Diff line change
Expand Up @@ -133,7 +133,7 @@ fn main() {

let prover = MockProver::<Fr>::run(7, &circuit, circuit.instance()).unwrap();

let result = prover.verify_par();
let result = prover.verify();

println!("{:#?}", result);

Expand Down Expand Up @@ -164,7 +164,7 @@ fn main() {
// same as halo2 boilerplate above
let prover_plaf = MockProver::<Fr>::run(8, &plaf_circuit, plaf_circuit.instance()).unwrap();

let result_plaf = prover_plaf.verify_par();
let result_plaf = prover_plaf.verify();

println!("result = {:#?}", result_plaf);

Expand Down
2 changes: 1 addition & 1 deletion examples/mimc7.rs
Original file line number Diff line number Diff line change
Expand Up @@ -210,7 +210,7 @@ fn main() {

let prover = MockProver::<Fr>::run(10, &circuit, circuit.instance()).unwrap();

let result = prover.verify_par();
let result = prover.verify();

println!("result = {:#?}", result);

Expand Down
4 changes: 2 additions & 2 deletions examples/poseidon.rs
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ use chiquito::{
},
sbpir::query::Queriable,
};
// use halo2curves::ff::Field;

use std::hash::Hash;

use halo2_proofs::{
Expand Down Expand Up @@ -710,7 +710,7 @@ fn main() {

let prover = MockProver::<Fr>::run(12, &circuit, Vec::new()).unwrap();

let result = prover.verify_par();
let result = prover.verify();

println!("result = {:#?}", result);

Expand Down
2 changes: 1 addition & 1 deletion src/frontend/dsl/sc.rs
Original file line number Diff line number Diff line change
Expand Up @@ -124,7 +124,7 @@ where

#[cfg(test)]
mod tests {
use halo2curves::{bn256::Fr, ff::PrimeField};
use halo2_proofs::halo2curves::{bn256::Fr, ff::PrimeField};

use crate::{
plonkish::compiler::{
Expand Down
10 changes: 8 additions & 2 deletions src/frontend/python/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -142,7 +142,7 @@ pub fn chiquito_super_circuit_halo2_mock_prover(

let prover = MockProver::<Fr>::run(k as u32, &circuit, circuit.instance()).unwrap();

let result = prover.verify_par();
let result = prover.verify();

println!("result = {:#?}", result);

Expand Down Expand Up @@ -175,7 +175,7 @@ pub fn chiquito_halo2_mock_prover(witness_json: &str, rust_id: UUID, k: usize) {

let prover = MockProver::<Fr>::run(k as u32, &circuit, circuit.instance()).unwrap();

let result = prover.verify_par();
let result = prover.verify();

println!("{:#?}", result);

Expand Down Expand Up @@ -919,6 +919,8 @@ impl<'de> Deserialize<'de> for SBPIR<Fr, ()> {
#[cfg(test)]
mod tests {
use super::*;

#[ignore]
#[test]
fn test_trace_witness() {
let json = r#"
Expand Down Expand Up @@ -1063,6 +1065,7 @@ mod tests {
let _: ExposeOffset = serde_json::from_str(json).unwrap();
}

#[ignore]
#[test]
fn test_circuit() {
let json = r#"
Expand Down Expand Up @@ -1534,6 +1537,7 @@ mod tests {
println!("{:?}", circuit);
}

#[ignore]
#[test]
fn test_step_type() {
let json = r#"
Expand Down Expand Up @@ -1669,6 +1673,7 @@ mod tests {
println!("{:?}", step_type);
}

#[ignore]
#[test]
fn test_constraint() {
let json = r#"
Expand Down Expand Up @@ -1752,6 +1757,7 @@ mod tests {
println!("{:?}", transition_constraint);
}

#[ignore]
#[test]
fn test_expr() {
let json = r#"
Expand Down
3 changes: 1 addition & 2 deletions src/plonkish/compiler/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -568,8 +568,7 @@ fn add_halo2_columns<F, TraceArgs>(unit: &mut CompilationUnit<F>, ast: &astCircu

#[cfg(test)]
mod test {
use halo2_proofs::plonk::Any;
use halo2curves::bn256::Fr;
use halo2_proofs::{halo2curves::bn256::Fr, plonk::Any};

use super::{cell_manager::SingleRowCellManager, step_selector::SimpleStepSelectorBuilder, *};

Expand Down
2 changes: 1 addition & 1 deletion src/plonkish/compiler/step_selector.rs
Original file line number Diff line number Diff line change
Expand Up @@ -258,7 +258,7 @@ fn other_step_type<F>(unit: &CompilationUnit<F>, uuid: UUID) -> Option<Rc<StepTy

#[cfg(test)]
mod tests {
use halo2curves::bn256::Fr;
use halo2_proofs::halo2curves::bn256::Fr;
use uuid::Uuid;

use super::*;
Expand Down
2 changes: 1 addition & 1 deletion src/plonkish/ir/sc.rs
Original file line number Diff line number Diff line change
Expand Up @@ -171,7 +171,7 @@ impl<F: Field + Hash, MappingArgs> MappingGenerator<F, MappingArgs> {

#[cfg(test)]
mod test {
use halo2curves::bn256::Fr;
use halo2_proofs::halo2curves::bn256::Fr;

use crate::{
plonkish::{
Expand Down
2 changes: 1 addition & 1 deletion src/poly/mielim.rs
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ fn mi_elimination_recursive<

#[cfg(test)]
mod test {
use halo2curves::bn256::Fr;
use halo2_proofs::halo2curves::bn256::Fr;

use crate::{
poly::{mielim::mi_elimination, Expr},
Expand Down
2 changes: 1 addition & 1 deletion src/poly/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -270,7 +270,7 @@ impl<F: Clone, V: Clone + Eq + PartialEq + Hash> ConstrDecomp<F, V> {

#[cfg(test)]
mod test {
use halo2curves::bn256::Fr;
use halo2_proofs::halo2curves::bn256::Fr;

use crate::{field::Field, poly::VarAssignments};

Expand Down
3 changes: 1 addition & 2 deletions src/poly/reduce.rs
Original file line number Diff line number Diff line change
Expand Up @@ -181,8 +181,7 @@ fn reduce_degree_mul<F: Field, V: Clone + Eq + PartialEq + Hash + Debug, SF: Sig

#[cfg(test)]
mod test {
use halo2_proofs::arithmetic::Field;
use halo2curves::bn256::Fr;
use halo2_proofs::{arithmetic::Field, halo2curves::bn256::Fr};
use rand_chacha::{rand_core::SeedableRng, ChaCha20Rng};
use std::collections::HashMap;

Expand Down
2 changes: 1 addition & 1 deletion src/poly/simplify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ pub fn simplify_mul<F: Field, V: Clone + Eq + PartialEq + Hash>(

#[cfg(test)]
mod test {
use halo2curves::bn256::Fr;
use halo2_proofs::halo2curves::bn256::Fr;

use crate::{
poly::{
Expand Down

0 comments on commit 428f6db

Please sign in to comment.