Add hasher instantiation over f63
Closed this issue · 1 comments
Nashtare commented
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
.
Nashtare commented
As we are moving away from f63 in favor of f64, this can be closed.