Kalien is a provably fair Asteroids game on Stellar. You play a classic arcade-style Asteroids game, your entire gameplay gets recorded as a compact "tape," and then a zero-knowledge proof cryptographically verifies your score is legit. No cheating possible. Beat your high score and KALIEN tokens get minted to your wallet on-chain.
FintraDex — a Substrate-based Polkadot parachain in active development, implementing a hybrid orderbook DEX with Risc0 zero-knowledge verification, Hyperbridge interoperability, and leveraging Boundless for proof-based execution scaling.
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.