Can't use external constant for poseidon hash #30
Description
Currently it hardcodes the constant https://github.com/leanEthereum/leanSig/blob/main/src/lib.rs#L37, we can't use the leanSpec constant
{{ message }}
Currently it hardcodes the constant https://github.com/leanEthereum/leanSig/blob/main/src/lib.rs#L37, we can't use the leanSpec constant