search

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.
Apache License 2.0
383 stars 78 forks source link

Translate riscv to powdr-asm #80

Closed chriseth closed 1 year ago

chriseth commented 1 year ago

We could parse riscv assembly and translate it to a (minimally modified) powdr-asm. This way, random code can be verified using powdr - we could write an EVM interpreter in rust, compile it to riscv and verify the execution using powdr.

As reference: Simple simulator in rust https://github.com/GregAC/rrs

leonardoalt commented 1 year ago

This is done, isn't it?

chriseth commented 1 year ago

I would close it as soon as we have #212

lvella commented 1 year ago

We have #212, closing.