Author: blk0 2023-08-28 07:49:02+00:00
Published on: 2023-08-28T07:49:02+00:00
There is a general-purpose zkVM implementation available for the RISC-V instruction set. This implementation can be found at https://www.risczero.com/. It is worth noting that Bitcoin Core can be compiled for RISC-V, and with the presence of RiscZero, it is now possible to prove execution traces of a RISC-V VM. Consequently, any argument against using RISC-V for Bitcoin Core no longer holds true. With this implementation, the exact consensus rules can be applied and verified. This information was shared by Peter Todd in an email conversation with @blk014.
Updated on: 2023-08-29T02:14:59.256687+00:00