github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

rename solver

Browse source
This commit is contained in:
dark64 2021-07-07 16:15:20 +02:00
parent 41d30c5d7d
commit acd0af6473
3 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_core/src/embed.rs
View file

@ -400,7 +400,7 @@ pub fn snark_verify_bls12_377<T: Field>(n: usize) -> FlatFunction<T> {
.chain(vk_argument_indices)
.map(|i| FlatVariable::new(i).into())
.collect(),
solver: Solver::Verify(n),
solver: Solver::SnarkVerifyBls12377(n),
});
let statements: Vec<_> = std::iter::once(directive_statement)

2
zokrates_core/src/ir/interpreter.rs
View file

@ -235,7 +235,7 @@ impl Interpreter {
.collect()
}
#[cfg(feature = "ark")]
Solver::Verify(n) => {
Solver::SnarkVerifyBls12377(n) => {
use zokrates_field::Bw6_761Field;
assert_eq!(T::id(), Bw6_761Field::id());

4
zokrates_core/src/solvers/mod.rs
View file

@ -14,7 +14,7 @@ pub enum Solver {
#[cfg(feature = "bellman")]
Sha256Round,
#[cfg(feature = "ark")]
Verify(usize),
SnarkVerifyBls12377(usize),
}
impl fmt::Display for Solver {
@ -37,7 +37,7 @@ impl Solver {
#[cfg(feature = "bellman")]
Solver::Sha256Round => (768, 26935),
#[cfg(feature = "ark")]
Solver::Verify(n) => (26 + 3 * n, 41991 + 4972 * n),
Solver::SnarkVerifyBls12377(n) => (26 + 3 * n, 41991 + 4972 * n),
}
}
}