ProvableHQ/snarkVM

ProvableHQ/snarkVM is an open‑source zero‑knowledge virtual machine designed to enable decentralized private computations (DPC). It provides a high‑performance,