Verifiable model execution: a deterministic RISC-V VM that narrows any disagreement about a model run to one instruction anyone can check.
go machine-learning virtual-machine webassembly deterministic risc-v verifiable-computation softfloat fraud-proof
-
Updated
Nov 1, 2026 - Go