Explore Projects
Discover 1 open source projects
Showing 1-1 of 1 projects
ProvableHQ/snarkVM
A Rust-based zkVM for building decentralized private computations (DPC) on the Aleo blockchain.
1.2K
Stay in the loop
Get weekly updates on trending AI coding tools and projects.