RISC-V zkEVM provers make evm-asm more than a purity flex: write the hot path once, prove equivalence in Lean, and trust less of the compiler chain for every opcode. ArkLib/VCV-style STARK verification pushes Ethereum toward proof-carrying infrastructure where audits attack specs and assumptions instead of sprawling client surfaces. DeFi apps will still die at oracle, governance, and integration edges, but bridges, L2 proving systems, and consensus clients are exactly where a smaller trusted computing base can move the loss curve.

Top comment by @Benthic