af-afk/ocaml-riscv32im-stylus

RISCV32IM simulator that decodes and runs ELF, with ecalls for Stylus-friendly Ethereum operations.

Language: OCaml - Size: 516 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

masaun/ZK-energy-trading-platform-in-RISC0

ZK based Energy Trading Platform in zkVM / Boundless powered by RISC Zero

Language: Rust - Size: 98.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

keroro520/zk-puzzle-chain

ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW

Language: Rust - Size: 43.9 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

cbonoz/scale24

Language: TypeScript - Size: 4.36 MB - Last synced at: about 8 hours ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0