Searching protocol for "verifiable-compute"
Verifiable computation with RISC Zero zkVM.
Submit jobs, verify results, earn GLS tokens.
BitVM2: SNARK verifier on Bitcoin.
Prove Rust code execution with ZKPs.
Build and debug PLONK circuits