Implement Huff usage to reduce verification cost

[wanghs09]

Hi Nil, wondering if it's feasible to use Aztec Huff to further reduce Mina verification cost.

Huff: https://medium.com/aztec-protocol/huffing-for-crypto-with-weierstrudel-9c9568c06901

[nemothenoone]

Hey @wanghs09! It is feasible, you're right. This we had in our roadmap regarding the verification part implementation. At first we need to introduce all the algorithmic/proof system-level tricks we can do, and then, when it is done, we can safely move on to implementing/porting the implementation to Huff.

I will even set this issue as ticket in the roadmap.

[wanghs09]

Glad to hear that Mikhail! We are also evaluating Huff now. But things I'm worried about

• It's not production-grade. We can not decide how robust it is. It seems hard to judge.
• It's not actively maintained now. The last commit was two years ago.

Maybe I should ask Aztec about these. But anyway we will try to use it. :D
Please share some info if you plan to try it in the future