Tags → #risc-v

Tools
ARCHER Tool Analyzes Side-Channel Vulnerabilities in RISC-V Processors
Nov 15, 2024 ARCHER is a tool designed to analyze side-channel vulnerabilities in cryptographic implementations on RISC-V processors, utilizing components such as Side-Channel Analysis and Data Flow Analysis to identify and report potential leakage points.
Tools
Advancements in Verification of Jolt zkVM Lookup Semantics
Nov 12, 2024 A recent paper discusses advancements in zero-knowledge virtual machines (zkVMs), focusing on the verification processes of Jolt zkVM, which utilizes the RISC-V instruction set architecture to enhance cybersecurity.