scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Apache License 2.0
53 stars 6 forks source link

Explain static memory #604

Closed matthiasgoergens closed 1 day ago

matthiasgoergens commented 2 days ago

It's a bit hard to figure out what we mean by 'static memory' or 'memory with static addresses' from the code. I had to dig in the git history, but I'm not sure I guessed right. Please check whether I guessed right.

matthiasgoergens commented 1 day ago

https://github.com/scroll-tech/ceno/pull/609 did the job better than I could. Thanks!