Releases

Proving backend for the ZisK zkVM

CPU driver backend for Ruda

Execution engine that orchestrates witness generation across ZisK state machines

Build tooling for compiling guest programs to RISC-V ELF for the ZisK zkVM

ROM setup for ZisK guest programs

BabyJubJub twisted-Edwards point-addition precompile for the ZisK zkVM

384-bit arithmetic-equality precompile for the ZisK zkVM

ROM state machine for the ZisK proving pipeline

Main state machine for the ZisK zkVM

SHA-256 compression precompile for the ZisK zkVM

Ruda neural network layers, activation modules and losses.

Ruda optimizer updates, gradient state, clipping and learning-rate schedules.

Poseidon hash precompile for the ZisK zkVM

Direct-memory-access precompile for the ZisK zkVM

EVM jump-destination precompile for the ZisK zkVM

Keccak-f permutation precompile for the ZisK zkVM

Rust bindings for Apple's Containerization framework: Linux containers in lightweight VMs, in-process and without a daemon.

Blake3 precompile for the ZisK zkVM

Blake2b and Blake2s precompiles for the ZisK zkVM

Big-integer arithmetic precompile for the ZisK zkVM

RISC-V emulator that executes ZisK program ROMs and generates execution traces

Arithmetic-equality precompile for the ZisK zkVM

Common utilities and helpers for ZisK precompiles

Runtime for managing the ZisK assembly emulator process and its shared-memory I/O

Arithmetic state machine for the ZisK zkVM

CPU driver backend for Ruda

C++-backed memory access planner for the ZisK zkVM

Memory state machine for the ZisK zkVM

Hint generation for ZisK precompiles

Transpiler from RISC-V to the ZisK instruction set