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: about 2 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 2 years ago)
• Default Branch: main
• Last Pushed: 2023-02-14T16:43:52.000Z (almost 2 years ago)
• Last Synced: 2024-04-14T02:06:50.549Z (9 months ago)
• Topics: lean, lean4, risc-v, risc0, riscv, riscv32, riscv32im, zero-knowledge, zk-stark, zkvm
• Language: Lean
• Homepage:
• Size: 3.14 MB
• Stars: 40
• Watchers: 19
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project