Detailed Guide to ZK Mining on Boundless PovW Netowrk

prover boundless risczero povw

• Updated Aug 15, 2025
• Shell

Usher Labs' Verity zkTLS Data Processor Framework

tls rust data cryptography smart-contracts rust-lang mpc zero-knowledge internet-computer datasecurity risczero

• Updated Mar 31, 2026
• Rust

ZK-based verifier for Intel SGX/TDX DCAP quotes

sgx tdx zkp risczero

• Updated May 28, 2026
• Rust

Nixified RISC Zero Packages (https://www.risczero.com/)

nix risc0 risczero

• Updated Apr 25, 2024
• Nix

Zero-knowledge proof demo in Rust that builds and runs a guest program on the RISC Zero zkVM and verifies the resulting proof, packaged with Docker.

docker rust risc-v zero-knowledge zero-knowledge-proofs zkvm risczero

• Updated Feb 17, 2025
• Rust

A profiler and CPU cycle counter for Sovereign SDK applications

profiling risc-v risczero

• Updated Jul 24, 2024
• Rust

The ZK Geo Location Prover protocol can prove/generate a ZK Proof (Zero-Knowledge Proof) of location of DePIN device + Verify whether or not a DePIN device is working in legal region without revealing their exact locations (GPS coordinates) - thanks to Boundless powered by RISC Zero's zkVM.

solidity base foundry boundless zero-knowledge-proof zkvm risczero base-sepolia

• Updated May 17, 2025
• Solidity