#
zkvm
Here are 2 public repositories matching this topic...
Refinement-typed DSL for certified AIR constraints and lookups
-
Updated
Oct 25, 2025 - Lean
Improve this page
Add a description, image, and links to the zkvm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the zkvm topic, visit your repo's landing page and select "manage topics."