RISC-V offers lower-level execution, potential for 100x efficiency in zero-knowledge proofs, and simpler architecture. Critics warn of backward compatibility risks and possible fragmentation.

Here is a formal-based solution addressing some of the challenges associated with hardware security verification for processors.