mina-state-proof icon indicating copy to clipboard operation
mina-state-proof copied to clipboard

Implement Huff usage to reduce verification cost

Open wanghs09 opened this issue 2 years ago • 2 comments

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

wanghs09 avatar Mar 21 '22 02:03 wanghs09

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.

nemothenoone avatar Mar 23 '22 11:03 nemothenoone

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

wanghs09 avatar Mar 24 '22 06:03 wanghs09