toposware/winterfell

Add hasher instantiation over f63

Closed this issue · 1 comments

We currently rely by default on blake3 of sha3 for the out-of-circuit Merkle tree commitments.
Integrating recursion would require the verifier to have an efficiently computable hash function inside the AIR program over the primefield f63 that we use. Hence the need to integrate a hasher instantiation over this field, as a first step towards recursion.

Other instantiations of Rescue-Prime over f62 / f64 are defining a hash state of 12 and a rate width of 8. We'd need to investigate if that is the best ratio also for f63.

As we are moving away from f63 in favor of f64, this can be closed.