rustc-pedersen-hash