Precompile architecture

scroll-tech / ceno

Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

Apache License 2.0

67 stars 12 forks source link

Precompile architecture #693

Open naure opened 4 days ago

naure commented 4 days ago

Add the capability to support precompiles in the stack. Demonstrate with one precompile.

[ ] Trace generation.
[ ] Reference rust implementation.
[ ] Placeholder for circuit implementation.
[ ] Guest side helper function.

matthiasgoergens commented 4 days ago

I suggest to demonstrate with a hash.

We will want to overhaul how the emulator handles ecalls. At the moment it seems to hardcode that every ecall gets to read a fixed number of registers? At least that's what the comments seem to imply.

lispc commented 3 days ago

seems a big task. Better to add some estimate dates of important sub tasks. @naure