zkvm-merkle-lean

Public

prototype pipeline for verifying zkVM-related Rust code in Lean 4, with Hax and ArkLib

Updated Jan 12, 2026

Created Jan 7, 2026

0 stars

0 forks

0 watchers

2 open issues

Languages

Codebase composition by bytes

Top Contributors

2 commits

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)63

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 2Closed Issues 3

Open Issues5

Activity Peak

Most recent day with highest activityJan 21, 2026 • 2 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

No stars/forks history data available

GitHub Analytics