mina-state-proof
mina-state-proof copied to clipboard
Implement Huff usage to reduce verification cost
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
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.
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