https://github.com/risc0/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
https://github.com/risc0/risc0-lean4
lean lean4 risc-v risc0 riscv riscv32 riscv32im zero-knowledge zk-stark zkvm
Last synced: 11 months ago
JSON representation
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
- Host: GitHub
- URL: https://github.com/risc0/risc0-lean4
- Owner: risc0
- License: apache-2.0
- Created: 2022-11-26T18:38:07.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2023-02-14T16:43:52.000Z (almost 3 years ago)
- Last Synced: 2025-01-09T19:14:44.476Z (about 1 year ago)
- Topics: lean, lean4, risc-v, risc0, riscv, riscv32, riscv32im, zero-knowledge, zk-stark, zkvm
- Language: Lean
- Homepage:
- Size: 3.14 MB
- Stars: 61
- Watchers: 22
- Forks: 4
- Open Issues: 0