Skip to content

use extern, drop risc0-zkvm dependency#7

Merged
SchmErik merged 2 commits intorisc0from erik/use-externJan 7, 2025

Commits

Commits on Dec 18, 2024