zkvmBlast compares several zkVMs against a reference simulator, finding bugs single-VM fuzzers politely miss.
trending4
01 02 ANTMAN: An Efficient and Interpretable RTL-Level Run-Time Detection Framework for Stealthy Branch Predictor Attacks on BOOM arxiv.orgDetects stealthy branch-predictor attacks in BOOM at RTL with an embedded rule monitor, claiming zero false positives.03 Why is a DEF CON badge also a RISC-V hardware key, and what does an open-source chip buy you besides more attack surface?04 RISC-V logic locking via binary RLWE, hiding key material and adding modest area for microsecond unlocks.