DeML OS - 2026-02-02

DeML OS Daily DeML OS 最新前沿分析

Explore Frontier

02.02

2026

Mon

💻

OSS

stark-v: A general purpose zkVM building on top of Stwo https://github.com/AntoineFONDEUR/stark-v

AntoineFONDEUR Stwo

@AntoineFONDEUR open-sourced stark-v, a general-purpose zkVM built on Stwo that generates STARK proofs for RISC-V program execution, enabling rapid constraint development.

Notes

stark-v is an RV32IM zkVM that generates STARK proofs for RISC-V program execution.
Uses declarative macros to generate Stwo AIR components for rapid constraint development.
Defines fixed memory layout for program code, input/output, and stack in guest programs.
Includes benchmarks measuring proof throughput (kHz) and explores parallelization strategies.
Project is a work in progress and not yet ready for production use.
Architecture inspired by OpenVM, supports allocators like jemalloc and mimalloc.

Collected by @icerdesign

DeML OS Q & A 问答

Deep Dive 💬

02.02

2026

Mon

😇

Which RISC-V architecture does stark-v support, and what are its limitations?

stark-v currently supports the RV32IM instruction set, covering base integer operations and multiplication. The project is still under active development and is not yet suitable for production grade zkVM deployments.

😎

😊

How does stark-v accelerate AIR and constraint development?

stark-v uses declarative macros to generate Stwo AIR components automatically, mapping instruction semantics directly into constraints. This reduces manual AIR boilerplate and makes adding new instructions or memory constraints closer to normal systems programming.

😎

🤓

What role does stark-v play in the zkVM design space?

stark-v serves as a research oriented zkVM, emphasizing STARK friendly architecture, composable AIR design, and rapid iteration. It provides an experimental platform for studying instruction level constraints, memory modeling, and parallel proof strategies.

😎

Prompted by @icerdesign