Research
Research
Understanding Lasso and Jolt, from theory to code - a16z crypto
Abstract
The article analyzes Lasso and Jolt, two recent cryptographic innovations designed to dramatically improve the efficiency of Zero-Knowledge (ZK) proving systems. Lasso introduces a highly optimized lookup argument that minimizes prover overhead
Research
Approaching the ‘lookup singularity’: Introducing Lasso and Jolt - a16z crypto
Abstract
a16z crypto introduces Lasso and Jolt, a powerful combination of novel zero-knowledge proof (ZKP) systems designed to drastically improve computational efficiency. Lasso is a breakthrough approach to lookup arguments, significantly reducing the
Research
PPU: Design and Implementation of a Pipelined Full Posit Processing Unit
Abstract
This paper presents the design and integration of a Pipelined Full Posit Processing Unit (FPPU) into the low-power Ibex RISC-V core, leveraging the modular RISC-V ISA to enable customized posit arithmetic instructions.
Research
SoftFlow: Automated HW-SW Confidentiality Verification for Embedded Processors
Abstract
SoftFlow is a novel Electronic Design Automation (EDA) tool designed to automate the confidentiality verification of sensitive data across the hardware-software boundary in embedded processors. It identifies whether specific software exploits existing
Research
SafeLS: Toward Building a Lockstep NOEL-V Core
Abstract
This paper presents SafeLS, an extension designed to integrate lockstep capabilities into Gaisler's NOEL-V RISC-V core for use in safety-critical systems. Lockstep architecture is employed to prevent Common Cause Failures
Research
SafeTI Traffic Injector Enhancement for Effective Interference Testing in Critical Real-Time Systems
Abstract
Safety-critical systems utilizing powerful multicores must rigorously validate mutual interference arising from shared hardware resources. This paper introduces significant enhancements to the SafeTI traffic injector, including internal pipelining for higher-rate injection and
Research
Rock paper scissors: ASRock midrange A770 looks good - Jon Peddie Research
Originally published on Google News - RISC-V Research
Rock paper scissors: ASRock midrange A770 looks good Jon Peddie Research