Implement Huff usage to reduce verification cost

NilFoundation / mina-state-proof

In-EVM Mina State Verification

Apache License 2.0

82 stars 9 forks source link

Implement Huff usage to reduce verification cost #44

Open wanghs09 opened 2 years ago

wanghs09 commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

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