AleoNet / snarkVM

A Virtual Machine for Zero-Knowledge Executions
https://snarkvm.org
Apache License 2.0
1.08k stars 1.5k forks source link

[Perf] Don't re-synthesize credits.aleo #2510

Open ljedrz opened 4 months ago

ljedrz commented 4 months ago

Closes https://github.com/AleoNet/snarkVM/issues/2416.

ljedrz commented 4 months ago

I can reproduce this; that being said, I'm not familiar with the associated plumbing so I'm not sure what the nature of the issue is.

vicsn commented 4 months ago

Hmm I can't think immediately of why this would fail. However, given that this optimization is about resynthesis of proving keys in CallStack::Execute mode, its not something validators run into (who only use CallStack::CheckDeployment), so this seems very low priority