Consider updating exponents and round values for MiMC

clearmatics / zeth

Integration of Zerocash on Ethereum: https://arxiv.org/abs/1904.00905

https://clearmatics.github.io/zeth/

GNU Lesser General Public License v3.0

57 stars 27 forks source link

Consider updating exponents and round values for MiMC #364

Closed dtebbs closed 3 years ago

dtebbs commented 3 years ago

Now that we have confirmation about exponents of the form $2^t+1$ in prime fields, we could potentially reduce the number of constraints in the joinsplit circuit.

[x] Small update to specs to mention the values specified there
[x] Update zeth circuits, contract code and python
[ ] Update values for BW6-761 and MNT{4,6} in Zecale

AntoineRondelet commented 3 years ago

See #369

AntoineRondelet commented 3 years ago

@dtebbs could you update this ticket, now that #369 is merged? (Maybe open a separate ticket for the last bullet on the zecale repo and link it to this one)

dtebbs commented 3 years ago

Closing this issue for now. Remaining curves will be handled in clearmatics/zecale#81.