DragonX/dragonx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 3 Wiki Activity

Remove redundant constraints.

Browse Source
This commit is contained in:
Sean Bowe
2016-05-31 21:07:20 -06:00
parent 592b2f0e64
commit 83e018b160
2 changed files with 0 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/zcash/circuit/commitment.tcc
View File

@@ -89,10 +89,6 @@ public:
} }
void generate_r1cs_constraints() { void generate_r1cs_constraints() {
// TODO: This may not be necessary if SHA256 constrains
// its output digests to be boolean anyway.
intermediate_hash->generate_r1cs_constraints();
hasher1->generate_r1cs_constraints(); hasher1->generate_r1cs_constraints();
hasher2->generate_r1cs_constraints(); hasher2->generate_r1cs_constraints();
} }

9
src/zcash/circuit/note.tcc
View File

@@ -96,11 +96,6 @@ public:
a_sk->generate_r1cs_constraints(); a_sk->generate_r1cs_constraints();
rho->generate_r1cs_constraints(); rho->generate_r1cs_constraints();
// TODO: These constraints may not be necessary if SHA256
// already boolean constrains its outputs.
a_pk->generate_r1cs_constraints();
commitment->generate_r1cs_constraints();
spend_authority->generate_r1cs_constraints(); spend_authority->generate_r1cs_constraints();
expose_nullifiers->generate_r1cs_constraints(); expose_nullifiers->generate_r1cs_constraints();
@@ -222,10 +217,6 @@ public:
a_pk->generate_r1cs_constraints(); a_pk->generate_r1cs_constraints();
// TODO: This constraint may not be necessary if SHA256
// already boolean constrains its outputs.
rho->generate_r1cs_constraints();
prevent_faerie_gold->generate_r1cs_constraints(); prevent_faerie_gold->generate_r1cs_constraints();
commit_to_outputs->generate_r1cs_constraints(); commit_to_outputs->generate_r1cs_constraints();