logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 00:03:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

use maybe_rayon in starky and evm

Browse Source
This commit is contained in:
Sebastien La Duca 2022-07-24 17:47:14 -04:00
parent 81e14bf5b3
commit c9d610ec10
9 changed files with 15 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
evm/Cargo.toml
View File

@ -17,7 +17,7 @@ log = "0.4.14"
once_cell = "1.13.0" once_cell = "1.13.0"
pest = "2.1.3" pest = "2.1.3"
pest_derive = "2.1.0" pest_derive = "2.1.0"
rayon = "1.5.1" maybe_rayon = { path = "../maybe_rayon" }
rand = "0.8.5" rand = "0.8.5"
rand_chacha = "0.3.1" rand_chacha = "0.3.1"
rlp = "0.5.1" rlp = "0.5.1"
@ -28,7 +28,9 @@ keccak-hash = "0.9.0"
hex = "0.4.3" hex = "0.4.3"
[features] [features]
default = ["parallel"]
asmtools = ["hex"] asmtools = ["hex"]
parallel = ["maybe_rayon/parallel"]
[[bin]] [[bin]]
name = "assemble" name = "assemble"

2
evm/src/memory/memory_stark.rs
View File

@ -10,7 +10,7 @@ use plonky2::hash::hash_types::RichField;
use plonky2::timed; use plonky2::timed;
use plonky2::util::timing::TimingTree; use plonky2::util::timing::TimingTree;
use plonky2::util::transpose; use plonky2::util::transpose;
use rayon::prelude::*; use maybe_rayon::*;
use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer}; use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer};
use crate::cross_table_lookup::Column; use crate::cross_table_lookup::Column;

2
evm/src/permutation.rs
View File

@ -16,7 +16,7 @@ use plonky2::plonk::plonk_common::{
reduce_with_powers, reduce_with_powers_circuit, reduce_with_powers_ext_circuit, reduce_with_powers, reduce_with_powers_circuit, reduce_with_powers_ext_circuit,
}; };
use plonky2::util::reducing::{ReducingFactor, ReducingFactorTarget}; use plonky2::util::reducing::{ReducingFactor, ReducingFactorTarget};
use rayon::prelude::*; use maybe_rayon::*;
use crate::config::StarkConfig; use crate::config::StarkConfig;
use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer}; use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer};

2
evm/src/proof.rs
View File

@ -12,7 +12,7 @@ use plonky2::hash::merkle_tree::MerkleCap;
use plonky2::iop::ext_target::ExtensionTarget; use plonky2::iop::ext_target::ExtensionTarget;
use plonky2::iop::target::Target; use plonky2::iop::target::Target;
use plonky2::plonk::config::GenericConfig; use plonky2::plonk::config::GenericConfig;
use rayon::prelude::*; use maybe_rayon::*;
use crate::config::StarkConfig; use crate::config::StarkConfig;
use crate::permutation::GrandProductChallengeSet; use crate::permutation::GrandProductChallengeSet;

2
evm/src/prover.rs
View File

@ -15,7 +15,7 @@ use plonky2::timed;
use plonky2::util::timing::TimingTree; use plonky2::util::timing::TimingTree;
use plonky2::util::transpose; use plonky2::util::transpose;
use plonky2_util::{log2_ceil, log2_strict}; use plonky2_util::{log2_ceil, log2_strict};
use rayon::prelude::*; use maybe_rayon::*;
use crate::all_stark::{AllStark, Table}; use crate::all_stark::{AllStark, Table};
use crate::config::StarkConfig; use crate::config::StarkConfig;

6
starky/Cargo.toml
View File

@ -4,6 +4,10 @@ description = "Implementation of STARKs"
version = "0.1.0" version = "0.1.0"
edition = "2021" edition = "2021"
[features]
default = ["parallel"]
parallel = ["maybe_rayon/parallel"]
[dependencies] [dependencies]
plonky2 = { path = "../plonky2" } plonky2 = { path = "../plonky2" }
plonky2_util = { path = "../util" } plonky2_util = { path = "../util" }
@ -11,4 +15,4 @@ anyhow = "1.0.40"
env_logger = "0.9.0" env_logger = "0.9.0"
itertools = "0.10.0" itertools = "0.10.0"
log = "0.4.14" log = "0.4.14"
rayon = "1.5.1" maybe_rayon = { path = "../maybe_rayon"}

2
starky/src/permutation.rs
View File

@ -13,7 +13,7 @@ use plonky2::iop::target::Target;
use plonky2::plonk::circuit_builder::CircuitBuilder; use plonky2::plonk::circuit_builder::CircuitBuilder;
use plonky2::plonk::config::{AlgebraicHasher, GenericConfig, Hasher}; use plonky2::plonk::config::{AlgebraicHasher, GenericConfig, Hasher};
use plonky2::util::reducing::{ReducingFactor, ReducingFactorTarget}; use plonky2::util::reducing::{ReducingFactor, ReducingFactorTarget};
use rayon::prelude::*; use maybe_rayon::*;
use crate::config::StarkConfig; use crate::config::StarkConfig;
use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer}; use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer};

2
starky/src/proof.rs
View File

@ -12,7 +12,7 @@ use plonky2::hash::merkle_tree::MerkleCap;
use plonky2::iop::ext_target::ExtensionTarget; use plonky2::iop::ext_target::ExtensionTarget;
use plonky2::iop::target::Target; use plonky2::iop::target::Target;
use plonky2::plonk::config::GenericConfig; use plonky2::plonk::config::GenericConfig;
use rayon::prelude::*; use maybe_rayon::*;
use crate::config::StarkConfig; use crate::config::StarkConfig;
use crate::permutation::PermutationChallengeSet; use crate::permutation::PermutationChallengeSet;

2
starky/src/prover.rs
View File

@ -16,7 +16,7 @@ use plonky2::timed;
use plonky2::util::timing::TimingTree; use plonky2::util::timing::TimingTree;
use plonky2::util::transpose; use plonky2::util::transpose;
use plonky2_util::{log2_ceil, log2_strict}; use plonky2_util::{log2_ceil, log2_strict};
use rayon::prelude::*; use maybe_rayon::*;
use crate::config::StarkConfig; use crate::config::StarkConfig;
use crate::constraint_consumer::ConstraintConsumer; use crate::constraint_consumer::ConstraintConsumer;