This is stars and forks stats for /risc0/risc0-lean4 repository. As of 03 May, 2024 this repository has 31 stars and 2 forks.
risc0-lean4 ⚠️ This repository contains research artifacts. It is a work in progress and should not be used for any purpose. risc0-lean4 is a formal model of the RISC Zero zkVM, written in the Lean Theorem Prover (version 4). Its long-term goal is to support formal security and soundness proofs for the RISC Zero ecosystem. Features We have executable models for: ELF file handling RV32IM emulation SHA2-256 Merkle tree parsing and inclusion proof verification The Baby Bear field (and its degree...
risc0-lean4 ⚠️ This repository contains research artifacts. It is a work in progress and should not be used for any purpose. risc0-lean4 is a formal model of the RISC Zero zkVM, written in the Lean Theorem Prover (version 4). Its long-term goal is to support formal security and soundness proofs for the RISC Zero ecosystem. Features We have executable models for: ELF file handling RV32IM emulation SHA2-256 Merkle tree parsing and inclusion proof verification The Baby Bear field (and its degree...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| rerun-io/rerun | RustPythonC++ | 3.3k | +333 | 146 | +11 |
| matt-kimball/allocscope | RustShellDockerfile | 535 | 0 | 18 | 0 |
| soywod/himalaya | RustNixShell | 2.6k | 0 | 78 | 0 |
| slawlor/ractor | RustOther | 1.1k | 0 | 43 | 0 |
| matsadler/magnus | Rust | 513 | 0 | 26 | 0 |
| kettle11/tangle | TypeScriptRustOther | 1.1k | 0 | 34 | 0 |
| cognitive-engineering-lab/aquascope | RustTypeScriptSCSS | 1.4k | 0 | 27 | 0 |
| ordinals-wallet/ordinals-collections | RustJavaScript | 639 | 0 | 1.2k | 0 |
| DvorakDwarf/Infinite-Storage-Glitch | RustDockerfile | 10.7k | 0 | 875 | 0 |
| Kudaes/Split | Rust | 212 | +1 | 20 | +1 |