search

a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
https://jolt.a16zcrypto.com
MIT License
635 stars 130 forks source link

RV64 exploration #439

Open moodlezoup opened 1 month ago

moodlezoup commented 1 month ago

Jolt can theoretically support 64-bit word sizes with relative ease. We would like to evaluate the extent to which RV64 would be more efficient than RV32 for certain programs. For example, we expect RV64 to generate smaller traces than RV32 for programs using a lot of large-field arithmetic.

As an initial exploration, we should compare the trace lengths of programs compiled to RV32IM vs RV64IM.

YashBit commented 1 month ago

@moodlezoup Is this something which could be solved by a beginner?