search

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

Revert dyn ram #601

Closed naure closed 1 day ago

naure commented 2 days ago
naure commented 1 day ago

@hero78119 The layout of even that simple program is like:

ELF segment 0: R-- vaddr=0x00010000 file_size=276 mem_size=276
ELF segment 1: R-X vaddr=0x00200800 file_size=35088 mem_size=35088
ELF segment 2: R-- vaddr=0x0020a110 file_size=5608 mem_size=5608
ELF segment 3: RW- vaddr=0x0020c6f8 file_size=0 mem_size=220
Stack:             vaddr=0x0020_0400 size=1024

Which works really well with a single fixed set of addresses.