ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 03:04:13 +03:00
Code Issues Packages Projects Releases Wiki Activity

test pedersen hash constraint numbers

Browse Source
This commit is contained in:
collin 2021-03-23 14:16:51 -07:00
parent ae9ba51b7d
commit f16bb70da9
2 changed files with 15 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
examples/pedersen-hash/src/main.leo
View File

@ -20,8 +20,6 @@ circuit PedersenHash {
// The 'pedersen-hash' main function. // The 'pedersen-hash' main function.
function main(hash_input: [bool; 256], const parameters: [group; 256]) -> group { function main(hash_input: [bool; 256], const parameters: [group; 256]) -> group {
let pedersen = PedersenHash::new(parameters); let pedersen = PedersenHash::new(parameters);
let output = pedersen.hash(hash_input); return pedersen.hash(hash_input)
console.log("{}", output);
return output
} }

27
synthesizer/src/circuit_synthesizer.rs
View File

@ -113,19 +113,20 @@ impl<E: PairingEngine> ConstraintSystem<E::Fr> for CircuitSynthesizer<E> {
} }
fn pop_namespace(&mut self) { fn pop_namespace(&mut self) {
if let Some(ns) = self.namespaces.pop() { // Todo @ljedrz: Fix constraint system optimizations.
for idx in ns.constraint_indices { // if let Some(ns) = self.namespaces.pop() {
self.constraints.remove(idx); // for idx in ns.constraint_indices {
} // self.constraints.remove(idx);
// }
for idx in ns.private_var_indices { //
self.private_variables.remove(idx); // for idx in ns.private_var_indices {
} // self.private_variables.remove(idx);
// }
for idx in ns.public_var_indices { //
self.public_variables.remove(idx); // for idx in ns.public_var_indices {
} // self.public_variables.remove(idx);
} // }
// }
} }
fn get_root(&mut self) -> &mut Self::Root { fn get_root(&mut self) -> &mut Self::Root {