improve note commitment

anoma / taiga

A framework for generalized shielded state transitions

https://anoma.net

GNU General Public License v3.0

144 stars 24 forks source link

Closed XuyangSong closed 1 year ago

XuyangSong commented 1 year ago

compose is_merkle_checked and value to save one Poseidon absorb in note commitment(composition = value + (2^128) * is_merkle_checked)
add boolean constraints on is_merkle_checked
add value(quantity) range check(64bits) by lookup table