Open-source CPU targets - Githubissues

risc0 / risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

https://risczero.com

Apache License 2.0

1.61k stars 401 forks source link

Open-source CPU targets #2247

Closed taqtiqa-mark closed 6 days ago

taqtiqa-mark commented 3 weeks ago

Is there an existing issue?

[X] I have searched the existing issues

Experiencing problems? Have you tried our Discord first?

[X] This is not a support question.

Motivation

A desire to run ZKVMs on FPGA hardware.

Request

Are any of the following open-source CPUs targets for Risc0?

Solution

Specifically, should I ever expect that Risc0 will run on, say, the Berkeley/SiFive Rocket rv32ima, etc

[ ] Berkeley/SiFive Rocket - https://github.com/chipsalliance/rocket-chip
[ ] Bluespec Flute - https://github.com/bluespec/Flute
[ ] OpenHardware Group CVA6 - https://github.com/openhwgroup/cva6.git (a.k.a. ETH Zurich Ariane)
[ ] PicoRV32 - https://github.com/YosysHQ/picorv32/tree/main
- RV32im instructions

Are you willing to help with this request?

Maybe... (I have elaborated on how above)

linear[bot] commented 3 weeks ago

ZKVM-526 Open-source CPU targets