arkworks-rs / crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
https://www.arkworks.rs
Apache License 2.0
165 stars 79 forks source link

Enforce trait bounds for `CRHScheme::Parameters` and `TwoToOneCRHScheme::Parameters` #114

Closed mmagician closed 1 year ago

mmagician commented 1 year ago

Description

closes: #113


Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are not applicable, please leave them but write a little note why.

Pratyush commented 1 year ago

Should we add these trait bounds also to CRH::Output?

mmagician commented 1 year ago

It's already on Output: https://github.com/arkworks-rs/crypto-primitives/blob/c3af79daf85a8582f642c2a6e0db45207839452e/src/crh/mod.rs#L23-L31